Matches in SemOpenAlex for { <https://semopenalex.org/work/W3035256833> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W3035256833 abstract "In deductive module extraction, we determine a small subset of an ontology for a given vocabulary that preserves all logical entailments that can be expressed in that vocabulary. While in the literature stronger module notions have been discussed, we argue that for applications in ontology analysis and ontology reuse, deductive modules, which are decidable and potentially smaller, are often sufficient. We present methods based on uniform interpolation for extracting different variants of deductive modules, satisfying properties such as completeness, minimality and robustness under replacements, the latter being particularly relevant for ontology reuse. An evaluation of our implementation shows that the modules computed by our method are often significantly smaller than those computed by existing methods." @default.
- W3035256833 created "2020-06-19" @default.
- W3035256833 creator A5020877951 @default.
- W3035256833 creator A5064978296 @default.
- W3035256833 date "2020-07-01" @default.
- W3035256833 modified "2023-10-17" @default.
- W3035256833 title "Deductive Module Extraction for Expressive Description Logics" @default.
- W3035256833 cites W1483476496 @default.
- W3035256833 cites W1537126384 @default.
- W3035256833 cites W1555563750 @default.
- W3035256833 cites W1579458556 @default.
- W3035256833 cites W1579509162 @default.
- W3035256833 cites W179428513 @default.
- W3035256833 cites W2118100588 @default.
- W3035256833 cites W2122325470 @default.
- W3035256833 cites W2126608643 @default.
- W3035256833 cites W2140061645 @default.
- W3035256833 cites W2144831006 @default.
- W3035256833 cites W2147729309 @default.
- W3035256833 cites W2154166545 @default.
- W3035256833 cites W2160522235 @default.
- W3035256833 cites W2291693177 @default.
- W3035256833 cites W2399359177 @default.
- W3035256833 cites W2403479679 @default.
- W3035256833 cites W2761066272 @default.
- W3035256833 cites W2811418878 @default.
- W3035256833 cites W2902704465 @default.
- W3035256833 cites W2944602111 @default.
- W3035256833 cites W2953377882 @default.
- W3035256833 cites W3016651193 @default.
- W3035256833 cites W3104143976 @default.
- W3035256833 cites W5650064 @default.
- W3035256833 doi "https://doi.org/10.24963/ijcai.2020/227" @default.
- W3035256833 hasPublicationYear "2020" @default.
- W3035256833 type Work @default.
- W3035256833 sameAs 3035256833 @default.
- W3035256833 citedByCount "9" @default.
- W3035256833 countsByYear W30352568332020 @default.
- W3035256833 countsByYear W30352568332021 @default.
- W3035256833 countsByYear W30352568332022 @default.
- W3035256833 countsByYear W30352568332023 @default.
- W3035256833 crossrefType "proceedings-article" @default.
- W3035256833 hasAuthorship W3035256833A5020877951 @default.
- W3035256833 hasAuthorship W3035256833A5064978296 @default.
- W3035256833 hasBestOaLocation W30352568331 @default.
- W3035256833 hasConcept C102993220 @default.
- W3035256833 hasConcept C104317684 @default.
- W3035256833 hasConcept C111472728 @default.
- W3035256833 hasConcept C134306372 @default.
- W3035256833 hasConcept C138885662 @default.
- W3035256833 hasConcept C153269930 @default.
- W3035256833 hasConcept C17231256 @default.
- W3035256833 hasConcept C185592680 @default.
- W3035256833 hasConcept C18903297 @default.
- W3035256833 hasConcept C206588197 @default.
- W3035256833 hasConcept C25810664 @default.
- W3035256833 hasConcept C2777601683 @default.
- W3035256833 hasConcept C33923547 @default.
- W3035256833 hasConcept C41008148 @default.
- W3035256833 hasConcept C41895202 @default.
- W3035256833 hasConcept C55493867 @default.
- W3035256833 hasConcept C63479239 @default.
- W3035256833 hasConcept C80444323 @default.
- W3035256833 hasConcept C86803240 @default.
- W3035256833 hasConceptScore W3035256833C102993220 @default.
- W3035256833 hasConceptScore W3035256833C104317684 @default.
- W3035256833 hasConceptScore W3035256833C111472728 @default.
- W3035256833 hasConceptScore W3035256833C134306372 @default.
- W3035256833 hasConceptScore W3035256833C138885662 @default.
- W3035256833 hasConceptScore W3035256833C153269930 @default.
- W3035256833 hasConceptScore W3035256833C17231256 @default.
- W3035256833 hasConceptScore W3035256833C185592680 @default.
- W3035256833 hasConceptScore W3035256833C18903297 @default.
- W3035256833 hasConceptScore W3035256833C206588197 @default.
- W3035256833 hasConceptScore W3035256833C25810664 @default.
- W3035256833 hasConceptScore W3035256833C2777601683 @default.
- W3035256833 hasConceptScore W3035256833C33923547 @default.
- W3035256833 hasConceptScore W3035256833C41008148 @default.
- W3035256833 hasConceptScore W3035256833C41895202 @default.
- W3035256833 hasConceptScore W3035256833C55493867 @default.
- W3035256833 hasConceptScore W3035256833C63479239 @default.
- W3035256833 hasConceptScore W3035256833C80444323 @default.
- W3035256833 hasConceptScore W3035256833C86803240 @default.
- W3035256833 hasLocation W30352568331 @default.
- W3035256833 hasOpenAccess W3035256833 @default.
- W3035256833 hasPrimaryLocation W30352568331 @default.
- W3035256833 hasRelatedWork W1495381916 @default.
- W3035256833 hasRelatedWork W1523052509 @default.
- W3035256833 hasRelatedWork W1537126384 @default.
- W3035256833 hasRelatedWork W188277646 @default.
- W3035256833 hasRelatedWork W2128204593 @default.
- W3035256833 hasRelatedWork W2147357772 @default.
- W3035256833 hasRelatedWork W2195401719 @default.
- W3035256833 hasRelatedWork W2406299241 @default.
- W3035256833 hasRelatedWork W942239141 @default.
- W3035256833 hasRelatedWork W96688659 @default.
- W3035256833 isParatext "false" @default.
- W3035256833 isRetracted "false" @default.
- W3035256833 magId "3035256833" @default.
- W3035256833 workType "article" @default.