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

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

A Method for Supporting Description Logic SHIQ(D) Reasoning over Large ABoxes

대용량 ABox에서 서술논리 SHIQ(D) 추론 지원 방법

  • Published : 2007.06.15
Download PDF
⟨ Previous Next ⟩

Abstract

Most existing deductive engines study for optimization of TBox based on Tableaux algorithm. However, in order to deduce mass-storing ABox in reality, it can't be decided in finite time. Therefore, for the efficiency of the deductive engine, there needs to be reasoning technique optimized for ABox. This paper uses the method that changes OWL-DL based Ontology to the form of Rule like Datalog in order to interlock store device such as RDBMS. Ultimately, it tries to in circumstance of real world. Therefor, using Axiom that OWL holds, it suggests reasoning method that applies rules including datatype.

현존하는 추론 엔진들은 대부분 Tableaux 알고리즘 기반의 TBox의 최적화를 위한 연구를 진행하였다. 하지만 현실에서 대용량의 ABox를 추론하기 위해서는 유한한 시간 내에 결정 가능하지 못하다. 따라서 실용성 있는 추론 엔진 효율을 위해서는 대용량 데이타를 가지는 ABox를 위한 최적화된 추론 기법이 필요하다. 본 논문에서는 OWL-DL 기반의 온톨로지(Ontology)를 데이타로그(Datalog)와 같은 규칙(Rule) 형태로 변형하여 관계형 데이타베이스와 같은 저장장치와 연동하기 위한 방법을 이용한다. 최종적으로 실세계의 환경에서의 데이타타입 속성(Datatype Property)이 포함된 SHIQ(D) 구성의 실용적인 지식 표현 시스템을 수행하고자 한다. 따라서 OWL이 가지는 공리(Axiom)를 이용한 데이타타입이 포함된 규칙을 적용한 추론 방법에 대해서 제안하였다.

Keywords

References

  1. F. Baader et al., 2003, 'The Description Logic Handbook: Theory, Implementation and Applications,' Cambridge University Press
  2. G. Antoniou and F. van Harmelen, 2004, 'A Semantic Web Primer'
  3. Ian Horrocks and Ulrike Sattler. A tableaux decision procedure for SHOIQ. In Proc. of the 19th Int. Joint Conf. on Artificial Intelligence (IJCAI 2005), 2005
  4. I. Horrocks and U. Sattler. Optimised reasoning for SHIQ. In Proc. of the 15th Eur. Conf. on Artificial Intelligence (ECAI 2002), pp. 277-281, 2002
  5. V. Haarslev and R. Moller. RACER User's Guide and Reference Manual Version 1.9. http://www.racersystem. com/products/racerpro/users-guide-1-9.pdf
  6. http://www.mindswap.org/2003/pellet/
  7. B. Motik and U. Sattler, 'Practical DL Reasoning over Large ABoxes with KAON2. Submitted for publication,' 2005
  8. U. Hustadt and B. Motik and U. Sattler, 'Reasoning for Description Logics around SHIQ in a Resolution Framework,' 2005
  9. Dmitry Tsarkov and Ian Horrocks. Optimised classification for taxonomic knowledge bases. In Proc. of the 2005 Description Logic Workshop
  10. http://www.w3.org/TR/2001/REC-xmlschema-2-20010502/
  11. http://www.w3.org/TR/rdf-sparql-query/
  12. Horrocks and U. Sattler, 'Ontology reasoning in the SHOQ(D) description logic,' In B. Nebel, editor, Proc. of IJCAI-01, pages 199？204. Morgan Kaufmann, 2001
  13. http://www.w3.org/TR/owl-semantics/
  14. http://www.w3.org/TR/owl-xmlsyntax/