Forgetting for knowledge bases in DL-lite
From MaRDI portal
Publication:604910
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
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
