Towards a Paradoxical Description Logic for the Semantic Web

File Size Format
65436_1.pdf 225Kb Adobe PDF View
Title Towards a Paradoxical Description Logic for the Semantic Web
Author Zhang, Xiaowang; Lin, Zuoquan; Wang, Kewen
Publication Title 6th International Symposium : Foundations of Information and Knowledge Systems Proceedings
Editor S. Link, H. Prade
Year Published 2010
Place of publication Germany
Publisher Springer
Abstract 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 SemanticWeb 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 SemanticWeb. 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 suitable for dealing with inconsistent ontologies in that paraconsistent reasoning under our semantics provides a better approximation to the standard reasoning. An important result in this paper is that we propose a sound and complete tableau for paradoxical description logics.
Peer Reviewed Yes
Published Yes
Alternative URI
Copyright Statement Copyright 2010 Springer Berlin / Heidelberg. This is the author-manuscript version of this paper. Reproduced in accordance with the copyright policy of the publisher. The original publication is available at
ISBN 3642118283
Conference name Foundations of Information and Knowledge Systems (FoIKS)
Location Sofia, Bulgaria
Date From 2010-02-14
Date To 2010-02-19
Date Accessioned 2010-11-08
Language en_US
Research Centre Institute for Integrated and Intelligent Systems
Faculty Faculty of Science, Environment, Engineering and Technology
Subject PRE2009-Other Artificial Intelligence
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice