Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

DOI10.1007/978-3-540-75256-1_6MaRDI QIDQ3524915zbMATH OpenOpenAlexFDO

Authors Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

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

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

Recommendations

• Computing inconsistency measure based on paraconsistent semantics
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• Inconsistency measures for disjunctive logic programs under answer set semantics
• Measuring inconsistency in generalized propositional logic
• Measuring inconsistency with constraints for propositional knowledge bases
• scientific article; zbMATH DE number 2070200

Cites work

• scientific article; zbMATH DE number 1936671 (Why is no real title available?)
• scientific article; zbMATH DE number 1844496 (Why is no real title available?)
• A four-valued semantics for terminological logics
• Classifications for inconsistent theories
• Inconsistency Tolerance
• Measuring coherence using LP-models
• Measuring inconsistency
• The value of the four values
• Tractable reasoning via approximation

Cited in

(22)

• Inconsistency measurement
• On the expressivity of inconsistency measures
• Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases
• Measuring inconsistency with many-valued logics
• Stream-based inconsistency measurement
• Quantifying Knowledge Base Inconsistency Via Fixpoint Semantics
• On the complexity of inconsistency measurement
• scientific article; zbMATH DE number 2070200 (Why is no real title available?)
• Analysing inconsistent first-order knowledgebases
• Responsibility for inconsistency
• Semantic inconsistency measures using 3-valued logics
• A decompositional deduction system for a logic featuring inconsistency and uncertainty
• Towards constructive DL for abstraction and refinement
• Computing inconsistency measure based on paraconsistent semantics
• A distance-based framework for inconsistency-tolerant reasoning and inconsistency measurement in DL-Lite
• Analysing inconsistent information using distance-based measures
• Resolving contradictions: A plausible semantics for inconsistent systems
• An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics
• Incoherency problems in a combination of description logics and rules
• Measuring inconsistency in some logics with tense operators
• Approaches to measuring inconsistency for stratified knowledge bases
• A Measure of Inconsistency for Simple Decision Systems over Ontological Graphs

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

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