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

DOI10.1016/J.JCSS.2013.01.006MaRDI QIDQ389229zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Evgeny Kharlamov, Dmitriy Zheleznyakov, Diego Calvanese

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

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

Recommendations

• On Instance-level Update and Erasure in Description Logic Ontologies
• DL-Lite ontology revision based on an alternative semantic characterization
• Instance-level update in DL-Lite ontologies through first-order rewriting
• DL-Lite contraction and revision
• A prioritized assertional-based revision for DL-Lite knowledge bases

Cites work

• scientific article; zbMATH DE number 44621 (Why is no real title available?)
• scientific article; zbMATH DE number 140403 (Why is no real title available?)
• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Conceptual Modeling for Data Integration
• Data exchange: getting to the core
• Linking Data to Ontologies
• On Instance-level Update and Erasure in Description Logic Ontologies
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• Ontologies and Databases: The DL-Lite Approach
• Testing containment of conjunctive queries under functional and inclusion dependencies
• The DL-Lite Family and Relations
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• Tractable reasoning via approximation

Cited in

(10)

• Actions over core-closed knowledge bases
• A prioritized assertional-based revision for DL-Lite knowledge bases
• Instance-level update in DL-Lite ontologies through first-order rewriting
• Main issues in belief revision, belief merging and information fusion
• Semantically guided evolution of \(\mathcal{SHI}\) ABoxes
• On Instance-level Update and Erasure in Description Logic Ontologies
• On updates of hybrid knowledge bases composed of ontologies and rules
• Foundations of instance level updates in expressive description logics
• DL-Lite ontology revision based on an alternative semantic characterization
• Prioritized assertional-based removed sets revision of \textit{DL}-\textit{Lite} belief bases

This page was built for publication: Capturing model-based ontology evolution at the instance level: the case of DL-Lite

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q389229)