Show simple item record

dc.contributor.authorZhang, Xiaowangen_US
dc.contributor.authorLin, Zuoquanen_US
dc.contributor.authorWang, Kewenen_US
dc.contributor.editorS. Link, H. Pradeen_US
dc.date.accessioned2017-04-24T10:17:31Z
dc.date.available2017-04-24T10:17:31Z
dc.date.issued2010en_US
dc.date.modified2013-05-29T02:45:23Z
dc.identifier.refurihttp://2010.foiks.org/en_US
dc.identifier.doi10.1007/978-3-642-11829-6_20en_US
dc.identifier.urihttp://hdl.handle.net/10072/36788
dc.description.abstractAs 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.format.extent230476 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_US
dc.publisherSpringeren_US
dc.publisher.placeGermanyen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofconferencenameFoundations of Information and Knowledge Systems (FoIKS)en_US
dc.relation.ispartofconferencetitle6th International Symposium : Foundations of Information and Knowledge Systems Proceedingsen_US
dc.relation.ispartofdatefrom2010-02-14en_US
dc.relation.ispartofdateto2010-02-19en_US
dc.relation.ispartoflocationSofia, Bulgariaen_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchcode280213en_US
dc.titleTowards a Paradoxical Description Logic for the Semantic Weben_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.facultyGriffith Sciences, School of Information and Communication Technologyen_US
gro.rights.copyrightCopyright 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 www.springerlink.comen_US
gro.date.issued2010
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record