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.
Publisher
Trans Tech Publications, Ltd.
Reference9 articles.
1. Bernes-Lee T, Hendler and Lassila O. The Semantic Web[J]. Scientific American, 2001, 284(5): 34-43.
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.
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.
4. Horroeks I, Patel-Sehneider P F. Reducing OWL entailment to Description Logic satisfiability. ISWC-2003, Oct. (2003).
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.