A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
From MaRDI portal
Publication:1680691
DOI10.1016/j.ijar.2016.08.003zbMath1419.68140OpenAlexW2510957748MaRDI QIDQ1680691
Xiaowang Zhang, Yue Ma, Zhe Wang, Kewen Wang, Guilin Qi, Zhi-Yong Feng
Publication date: 16 November 2017
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2016.08.003
inconsistency handlingdescription logicssemantic webDL-Liteinconsistency-tolerant reasoninginconsistency measurementdistance-based semantics
Related Items (1)
Cites Work
- Unnamed Item
- Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
- Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
- Forgetting for knowledge bases in DL-lite
- On the measure of conflicts: Shapley inconsistency values
- Responsibility for inconsistency
- Distance-based paraconsistent logics
- Approaches to measuring inconsistency for stratified knowledge bases
- Inconsistency-tolerant reasoning with OWL DL
- From inconsistency handling to non-canonical requirements management: a logical perspective
- Tractable reasoning and efficient query answering in description logics: The DL-Lite family
- Measuring the blame of each formula for inconsistent prioritized knowledge bases
- Computing inconsistency measure based on paraconsistent semantics
- Embedding-based approaches to paraconsistent and temporal description logics
- The DL-Lite Family and Relations
- Reasoning with inconsistencies in hybrid MKNF knowledge bases
- DL-Lite Ontology Revision Based on An Alternative Semantic Characterization
This page was built for publication: A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
