Measuring inconsistency for description logics based on paraconsistent semantics (2007)
Cached
Download Links
by
Yue Ma
,
Guilin Qi
,
Pascal Hitzler
,
Zuoquan Lin
| Venue: | IN PROC. OF DL’07, 2007 |
| Citations: | 6 - 4 self |
BibTeX
@INPROCEEDINGS{Ma07measuringinconsistency,
author = {Yue Ma and Guilin Qi and Pascal Hitzler and Zuoquan Lin},
title = { Measuring inconsistency for description logics based on paraconsistent semantics },
booktitle = {IN PROC. OF DL’07, 2007},
year = {2007},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
