The Study of Ontology Reasoning to Semantic Web

Article Preview

Abstract:

The next generation Web, Semantic Web, has recently been drawn considerable attention from both academia and industry. The ontology is regarded as the cornerstone of the Semantic Web, is playing an important role with the knowledge expression and knowledge reasoning. Ontology language, Description Logic and the relationships of them were presented. This paper analyzes the principle of semantic reasoning about DL and reasoning machine. Finally, performers testify the practical reasoning task about a concrete Ontology construction.

You might also be interested in these eBooks

Info:

Periodical:

Advanced Materials Research (Volumes 204-210)

Pages:

375-380

Citation:

Online since:

February 2011

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2011 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Bernes-Lee T, Hendler and Lassila O. The Semantic Web[J]. Scientific American, 2001, 284(5): 34-43.

DOI: 10.1038/scientificamerican0501-34

Google Scholar

[2] Studer R, Benjamins V R, Fensel D. Knowledge Engineering, Principles and Methods[J]. Data and Knowledge Enginee- ring, 1998; 25( 1- 2) : 161-197.

DOI: 10.1016/s0169-023x(97)00056-6

Google Scholar

[3] Mike Dean, Dan Connolly, Frank van Harmelen et al. OWL web ontology language reference[EB/OL]. W3C Working Draft, Availableat http: /www. w3. org/TR/ 2003/WD-owl-ref- 2003- 03- 31.

Google Scholar

[4] Horroeks I, Patel-Sehneider P F. Reducing OWL entailment to Description Logic satisfiability. ISWC-2003, Oct. (2003).

Google Scholar

[5] Horroeks I, Using an expressive description logic: FaCT or fiction? In: Proc. of the 6th Int. Conf. on Principles of Knowledge Representation and Reasoning (KR, 98), 2001, 199-204.

Google Scholar

[6] Haarslev V, Moller R. RACER system description. In: Proc. of the Int. Joint Conf. on Automated Reasoning(IJCAR, 2001), volume 2083 of Lecture Notes in Artificial Intelligence, Spinger, 2001. 701-705.

DOI: 10.1007/3-540-45744-5_59

Google Scholar

[7] F. Baader, etc. editors. The Description Logic Handbook: Theory, implementation and Application. Cambridge University Press. 2003. 472-494.

Google Scholar

[8] Xinben, Li, Zhongwei, Chen. Ontology Query and Reasoning Based on Racer & nRQL. Computer Systems & Applicatio-ns[J], 2007(5): 33-36.

Google Scholar

[9] http : PPwww. cs. man. ac. ukP~horrocks/ Publications/download/2003/BaHS03. pdf , 2006. 1.

Google Scholar