Title :
Research about Relation between Extended Description Logics ALC+ and OWL
Author :
Wen Bin ; Gan Jian-hou ; Xu Tian-wei
Author_Institution :
Coll. of Comput. Sci. & Inf. Technol., Yunnan Normal Univ., Kunming, China
Abstract :
Currently, Knowledge Representation and Reasoning has become hotspot of research and application in Semantic Web. In this article, we firstly introduce the Extended Description Logic ALC+, and simply state OWL. We study the relation between ALC+ and OWL. Finally, we give an example of transformation from the knowledge represented by OWL to the knowledge by extended description logics ALC+ and its reasoning.
Keywords :
formal logic; inference mechanisms; ontologies (artificial intelligence); semantic Web; ALC+; Web ontology language; extended description logic; knowledge representation; reasoning; semantic Web; Automatic logic units; Computer networks; Computer science; Educational institutions; Gallium nitride; Knowledge representation; OWL; Ontologies; Semantic Web; World Wide Web;
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.5365190
