Inproceedings1537: Unterschied zwischen den Versionen
K (Added from ontology) |
K (Wikipedia python library) |
||
Zeile 36: | Zeile 36: | ||
|DOI Name= | |DOI Name= | ||
|Projekt=SmartWeb, ReaSem, NeOn, | |Projekt=SmartWeb, ReaSem, NeOn, | ||
− | |Forschungsgruppe= | + | |Forschungsgruppe=Wissensmanagement |
}} | }} |
Aktuelle Version vom 16. Oktober 2009, 23:05 Uhr
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Measuring Inconsistency for Description Logics Based on Paraconsistent Semantics
Published: 2007
Oktober
Herausgeber: K. Mellouli
Buchtitel: Proceedings of Ninth European Conference on Symbolic and Quanlitative Approaches to Reasoning with Uncertainty
Ausgabe: 4724
Reihe: LNAI
Seiten: 30-41
Verlag: Springer
Erscheinungsort: Hammamet , Tunisia
Referierte Veröffentlichung
BibTeX
Kurzfassung
In this paper, we present an approach for measuring inconsistency in a knowledge base. We first define the degree of inconsistency using a four-valued
semantics for the description logic ALC. Then an ordering over knowledge bases
is given by considering their inconsistency degrees. Our measure of inconsistency can provide important information for inconsistency handling.
Download: Media:2007_1537_Ma_Measuring_Incon_1.pdf,Media:2007_1537_Ma_Measuring_Incon_2.pdf