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

fYear

2009

fDate

11-13 Dec. 2009

Firstpage

1

Lastpage

4

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CISE.2009.5365225

Filename

5365225