Please use this identifier to cite or link to this item: http://hdl.handle.net/1942/17805
Title: Quasi-classical description logic
Authors: ZHANG, Xiaowang 
LIN, Zuoquan
Issue Date: 2012
Source: JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 18 (3-4), p. 291-327
Abstract: In this paper, we present a paraconsistent description logic based on quasi-classical logic. Compared to the four-valued description logic, quasi-classical description logic satisfies all of the three basic inference rules (i.e., modus ponens, modus tollens and disjunctive syllogism) so that the inference ability of quasi-classical description logic is closer to that of classical logic. Quasi-classical description logic combines three inclusions (i.e., material inclusion, internal inclusion and strong inclusion) of four-valued description logic so that quasi-classical description logic satisfies the intuitive equivalence. Moreover, we develop a terminable, sound and complete tableau algorithm for quasi-classical description logic. As an important result, the complexity of reasoning problems in quasi-classical description logic is proved to be no higher than that of reasoning problems in description logic.
Notes: E-mail Addresses:x.zhang@pku.edu.cn
Keywords: ontology; description logic; quasi-classical logic; paraconsistent logic; multiple-valued logic; inconsistency-tolerant reasoning; tableau algorithm
Document URI: http://hdl.handle.net/1942/17805
Link to publication/dataset: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-18-number-3-4-2012/mvlsc-18-3-4-p-291-327/
ISSN: 1542-3980
e-ISSN: 1542-3999
ISI #: 000301082300005
Rights: Copyright © 2012 Old City Publishing. All Rights Reserved.
Category: A1
Type: Journal Contribution
Appears in Collections:Research publications

Files in This Item:
File Description SizeFormat 
QCALC.pdfPeer-reviewed author version382.21 kBAdobe PDFView/Open
Show full item record

WEB OF SCIENCETM
Citations

5
checked on Apr 16, 2024

Page view(s)

12
checked on Sep 7, 2022

Download(s)

4
checked on Sep 7, 2022

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.