FRINK Linked Data Fragments server

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

• W3000875592 abstract "Knowledge bases (KBs) are not static entities: new information constantly appears and some of the previous knowledge becomes obsolete. In order to reflect this evolution of knowledge, KBs should be expanded with the new knowledge and contracted from the obsolete one. This problem is well-studied for propositional but much less for first-order KBs. In this work we investigate knowledge expansion and contraction for KBs expressed in DL-Lite, a family of description logics (DLs) that underlie the tractable fragment OWL 2 QL of the Web Ontology Language OWL 2. We start with a novel knowledge evolution framework and natural postulates that evolution should respect, and compare our postulates to the well-established AGM postulates. We then review well-known model and formula-based approaches for expansion and contraction for propositional theories and show how they can be adapted to the case of DL-Lite. In particular, we show intrinsic limitations of model-based approaches: besides the fact that some of them do not respect the postulates we have established, they ignore the structural properties of KBs. This leads to undesired properties of evolution results: evolution of DL-Lite KBs cannot be captured in DL-Lite. Moreover, we show that well-known formula-based approaches are also not appropriate for DL-Lite expansion and contraction: they either have a high complexity of computation, or they produce logical theories that cannot be expressed in DL-Lite. Thus, we propose a novel formula-based approach that respects our principles and for which evolution is expressible in DL-Lite. For this approach we also propose polynomial time deterministic algorithms to compute evolution of DL-Lite KBs when evolution affects only factual data." @default.
• W3000875592 created "2020-01-30" @default.
• W3000875592 creator A5025295947 @default.
• W3000875592 creator A5038176802 @default.
• W3000875592 creator A5077723508 @default.
• W3000875592 creator A5085294520 @default.
• W3000875592 date "2020-01-25" @default.
• W3000875592 modified "2023-09-23" @default.
• W3000875592 title "On Expansion and Contraction of DL-Lite Knowledge Bases." @default.
• W3000875592 cites W105978187 @default.
• W3000875592 cites W106157230 @default.
• W3000875592 cites W119572288 @default.
• W3000875592 cites W1481992253 @default.
• W3000875592 cites W1482134990 @default.
• W3000875592 cites W1486910947 @default.
• W3000875592 cites W1516604978 @default.
• W3000875592 cites W15217643 @default.
• W3000875592 cites W1523017397 @default.
• W3000875592 cites W1543451444 @default.
• W3000875592 cites W1544139521 @default.
• W3000875592 cites W1548458345 @default.
• W3000875592 cites W1555563750 @default.
• W3000875592 cites W1576985811 @default.
• W3000875592 cites W1594099509 @default.
• W3000875592 cites W1603204867 @default.
• W3000875592 cites W1637429400 @default.
• W3000875592 cites W175258934 @default.
• W3000875592 cites W175768675 @default.
• W3000875592 cites W1786768815 @default.
• W3000875592 cites W1926617180 @default.
• W3000875592 cites W1982345710 @default.
• W3000875592 cites W199100418 @default.
• W3000875592 cites W2000754895 @default.
• W3000875592 cites W2004301675 @default.
• W3000875592 cites W2011562771 @default.
• W3000875592 cites W2026574256 @default.
• W3000875592 cites W2035382654 @default.
• W3000875592 cites W205224890 @default.
• W3000875592 cites W207289846 @default.
• W3000875592 cites W2077518845 @default.
• W3000875592 cites W2092104391 @default.
• W3000875592 cites W2096578078 @default.
• W3000875592 cites W2096614186 @default.
• W3000875592 cites W2111386773 @default.
• W3000875592 cites W2119404257 @default.
• W3000875592 cites W2124299249 @default.
• W3000875592 cites W2136844873 @default.
• W3000875592 cites W2137862151 @default.
• W3000875592 cites W2138359650 @default.
• W3000875592 cites W2139315672 @default.
• W3000875592 cites W2141529801 @default.
• W3000875592 cites W2143906282 @default.
• W3000875592 cites W2148996947 @default.
• W3000875592 cites W2149420462 @default.
• W3000875592 cites W2150683986 @default.
• W3000875592 cites W2153279156 @default.
• W3000875592 cites W2160579271 @default.
• W3000875592 cites W2190171628 @default.
• W3000875592 cites W2413076592 @default.
• W3000875592 cites W2523182524 @default.
• W3000875592 cites W2572185697 @default.
• W3000875592 cites W2588922489 @default.
• W3000875592 cites W2763109213 @default.
• W3000875592 cites W2767711329 @default.
• W3000875592 cites W2770613891 @default.
• W3000875592 cites W2838709227 @default.
• W3000875592 cites W3021998355 @default.
• W3000875592 cites W62327733 @default.
• W3000875592 cites W68974267 @default.
• W3000875592 cites W916360219 @default.
• W3000875592 cites W1590316924 @default.
• W3000875592 cites W2939842515 @default.
• W3000875592 cites W3202260099 @default.
• W3000875592 hasPublicationYear "2020" @default.
• W3000875592 type Work @default.
• W3000875592 sameAs 3000875592 @default.
• W3000875592 citedByCount "0" @default.
• W3000875592 crossrefType "posted-content" @default.
• W3000875592 hasAuthorship W3000875592A5025295947 @default.
• W3000875592 hasAuthorship W3000875592A5038176802 @default.
• W3000875592 hasAuthorship W3000875592A5077723508 @default.
• W3000875592 hasAuthorship W3000875592A5085294520 @default.
• W3000875592 hasConcept C101230327 @default.
• W3000875592 hasConcept C102993220 @default.
• W3000875592 hasConcept C134752490 @default.
• W3000875592 hasConcept C138885662 @default.
• W3000875592 hasConcept C154945302 @default.
• W3000875592 hasConcept C163415756 @default.
• W3000875592 hasConcept C2129575 @default.
• W3000875592 hasConcept C41008148 @default.
• W3000875592 hasConcept C41895202 @default.
• W3000875592 hasConcept C80444323 @default.
• W3000875592 hasConceptScore W3000875592C101230327 @default.
• W3000875592 hasConceptScore W3000875592C102993220 @default.
• W3000875592 hasConceptScore W3000875592C134752490 @default.
• W3000875592 hasConceptScore W3000875592C138885662 @default.
• W3000875592 hasConceptScore W3000875592C154945302 @default.
• W3000875592 hasConceptScore W3000875592C163415756 @default.
• W3000875592 hasConceptScore W3000875592C2129575 @default.
• W3000875592 hasConceptScore W3000875592C41008148 @default.

• next