Home |  DEUTSCH |  Contact |  Imprint |  Data Protection |  Login |  KIT

Inproceedings1537

Aus Aifbportal

Wechseln zu: Navigation, Suche


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

Projekt

SmartWebReaSemNeOn



Forschungsgruppe

Wissensmanagement


Forschungsgebiet