Research and implementation based on description logics reasoning mechanism

Author

Yang, Qing ; Zhu, Li ; Chen, Wei ; Wang, Jinqiao

Author_Institution

Dept. of Comput. Sci., Huazhong Normal Univ., Wuhan, China

fYear

2009

fDate

15-16 May 2009

Firstpage

297

Lastpage

300

Abstract

Ontology is becoming one of the important research point in the area of the semantic web, which is enable to fulfill knowledge appearance, information retrieval and search. And as the basis of ontology description language, description logics are the formal tool of knowledge representation and reasoning, providing strong capabilities of representation and effective reasoning service mechanism, which have been extensively applied to various fields of computer science. This paper detailedly studies the theory of description logic and its reasoning mechanism using in book-system ontology construction, and finally testifies the practical reasoning in the process of the concrete ontology construction.

Keywords

formal logic; inference mechanisms; ontologies (artificial intelligence); book-system ontology construction; description logics; knowledge reasoning; knowledge representation; logics reasoning mechanism; ontology description language; semantic Web; Automation; Books; Computer industry; Computer science; Information retrieval; Knowledge representation; Logic testing; Mechatronics; Ontologies; Semantic Web; description logics; ontology construction; reasoning mechanism; semantic web;

fLanguage

English

Publisher

ieee

Conference_Titel

Industrial Mechatronics and Automation, 2009. ICIMA 2009. International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4244-3817-4

Type

conf

DOI

10.1109/ICIMA.2009.5156620

Filename

5156620