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

DOI10.1016/j.jcss.2013.01.006zbMath1307.68078WikidataQ64360041 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 logics; semantic web; DL-Lite; closure under evolution; formal evolution semantics; knowledge base evolution; knowledge base revision; knowledge base update

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T30: Knowledge representation

Related Items

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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