An Efficient Reasoning Method for OWL Properties using Relational Databases

관계형 데이터베이스를 이용한 효율적인 OWL 속성 추론 기법

  • 린제시 (한국과학기술원 전산학과) ;
  • 이지현 (한국과학기술원 전산학과) ;
  • 정진완 (한국과학기술원 전산학과)
  • Received : 2006.10.24
  • Accepted : 2009.11.29
  • Published : 2010.04.15

Abstract

The Web Ontology Language (OWL) has become the W3C recommendation for publishing and sharing ontologies on the Semantic Web. To derive hidden information from OWL data, a number of OWL reasoners have been proposed. Since OWL reasoners are memory-based, they cannot handle large-sized OWL data. To overcome the scalability problem, RDBMS-based systems have been proposed. These systems store OWL data into a database and perform reasoning by incorporating the use of a database. However, they do not consider complete reasoning on all types of properties defined in OWL and the database schemas they use are ineffective for reasoning. In addition, they do not manage updates to the OWL data which can occur frequently in real applications. In this paper, we compare various database schemas used by RDBMS-based systems and propose an improved schema for efficient reasoning. Also, to support reasoning for all the types of properties defined in OWL, we propose a complete and efficient reasoning algorithm. Furthermore, we suggest efficient approaches to managing the updates that may occur on OWL data. Experimental results show that our schema has improved performance in OWL data storage and reasoning, and that our approaches to managing updates to OWL data are more efficient than the existing approaches.

OWL(Web Ontology Language)은 시맨틱웹에서 온톨로지를 배포하고 공유하기 위한 W3C의 정식 권고안(Recommendation)으로 채택되었다. OWL 데이터의 숨겨진 정보를 유추하기 위해서 OWL 추론기들이 많이 개발되었다. 그러나 OWL 추론기들은 메모리를 기반으로 처리되기 때문에 대용량 OWL 데이터를 처리하기는 어렵다. 이런 문제를 해결하기 위해서 관계형 데이터베이스에 기반한 시스템이 제안되었다. 이 시스템들은 OWL 데이터를 데이터베이스에 저장하여 데이터베이스 내에서 추론을 한다. 하지만, 이 시스템들은 OWL에서 정의되는 모든 속성(Property)을 고려하지 않았고, 추론에 비효율적인 스키마를 사용하고 있다. 그리고 실제 응용환경에서 자주 발생하는 OWL 데이터 변경에 대해서도 다루지 않았다. 본 논문에서는 관계형 데이터베이스에 기반한 여러 스키마를 비교하고, 효율적인 추론을 위한 개선된 스키마를 제안한다. 그리고 OWL에서 정의되는 모든 종류의 속성을 지원하기 위한 완전하고 효율적인 추론 알고리즘과 OWL 데이터 변경에 대해 효율적인 갱신 방법을 제안한다. 실험결과를 보면 본 논문에서 제안한 스키마가 OWL 데이터 저장 및 추론에 대해 기존 스키마보다 더 좋은 성능을 보이며, OWL 데이터 갱신 방법도 기존의 방법보다 더 효율적이다.

Keywords

References

  1. S. Bechhofer, F. van Harmelen, J. Hendler, I. Horrocks, D. L. McGuinness, P. F. Patel- Schneider, and L. A. Stein. OWL Web Ontology Language Reference. W3C Recommendation, http://www.w3.org/TR/owl-ref, February 2004.
  2. I. Horrocks and P. F. Pastel-Schneider. FaCT and DLP. In Proceedings of International Conference on Analytic Tableaux and Related Methods, pp. 27-30, May 1998.
  3. V. Haarsley and R. Moller. RACER System Description. In Proceedings of 1st International Joint Conference on Automated Reasoning, pp. 701-706, June 2001.
  4. B. Parsia and E. Sirin. Pellet: An OWL DL Reasoner. In Proceedings of 3rd International Semantic Web Conference, November 2004.
  5. J. Lee and R. Goodwin. Ontology Management for Large-Scale Enterprise Systems. IBM Technical Report, RC23730, September 2005.
  6. I. Horrocks, L. Li, D. Turi, and S. Bechhofer. The Instance Store: Description Logic Reasoning with Large Numbers of Individuals. In Proceedings of 2004 International Workshop on Description Logic, pp.31-40, June 2004.
  7. Z. Pan and J. Hefflin. DLDB: Extending Relational Databases to Support Semantic Web Queries. In Workshop on Practical and Scaleable Semantic Web Systems, ISWC 2003, pp.109-113, November 2003.
  8. Myung-Jae Park, Ji-Hyun Lee, Chun-Hee Lee, Jiexi Lin, Olivier Serres and Chin-Wan Chung. ONTOMS: An Efficient and Scalable Ontology Management System. Technical Report CS-TR-2005- 246, Department of Computer Science, KAIST, December 9, 2005.
  9. Myung-Jae Park and Chin-Wan Chung. Property Based OWL Storage Schema in Relational Databases. Technical Report CS-TR-2005-247, Department of Computer Science, KAIST, December 13, 2005.
  10. IBM Integrated Ontology Development Toolkit, http://www.alphaworks.ibm.com/tech/semanticstk
  11. Brian McBride, Graham Klyne and Jeremy J. Carroll. Resource Description Framework (RDF) Concepts and Abstract Syntax. W3C Recommendation 10 February 2004.
  12. S. S. Skiena. The Algorithm Design Manual. Telos/Springer-Verlag Publisher, November 1997.
  13. N. W. Paton. Active Database Systems. ACM Computing Surveys, 31(2):63-103, March 1999. https://doi.org/10.1145/311531.311623
  14. S. Russell and P. Norvig. Artifcial Intelligence-A Modern Approach. Prentice Hall, November 2003.
  15. Guozhu Dong and Jianwen Su. Incremental Maintenance of Recursive Views Using Relational Calculus/SQL. Sigmod Record, 29(1):44-51, March 2000. https://doi.org/10.1145/344788.344808
  16. Y. Guo, Z. Pan, and J. Hefflin. An Evaluation of Knowledge Base Systems for Large OWL Datasets. In Proceedings of 3rd International Semantic Web Conference, pp.274-288, November 2004.