Forgetting for knowledge bases in DL-lite

DOI10.1007/s10472-010-9187-9zbMath1205.68410OpenAlexW2155213226MaRDI QIDQ604910

Zhe Wang, Jeff Z. Pan, Kewen Wang, Rodney W. Topor

Publication date: 12 November 2010

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-010-9187-9

zbMATH Keywords

description logicsforgettingontology

Mathematics Subject Classification ID

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

Related Items (17)

DL-Lite Ontology Revision Based on An Alternative Semantic Characterization ⋮ Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications ⋮ ELIMINATING CONCEPTS AND ROLES FROM ONTOLOGIES IN EXPRESSIVE DESCRIPTIVE LOGICS ⋮ Preserving Strong Equivalence while Forgetting ⋮ Forgetting for knowledge bases in DL-lite ⋮ A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite ⋮ The Distributed Ontology, Modeling and Specification Language – DOL ⋮ When you must forget: Beyond strong persistence when forgetting in answer set programming ⋮ Knowledge forgetting in propositional \(\mu\)-calculus ⋮ A Syntactic Operator for Forgetting that Satisfies Strong Persistence ⋮ Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey ⋮ On the limits of forgetting in answer set programming ⋮ Formal Properties of Modularisation ⋮ On syntactic forgetting under uniform equivalence ⋮ Forgetting in multi-agent modal logics ⋮ Query inseparability for \(\mathcal{ALC}\) ontologies ⋮ Games for query inseparability of description logic knowledge bases

Cites Work

• Data complexity of query answering in description logics
• Forgetting for knowledge bases in DL-lite
• Logic-based ontology comparison and module extraction, with an application to DL-Lite
• Semantic forgetting in answer set programming
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family
• On Instance-level Update and Erasure in Description Logic Ontologies
• A Fine-Grained Approach to Resolving Unsatisfiable Ontologies
• Unnamed Item
• Unnamed Item

This page was built for publication: Forgetting for knowledge bases in DL-lite