¹School of Computer Science and Technology/ Civil Aviation University of China, Tianjin, China
²Travelsky Technology Limited, Beijing, China

---

Abstract—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.

Index Terms—extension set, description logic, contradiction problem, extenics

[PDF]

Cite: Jing Wang, Shan Wei, Qian Xu, "Research on Contradiction Problem-Oriented Description Logic ALC^D-ES," Journal of Software vol. 9, no. 7, pp. 1914-1921, 2014.