Browse > Article

A Performance Analysis of Large ABox Reasoning in OWL-DL Reasoners  

Seo, Eun-Seok (숭실대학교 컴퓨터학과)
Park, Young-Tack (숭실대학교 컴퓨터학과)
Publication Information
Journal of KIISE:Software and Applications / v.34, no.7, 2007 , pp. 655-666 More about this Journal
Abstract
Reasoners using typical Tableaux algorithm such as RacerPro, Pellet have a problem in Tableaux algorithm large ABox reasoning. Researches to solve these Problems are dealt with Instance Store of University of Manchester which uses Tableaux algorithm based reasoner and DBMS and KAON2 of University of Karlsruhe using Disjunctive Datalog approach. An evaluation experiment for present reasoners is the experiment of TBox reasoning in most of Tableaux algorithm based one. The most of benchmarking tests in reasoning systems haven't done with ABox reasoning based Tableaux Algorithm but done with TBox reasoning based Tableaux Algorithm. Especially, rarely reported benchmarking tests in reasoners have been issued nowadays. Therefore, this thesis evaluates systems with theory of each reasoners for large ABox reasoning that becomes issues recently with typical reasoners. The large AoBx reasoning engine will be analyzed using Instance Store and KAON2 of Manchester University for large ABox processing. At the analysing method, LUBM(Lehigh University BenchMark), benchmarking test method, and it's test system will be introduced. In conclusion, I recommend appropriate reasoner in various environment with experiment result and characteristic of algorithm used for each reasoner.
Keywords
Semantic Web; Reasoner; Inference System; Large ABox; ABox reasoning; Performance Analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 B. Motik, Ulrike Sattler : Practical DL Reasoning over Large ABoxes with KAON2
2 Y. Guo, Z. Pan, and J. Heflin : LUBM: Benchmark for OWL Knowledge Base Systems. Lehigh University, ISWC2004
3 Y. Guo, Z. Pan, and J. Heflin : An Evaluation of Knowledge Base Systes ofr Large OWL Datasets. In Proc. of the 3rd International Semantic Web Conference (ISWC2004), 2004
4 RacerPro Homepage, http://www.racer-systems.com/
5 SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
6 F. Baader, W. Nutt : Basic Description Logics. The Description Logic Handbook. Cambridge University Press, 2003
7 I. Horrocks, L.Li, D. Turi : The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. DL2004
8 B. Motik and U. Sattler. A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes. Proc. of the 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2006), Phnom Penh, Cambodia, November, 2006
9 Genesereth, M., Nilsson,N. Logical Foundations of Artificial Intelligence, Morgan-Kaufman, 1987
10 I. Horrocks : Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
11 I. Horrocks and P.Patel-Schneider : DL Systems Comparison. In Proc. of DL'98, 1998
12 Pellet Homepage, http://pellet.owldl.com/
13 J. Galinski, A. Kaya, and R. Möller : Development of a server to support the formal semantic web query language OWL-QL. In I. Horrocks, U. Sattler, and F. Wolter, editors, Proc. International Workshop on Description Logics, 2005
14 Y. Guo, Z. Pan, and J. Heflin : Choosing the Best Knowledge Base System for Large Semantic Web Applications. In Proc. of the 13th International World Wide Web Conference(WWW2004) - Alternate Track Papers & Posters, 2004
15 VICODI, http://www.vicodi.org/
16 D.L. McGuinnes, F.V.Harmelen : OWL Web Ontology Language Overview. W3C recommendation 10 Feb, 2004
17 I. Horrocks, U. Sattler and S. Tobies : Reasoning with individuals for description logic SHIQ. Proc. of the 17th Int. Conf. On Audomated Deduction(CADE 2000): 482-496