DocumentCode
2847892
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
fYear
2009
fDate
11-13 Dec. 2009
Firstpage
1
Lastpage
4
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;
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.5365190
Filename
5365190
Link To Document