文章基本信息

标题：Research on Contradiction Problem-Oriented Description Logic ALCD-ES
本地全文：下载
作者：Wang, Jing ; Wei, Shan ; Xu, Qian 等
期刊名称：Journal of Software
印刷版ISSN：1796-217X
出版年度：2014
卷号：9
期号：7
页码：1914-1921
DOI：10.4304/jsw.9.7.1914-1921
语种：English
出版社：Academy Publisher
摘要：The raise of extension set provides reasonable logical foundation for the automatic solving of contradiction problem. This paper views contradiction as an unsatiable concept, an unrealizable action or an item that can't meet the satisfaction of a certain concept, analyzes a representation language in face of contradiction problem, which is, a new extension description logic--ALC_D-ES. Syntax definition, semantic explanation and reasoning algorithm Tableau_D-ES are given in details, which lay the theoretical foundation for the automatic solving method of contradiction problem based on extension description logic reasoning.
关键词：extension set;description logic;contradiction problem;extenics