Reasoning with Ontology Model Based on Jena
ABSTRACT
As the core of knowledge representation, reasoning plays an important role in the Semantic Web. In this paper, introduce Description Logic as the theoretical foundation of reasoning in the Semantic Web and OWL which needs to be expressive enough for representing knowledge and computationally tractable for inference of large-scale applications. Then construct an ontology model depicted with OWL by protégé and Jena API , and also prove the validity of reasoning with the model.
As the core of knowledge representation, reasoning plays an important role in the Semantic Web. In this paper, introduce Description Logic as the theoretical foundation of reasoning in the Semantic Web and OWL which needs to be expressive enough for representing knowledge and computationally tractable for inference of large-scale applications. Then construct an ontology model depicted with OWL by protégé and Jena API , and also prove the validity of reasoning with the model.
Cite this paper
nullJ. WU and Y. HUANG, "Reasoning with Ontology Model Based on Jena," Intelligent Information Management, Vol. 1 No. 1, 2009, pp. 24-29. doi: 10.4236/iim.2009.11005.
nullJ. WU and Y. HUANG, "Reasoning with Ontology Model Based on Jena," Intelligent Information Management, Vol. 1 No. 1, 2009, pp. 24-29. doi: 10.4236/iim.2009.11005.
References
[1] Gruber T R. A Translation Approach to Portable Ontology Specifications[S]. Knowledge Acquisition, 5/1993: 199-200. [2] Chen Kai,He Keqing,Li Bing,Liang Peng. Research on Ontology Modeling Using Object-Oriented Technology.Computer Engineering and Applications, 2005, 41(2): 40-43 (in Chinese)(陳凱, 何克清, 李兵, 梁鵬. 面向對象的本體建模研究[J], 電腦工程與應用[J],2005, 41(2): 40-43). [3] Asunción Gómez-Pérez, Oscar Corcho. “Ontology Specification Languages for the Semantic Web. [S]” IEEE Intelligent Systems, 2002, 17(1), 54-60. [4] Gao Qi,Chen Huajun.Comparison And Analysis Of Web Ontology Languages And Reasoning. Computer Applications and Software,2004,21(10) (in Chinese )(高琦, 陳華鈞. 互聯網Ontology語言和推理的比較和分析[J]. 電腦應用與軟體,2004, 21(10)). [5] Frank Manola, Eric Miller. RDF Primer[EB/OL]. W3C Working Draft, 2004-02-10. http://www.w3.org/TR/2004/REC-rdf- primer -20040210/. [6] Bechhofer S, Horrocks I, Goble C, et al. OILEd: A reasonable ontology editor for the semantic web[R]. Joint German/Austrian conference on Artificial Intelligence, 2/2001, 174: 396-408. [7] Knublauch, H., Fergerson, R. W., Noy, N. F., Musen, M. A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications [R], Third International Semantic Web Conference - ISWC 2004, Hiroshima, Japan, 2004. [8] restol.Jena2.ASemanticWebFramework[EB/OL].http://Jena.Sourceforge.net (Accessed Oct.12, 2004). [9] V. Haarslev, R. M?ller, A.-Y. Turhan. RACE User’s Guide and Reference Manual Version 1.1[R]. Technical report, University of Hamburg, Computer Science Department, 1999. [10] Domingue J. Tadzebao. WebOnto: Discussing, browsing, and editing ontologies on the web[R]. Proceedings of the 11th Knowledge Acquisition for Knowledge-Based Systems. Work- shop, 1998. [11] I. Horrocks, U. Sattler, S. Tobies. Reasoning with individuals for the description logic shiq[J]. In D. MacAllester, editor, Proc. of the 17th Conf. on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science, Germany, 2000. Springer-Verlag. [12] Mike Dean, Guus Schreiber. OWL Web ontology language refer- ence [EB/OL]. W3C Working Draft, http://www.w3c.org/TR/ 2003/WD-owl-ref-200330331/, 2003. [13] Instance Store website. [EB/OL] http://instan- cestore. man.ac.uk. [14] Tao Wan,LIAO Ahu-mei.Analysis and research of current ontology editing tools.Computer Engineering and Design,2005,26(3)(in Chinese)陶皖，廖述梅.當前本體編輯工具的分析與研究[J].電腦工程與設計,2005,26(3)).
[1] Gruber T R. A Translation Approach to Portable Ontology Specifications[S]. Knowledge Acquisition, 5/1993: 199-200. [2] Chen Kai,He Keqing,Li Bing,Liang Peng. Research on Ontology Modeling Using Object-Oriented Technology.Computer Engineering and Applications, 2005, 41(2): 40-43 (in Chinese)(陳凱, 何克清, 李兵, 梁鵬. 面向對象的本體建模研究[J], 電腦工程與應用[J],2005, 41(2): 40-43). [3] Asunción Gómez-Pérez, Oscar Corcho. “Ontology Specification Languages for the Semantic Web. [S]” IEEE Intelligent Systems, 2002, 17(1), 54-60. [4] Gao Qi,Chen Huajun.Comparison And Analysis Of Web Ontology Languages And Reasoning. Computer Applications and Software,2004,21(10) (in Chinese )(高琦, 陳華鈞. 互聯網Ontology語言和推理的比較和分析[J]. 電腦應用與軟體,2004, 21(10)). [5] Frank Manola, Eric Miller. RDF Primer[EB/OL]. W3C Working Draft, 2004-02-10. http://www.w3.org/TR/2004/REC-rdf- primer -20040210/. [6] Bechhofer S, Horrocks I, Goble C, et al. OILEd: A reasonable ontology editor for the semantic web[R]. Joint German/Austrian conference on Artificial Intelligence, 2/2001, 174: 396-408. [7] Knublauch, H., Fergerson, R. W., Noy, N. F., Musen, M. A.: The Protégé OWL Plugin: An Open Development Environment for Semantic Web Applications [R], Third International Semantic Web Conference - ISWC 2004, Hiroshima, Japan, 2004. [8] restol.Jena2.ASemanticWebFramework[EB/OL].http://Jena.Sourceforge.net (Accessed Oct.12, 2004). [9] V. Haarslev, R. M?ller, A.-Y. Turhan. RACE User’s Guide and Reference Manual Version 1.1[R]. Technical report, University of Hamburg, Computer Science Department, 1999. [10] Domingue J. Tadzebao. WebOnto: Discussing, browsing, and editing ontologies on the web[R]. Proceedings of the 11th Knowledge Acquisition for Knowledge-Based Systems. Work- shop, 1998. [11] I. Horrocks, U. Sattler, S. Tobies. Reasoning with individuals for the description logic shiq[J]. In D. MacAllester, editor, Proc. of the 17th Conf. on Automated Deduction (CADE-17), number 1831 in Lecture Notes in Computer Science, Germany, 2000. Springer-Verlag. [12] Mike Dean, Guus Schreiber. OWL Web ontology language refer- ence [EB/OL]. W3C Working Draft, http://www.w3c.org/TR/ 2003/WD-owl-ref-200330331/, 2003. [13] Instance Store website. [EB/OL] http://instan- cestore. man.ac.uk. [14] Tao Wan,LIAO Ahu-mei.Analysis and research of current ontology editing tools.Computer Engineering and Design,2005,26(3)(in Chinese)陶皖，廖述梅.當前本體編輯工具的分析與研究[J].電腦工程與設計,2005,26(3)).