Quasi-Classical Description Logic | |
Zhang, Xiaowang ; Lin, Zuoquan | |
2012 | |
关键词 | Ontology description logic quasi-classical logic paraconsistent logic multiple-valued Logic inconsistency-tolerant reasoning tableau algorithm HANDLING INCONSISTENCY PROPOSITIONAL LOGIC INFORMATION ALGORITHMS ALC OWL |
英文摘要 | 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.; Computer Science, Artificial Intelligence; Computer Science, Theory & Methods; Logic; SCI(E); EI; 2; ARTICLE; 3-4; 291-327; 18 |
语种 | 英语 |
出处 | EI ; SCI |
内容类型 | 其他 |
源URL | [http://hdl.handle.net/20.500.11897/393971] ![]() |
专题 | 数学科学学院 |
推荐引用方式 GB/T 7714 | Zhang, Xiaowang,Lin, Zuoquan. Quasi-Classical Description Logic. 2012-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论