Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting

DOI10.1613/jair.1.12414OpenAlexW3153291548MaRDI QIDQ4989324

Xavier Oriol, Domenico Fabio Savo, Giuseppe De Giacomo, Riccardo Rosati

Publication date: 25 May 2021

Published in: Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1613/jair.1.12414

zbMATH Keywords

knowledge representationdescription logicsontologiessemantic webintelligent databases

Mathematics Subject Classification ID

Artificial intelligence (68Txx)

Related Items

Combining event calculus and description logic reasoning via logic programming

Cites Work

• Data complexity of query answering in description logics
• Capturing model-based ontology evolution at the instance level: the case of DL-Lite
• Reasoning about action. I: A possible worlds approach
• On the complexity of propositional knowledge base revision, updates, and counterfactuals
• The size of a revised knowledge base
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• On Instance-level Update and Erasure in Description Logic Ontologies
• Ontologies and Databases: The DL-Lite Approach
• Linking Data to Ontologies
• DL-Lite Contraction and Revision
• Counterfactuals
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item