Sciweavers

Share
FOIKS
2010
Springer

Towards a Paradoxical Description Logic for the Semantic Web

9 years 5 months ago
Towards a Paradoxical Description Logic for the Semantic Web
As a vision for the future of the Web, the Semantic Web is an open, constantly changing and collaborative environment. Hence it is reasonable to expect that knowledge sources in the Semantic Web contain noise and inaccuracies. However, as the logical foundation of Ontology Web Language in the Semantic Web, description logics fail to tolerate inconsistent information. The study of inconsistency handling in description logics is an important issue in the Semantic Web. One major approach to inconsistency handling is based on so-called paraconsistent reasoning, in which standard semantics is refined so that inconsistencies can be tolerated. Four-valued description logics are not satisfactory for the Semantic Web in that its reasoning is a bit far from standard semantics. In this paper, we present a paraconsistent description logic called paradoxical description logic, which is based on a three-valued semantics. Compared to existing paraconsistent description logics, our approach is more s...
Xiaowang Zhang, Zuoquan Lin, Kewen Wang
Added 28 May 2010
Updated 28 May 2010
Type Conference
Year 2010
Where FOIKS
Authors Xiaowang Zhang, Zuoquan Lin, Kewen Wang
Comments (0)
books