A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

DOI10.1016/J.IJAR.2016.08.003MaRDI QIDQ1680691zbMATH OpenOpenAlexFDO

Authors Xiaowang Zhang, Kewen Wang, Zhe Wang, Yue Ma, 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

zbMATH Keywords

description logicssemantic webDL-Liteinconsistency-tolerant reasoninginconsistency handlingdistance-based semanticsinconsistency measurement

Mathematics Subject Classification ID

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

Recommendations

• Distance-based paraconsistent logics
• A dissimilarity-based framework for generating inconsistency-tolerant logics
• Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
• Distance-based measures of inconsistency
• Computing and explaining query answers over inconsistent DL-Lite knowledge bases

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• Approaches to measuring inconsistency for stratified knowledge bases
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Computing inconsistency measure based on paraconsistent semantics
• DL-Lite ontology revision based on an alternative semantic characterization
• Distance-based paraconsistent logics
• Embedding-based approaches to paraconsistent and temporal description logics
• Forgetting for knowledge bases in DL-lite
• From inconsistency handling to non-canonical requirements management: a logical perspective
• Imprecise probabilistic query answering using measures of ignorance and degree of satisfaction
• Inconsistency-tolerant reasoning with OWL DL
• Measuring the blame of each formula for inconsistent prioritized knowledge bases
• On the measure of conflicts: Shapley inconsistency values
• Reasoning with inconsistencies in hybrid MKNF knowledge bases
• Responsibility for inconsistency
• The DL-Lite Family and Relations
• Tractable reasoning and efficient query answering in description logics: The DL-Lite family

Cited in

(1)

• General information spaces: measuring inconsistency, rationality postulates, and complexity

This page was built for publication: A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1680691)