Capturing model-based ontology evolution at the instance level: the case of DL-Lite

DOI10.1016/j.jcss.2013.01.006zbMath1307.68078OpenAlexW2141529801WikidataQ64360041 ScholiaQ64360041MaRDI QIDQ389229

Diego Calvanese, Dmitriy Zheleznyakov, Evgeny Kharlamov

Publication date: 20 January 2014

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jcss.2013.01.006

zbMATH Keywords

description logicssemantic webDL-Liteclosure under evolutionformal evolution semanticsknowledge base evolutionknowledge base revisionknowledge base update

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ On updates of hybrid knowledge bases composed of ontologies and rules ⋮ Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases ⋮ Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting ⋮ Actions over core-closed knowledge bases

Cites Work

• Testing containment of conjunctive queries under functional and inclusion dependencies
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Tractable reasoning via approximation
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• On Instance-level Update and Erasure in Description Logic Ontologies
• Data exchange: getting to the core
• Conceptual Modeling for Data Integration
• Ontologies and Databases: The DL-Lite Approach
• The DL-Lite Family and Relations
• Linking Data to Ontologies
• Unnamed Item
• Unnamed Item
• Unnamed Item