Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

45

ECSQARU
2007
Springer

favoriteEmaildiscussreport

112views Automated Reasoning» more ECSQARU 2007»

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

14 years 5 months ago

Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics

Download dl.kr.org

In this paper, we propose an approach for measuring inconsistency in inconsistent ontologies. We ﬁrst deﬁne the degree of inconsistency of an inconsistent ontology using a four-valued semantics for the description logic ALC. Then an ordering over inconsistent ontologies is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.

Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

Real-time Traffic

ECSQARU 2007 | Inconsistency | Inconsistency Degrees | Inconsistent Ontologies |

claim paper

Related Content

» Towards a Paradoxical Description Logic for the Semantic Web

» An Algorithm for Computing Inconsistency Measurement by Paraconsistent Semantics

» A Tableau Algorithm for Paraconsistent and Nonmonotonic Reasoning in Description LogicBase...

» Evaluating Significance of Inconsistencies

» Paraconsistent Reasoning for Expressive and Tractable Description Logics

» Maximal and Premaximal Paraconsistency in the Framework of ThreeValued Semantics

» A paraconsistent logic programming approach for querying inconsistent databases

» Paraconsistent Reasoning for OWL 2

» Paraconsistent Assertions

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	ECSQARU
Authors	Yue Ma, Guilin Qi, Pascal Hitzler, Zuoquan Lin

Comments (0)