Show simple item record

dc.contributor.authorKharlamov E
dc.contributor.authorZheleznyakov D
dc.contributor.authorCalvanese D
dc.contributor.editor
dc.date.accessioned2017-12-13T14:30:51Z
dc.date.available2017-12-13T14:30:51Z
dc.date.issued2013
dc.identifier.issn0022-0000
dc.identifier.urihttp://dx.doi.org/10.1016/j.jcss.2013.01.006
dc.identifier.urihttp://www.sciencedirect.com/science/article/pii/S0022000013000160?via=ihub
dc.identifier.urihttp://hdl.handle.net/10863/4178
dc.description.abstractEvolution of Knowledge Bases (KBs) expressed in Description Logics (DLs) has gained a lot of attention lately. Recent studies on the topic have mostly focused on so-called model-based approaches (MBAs), where the evolution of a KB results in a set of models. For KBs expressed in tractable DLs, such as those of the extit{DL-Lite} family, which we consider here, it has been shown that one faces inexpressibility of evolution, i.e., the result of evolution of a extit{DL-Lite} KB in general cannot be expressed in extit{DL-Lite}, in other words, extit{DL-Lite} is not closed under evolution. What is still missing in these studies is a thorough understanding of various important aspects of the evolution problem for extit{DL-Lite} KBs: Which fragments of extit{DL-Lite} are closed under evolution? What causes the inexpressibility? Can one approximate evolution in extit{DL-Lite}, and if yes, how? This work provides some understanding of these issues for an important class of MBAs, which cover the cases of both update and revision. We describe what causes inexpressibility, and we propose techniques (based on what we call prototypes) that help to approximate evolution under the well-known approach by Winslett, which is inexpressible in extit{DL-Lite}. We also identify a fragment of extit{DL-Lite} closed under evolution, and for this fragment we provide polynomial-time algorithms to compute or approximate evolution results for various MBAs.en_US
dc.language.isoenen_US
dc.rights
dc.subjectSemantic weben_US
dc.subjectDescription logicsen_US
dc.subjectDL-Liteen_US
dc.subjectKnowledge base evolutionen_US
dc.subjectAlgorithmsen_US
dc.subjectComplexityen_US
dc.titleCapturing model-based ontology evolution at the instance level: The case of DL-Liteen_US
dc.typeArticleen_US
dc.date.updated2017-11-04T09:33:36Z
dc.publication.title
dc.language.isiEN-GB
dc.journal.titleJournal of Computer and System Sciences
dc.description.fulltextopenen_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record