Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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

다양한 OWL-DL 추론 엔진에서 대용량 ABox 추론에 대한 성능평가

  • Published : 2007.07.15
Download PDF
⟨ Previous Next ⟩

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.

RacerPro, Pellet 등 지금까지의 전혈적인 추론 시스템들은 주로 Tableaux Algorithm 기반의 추론 시스템으로 Tableaux Algorithm의 특성상 대용량 ABox 추론에서 문제점을 나타낸다. 이를 해결하기 위한 연구로 Tableaux Algorithm 기반에 DBMS를 함께 사용한 영국 Manchester 대학의 Instance Store와 Disjunctive Datalog Approach를 사용한 독일 Karlsruhe 대학의 KAON2가 있다. 현재 추론 시스템들에 대한 벤치마크 실험은 대부분 Tableaux Algorithm 기반의 TBox 추론 위주이며 ABox 추론에 대한 평가는 거의 진행되지 않았다. 특히 최근 이슈로 부각된 (대용량 ABox 추론을 위한 추론 시스템)의 특성별 벤치마크 실험은 거의 보고되지 않았다. 이에 본 논문에서는 각 추론엔진들의 이론적 배경을 근간으로 전형적 추론엔진들과 최근 이슈에 따른 대용량 ABox론 위한 추론엔진들을 상호 비교를 통해 살펴보며 특히, 대용량 ABox 처리론 위한 추론엔진인 Manchester 대학의 Instance Store와 Karlsruhe 대학의 KAON2를 LUBM을 통하여 분석 평가함으로 사용자의 요구에 따른 대용량 ABox 추론엔진을 제시한다. 평가방법에서는 LUBM(Lehigh University BenchMark)에 대한 소개와 이를 이용한 벤치마크 실험 방법 및 평가 시스템에 대하여 소개한다. 본 논문은 결론을 통해 실험 결과와 각 추론엔진의 사용 Algorithm 특성을 기초로 다양한 환경에서의 대용량 ABox 처리에 적합한 추론엔진을 제시한다.

Keywords

References

  1. Genesereth, M., Nilsson,N. Logical Foundations of Artificial Intelligence, Morgan-Kaufman, 1987
  2. D.L. McGuinnes, F.V.Harmelen : OWL Web Ontology Language Overview. W3C recommendation 10 Feb, 2004
  3. F. Baader, W. Nutt : Basic Description Logics. The Description Logic Handbook. Cambridge University Press, 2003
  4. 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
  5. 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
  6. I. Horrocks, L.Li, D. Turi : The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. DL2004
  7. B. Motik, Ulrike Sattler : Practical DL Reasoning over Large ABoxes with KAON2
  8. Y. Guo, Z. Pan, and J. Heflin : LUBM: Benchmark for OWL Knowledge Base Systems. Lehigh University, ISWC2004
  9. 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
  10. 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
  11. I. Horrocks and P.Patel-Schneider : DL Systems Comparison. In Proc. of DL'98, 1998
  12. RacerPro Homepage, http://www.racer-systems.com/
  13. Pellet Homepage, http://pellet.owldl.com/
  14. SPARQL Query Language for RDF, http://www.w3.org/TR/rdf-sparql-query/
  15. VICODI, http://www.vicodi.org/
  16. I. Horrocks : Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997
  17. 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