Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

DOI10.1007/978-3-540-75256-1_6zbMath1148.68487OpenAlexW1564225804MaRDI QIDQ3524915

Zuoquan Lin, Pascal Hitzler, Guilin Qi, Yue Ma

Publication date: 16 September 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://corescholar.libraries.wright.edu/cgi/viewcontent.cgi?article=1122&context=cse

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Paraconsistent logics (03B53)

Related Items (12)

Analysing inconsistent first-order knowledgebases ⋮ Measuring inconsistency with many-valued logics ⋮ Analysing inconsistent information using distance-based measures ⋮ Responsibility for inconsistency ⋮ Stream-based inconsistency measurement ⋮ Semantic inconsistency measures using 3-valued logics ⋮ An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics ⋮ Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases ⋮ Towards constructive DL for abstraction and refinement ⋮ On the complexity of inconsistency measurement ⋮ On the expressivity of inconsistency measures ⋮ Approaches to measuring inconsistency for stratified knowledge bases

Cites Work

• Unnamed Item
• Unnamed Item
• A four-valued semantics for terminological logics
• Classifications for inconsistent theories
• The value of the four values
• Measuring inconsistency
• Tractable reasoning via approximation
• Measuring coherence using LP-models
• Inconsistency Tolerance

This page was built for publication: Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics