Title :
Research of the Knowledge Reasoning Based on Extensional Description Logics ALC-Plus
Author :
Gan Jian-hou ; Wen Bin ; Zhang Shu
Author_Institution :
Coll. of Comput. Sci. & Inf. Technol., Yunnan Normal Univ., Kunming, China
Abstract :
This article first extends Description Logics ALC and put forward ALC+, which is extended on ALC by adding transitive role, inverse role, role disjunction, role composition and general number restriction, and defines its syntax and semantics. Then, we discuss the mainly knowledge reasoning problem about concept satisfiability of ALC+, and give the determinant algorithm of the concept satisfiability based on Tableau. Finally, by proofing and get several properties of Tableau-algorithm, such as, soundness, termination and completeness.
Keywords :
formal logic; inference mechanisms; ALC+; Tableau; concept satisfiability; determinant algorithm; extensional description logics ALC-plus; general number restriction; inverse role; knowledge reasoning; role composition; role disjunction; transitive role; Automatic logic units; Carbon capture and storage; Computer science; Gallium nitride; Information technology;
Conference_Titel :
Computational Intelligence and Software Engineering, 2009. CiSE 2009. International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-4507-3
Electronic_ISBN :
978-1-4244-4507-3
DOI :
10.1109/CISE.2009.5365225
