DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
From MaRDI portal
Publication:5277896
DOI10.1145/2786759zbMath1367.68297OpenAlexW1971230887MaRDI QIDQ5277896
Zhe Wang, Kewen Wang, Rodney W. Topor
Publication date: 12 July 2017
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10072/101420
Related Items
Uncertain lightweight ontologies in a product-based possibility theory framework, A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite, Query inseparability for \(\mathcal{ALC}\) ontologies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Data complexity of query answering in description logics
- Belief revision within fragments of propositional logic
- Capturing model-based ontology evolution at the instance level: the case of DL-Lite
- Foundations of instance level updates in expressive description logics
- Minimal change: relevance and recovery revisited
- Forgetting for knowledge bases in DL-lite
- Logic-based ontology comparison and module extraction, with an application to DL-Lite
- Propositional knowledge base revision and minimal change
- On the complexity of propositional knowledge base revision, updates, and counterfactuals
- The size of a revised knowledge base
- Debugging incoherent terminologies
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Handbook on Ontologies
- Base Revision for Ontology Debugging
- On Instance-level Update and Erasure in Description Logic Ontologies
- Knowledge Base Revision in Description Logics
- The DL-Lite Family and Relations
- On the logic of theory change: Partial meet contraction and revision functions
- Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics