|
|
Comparison, Analysis and Research on Current Ontology Reasoners |
Xu Dezhi Wang Zhiyong Wang Bin |
(College of Information Science and Engineering, Central South University, Changsha 410083, China) |
|
|
Abstract Through analyzing a lot of current Ontology reasoners in detail, this paper concludes a general system structure for Ontology reasoners. After introducing three typical Ontology reasoners (Pellet, Racer, FaCT++), it proposes and implements a test plan for Ontology reasoners from the system, user and developer’s point. The experiment results show that the test plan is feasible and effective. At last, the paper analyzes the disadvantages of current Ontology reasoner and gives some ideas on Ontology reasoners’ future development.
|
Received: 11 September 2006
Published: 25 December 2006
|
|
Corresponding Authors:
Xu Dezhi
E-mail: zhuxuanlv@126.com
|
About author:: Xu Dezhi,Wang Zhiyong,Wang Bin |
1Tim Berners-Lee, James Hendler, Ora Lassila. The Semantic Web. Scientific American. 2001,284(5): 34-43
2OWL Test Results (Semi-Official Semi-Static View).http://www.w3.org/2003/08/owl-systems/test-results-out#systems(Accessed Sept.1, 2006)
3DESCRIPTION LOGIC REASONERS. http://www.cs.man.ac.uk/~sattler/reasoners.html(Accessed Sept.1,2006)
4Z. Pan. Benchmarking DL Reasoners Using Realistic Ontologies. In Proc. of the International workshop on OWL: Experience and Directions (OWL-ED2005). Galway, Ireland. 2005
5Zhijun Zhang. Ontology Query Languages for the Semantic Web: A Performance Evaluation. Masters Thesis 20055-34
6Racer Systems GmbH & Co. KG. http://www.racer-systems.com/index.phtml(Accessed Sept.1, 2006)
7Pellet OWL Reasoner. http://www.mindswap.org/2003/pellet/index.shtml(Accessed Sept.1, 2006)
8OWL: FaCT++. http://owl.man.ac.uk/factplusplus/(Accessed Sept.1, 2006)
9Atila Kaya,Keno. Selzer. Design and Implementation ofa Benchmark Testing Infrastructure for the DL System Racer. Proceedings of the KI-2004 International Workshop on Applications of Description Logics (ADL'04), Ulm, Germany, 2004
10高琦 陈华钧.互联网 Ontology 语言和推理的比较和分析.计算机应用与软件,2004,21(10): 73-76
11SWAT Projects-the Lehigh University Benchmark (LUBM).http://swat.cse.lehigh.edu/projects/lubm/(Accessed Sept.1, 2006) |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|