FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1537126384> ?p ?o ?g. }

• W1537126384 endingPage "197" @default.
• W1537126384 startingPage "187" @default.
• W1537126384 abstract "In computer science, ontologies are dynamic entities: to adapt them to new and evolving applications, it is necessary to frequently perform modifications such as the extension with new axioms and merging with other ontologies. We argue that, after performing such modifications, it is important to know whether the resulting ontology is a conservative extension of the original one. If this is not the case, then there may be unexpected consequences when using the modified ontology in place of the original one in applications. In this paper, we propose and investigate new reasoning problems based on the notion of conservative extension, assuming that ontologies are formulated as TBoxes in the description logic ALC. We show that the fundamental such reasoning problems are decidable and 2EXPTIME-complete. Additionally, we perform a finer-grained analysis that distinguishes between the size of the original ontology and the size of the additional axioms. In particular, we show that there are algorithms whose runtime is 'only' exponential in the size of the original ontology, but double exponential in the size of the added axioms. If the size of the new axioms is small compared to the size of the ontology, these algorithms are thus not significantly more complex than the standard reasoning services implemented in modern description logic reasoners. If the extension of an ontology is not conservative, our algorithm is capable of computing a concept that witnesses non-conservativeness. We show that the computed concepts are of (worst-case) minimal size." @default.
• W1537126384 created "2016-06-24" @default.
• W1537126384 creator A5010967150 @default.
• W1537126384 creator A5034616829 @default.
• W1537126384 creator A5041352997 @default.
• W1537126384 date "2006-06-02" @default.
• W1537126384 modified "2023-09-23" @default.
• W1537126384 title "Did I damage my ontology? A case for conservative extensions in description logic" @default.
• W1537126384 cites W1484202639 @default.
• W1537126384 cites W1555563750 @default.
• W1537126384 cites W1556177080 @default.
• W1537126384 cites W1605921926 @default.
• W1537126384 cites W1793807384 @default.
• W1537126384 cites W1924063407 @default.
• W1537126384 cites W195714804 @default.
• W1537126384 cites W2033071128 @default.
• W1537126384 cites W2054800543 @default.
• W1537126384 cites W2057583838 @default.
• W1537126384 cites W2066949643 @default.
• W1537126384 cites W2071786581 @default.
• W1537126384 cites W2093814492 @default.
• W1537126384 cites W2127394739 @default.
• W1537126384 cites W2145465694 @default.
• W1537126384 cites W2156580936 @default.
• W1537126384 cites W2403060825 @default.
• W1537126384 cites W2483742494 @default.
• W1537126384 cites W52735764 @default.
• W1537126384 cites W64286206 @default.
• W1537126384 cites W80737574 @default.
• W1537126384 cites W205207830 @default.
• W1537126384 hasPublicationYear "2006" @default.
• W1537126384 type Work @default.
• W1537126384 sameAs 1537126384 @default.
• W1537126384 citedByCount "128" @default.
• W1537126384 countsByYear W15371263842012 @default.
• W1537126384 countsByYear W15371263842013 @default.
• W1537126384 countsByYear W15371263842014 @default.
• W1537126384 countsByYear W15371263842015 @default.
• W1537126384 countsByYear W15371263842016 @default.
• W1537126384 countsByYear W15371263842017 @default.
• W1537126384 countsByYear W15371263842018 @default.
• W1537126384 countsByYear W15371263842019 @default.
• W1537126384 countsByYear W15371263842020 @default.
• W1537126384 countsByYear W15371263842021 @default.
• W1537126384 crossrefType "proceedings-article" @default.
• W1537126384 hasAuthorship W1537126384A5010967150 @default.
• W1537126384 hasAuthorship W1537126384A5034616829 @default.
• W1537126384 hasAuthorship W1537126384A5041352997 @default.
• W1537126384 hasConcept C101230327 @default.
• W1537126384 hasConcept C102993220 @default.
• W1537126384 hasConcept C111472728 @default.
• W1537126384 hasConcept C11413529 @default.
• W1537126384 hasConcept C137003198 @default.
• W1537126384 hasConcept C138885662 @default.
• W1537126384 hasConcept C153269930 @default.
• W1537126384 hasConcept C154945302 @default.
• W1537126384 hasConcept C167729594 @default.
• W1537126384 hasConcept C199360897 @default.
• W1537126384 hasConcept C2129575 @default.
• W1537126384 hasConcept C2524010 @default.
• W1537126384 hasConcept C25810664 @default.
• W1537126384 hasConcept C2778029271 @default.
• W1537126384 hasConcept C2780432614 @default.
• W1537126384 hasConcept C33923547 @default.
• W1537126384 hasConcept C41008148 @default.
• W1537126384 hasConcept C80444323 @default.
• W1537126384 hasConcept C98893333 @default.
• W1537126384 hasConceptScore W1537126384C101230327 @default.
• W1537126384 hasConceptScore W1537126384C102993220 @default.
• W1537126384 hasConceptScore W1537126384C111472728 @default.
• W1537126384 hasConceptScore W1537126384C11413529 @default.
• W1537126384 hasConceptScore W1537126384C137003198 @default.
• W1537126384 hasConceptScore W1537126384C138885662 @default.
• W1537126384 hasConceptScore W1537126384C153269930 @default.
• W1537126384 hasConceptScore W1537126384C154945302 @default.
• W1537126384 hasConceptScore W1537126384C167729594 @default.
• W1537126384 hasConceptScore W1537126384C199360897 @default.
• W1537126384 hasConceptScore W1537126384C2129575 @default.
• W1537126384 hasConceptScore W1537126384C2524010 @default.
• W1537126384 hasConceptScore W1537126384C25810664 @default.
• W1537126384 hasConceptScore W1537126384C2778029271 @default.
• W1537126384 hasConceptScore W1537126384C2780432614 @default.
• W1537126384 hasConceptScore W1537126384C33923547 @default.
• W1537126384 hasConceptScore W1537126384C41008148 @default.
• W1537126384 hasConceptScore W1537126384C80444323 @default.
• W1537126384 hasConceptScore W1537126384C98893333 @default.
• W1537126384 hasLocation W15371263841 @default.
• W1537126384 hasOpenAccess W1537126384 @default.
• W1537126384 hasPrimaryLocation W15371263841 @default.
• W1537126384 hasRelatedWork W1489267200 @default.
• W1537126384 hasRelatedWork W1490659351 @default.
• W1537126384 hasRelatedWork W1517574009 @default.
• W1537126384 hasRelatedWork W1538467105 @default.
• W1537126384 hasRelatedWork W1555563750 @default.
• W1537126384 hasRelatedWork W1560547419 @default.
• W1537126384 hasRelatedWork W1678959094 @default.
• W1537126384 hasRelatedWork W1990890881 @default.
• W1537126384 hasRelatedWork W2122325470 @default.

• next