www.uhasselt.be
DSpace

Document Server@UHasselt >
Research >
Research publications >

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
Citation: 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
URI: http://hdl.handle.net/1942/17805
Link to publication: http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-18-number-3-4-2012/mvlsc-18-3-4-p-291-327/
ISI #: 000301082300005
ISSN: 1542-3980
Category: A1
Type: Journal Contribution
Appears in Collections: Research publications

Files in This Item:

Description SizeFormat
main article382.21 kBAdobe PDF

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