An Enhanced Concept Search Method for Ontology Schematic Reasoning

온톨로지 스키마 추론을 위한 향상된 개념 검색방법

  • Published : 2009.11.15

Abstract

Ontology schema reasoning is used to maintain consistency of concepts and build concept hierarchy automatically. For the purpose, the search of concepts must be inevitably performed. Ontology schema reasoning performs the test of subsumption relationships of all the concepts delivered in the test set. The result of subsumption tests is determined based on the creation of complete graphs, which seriously weighs with the performance of reasoning. In general, the process of creating complete graph has been known as expressive procedure. This process is essential in improving the leading performance. In this paper, we propose a method enhancing the classification performance by identifying unnecessary subsumption test supported by optimized searching method on subsumption relationship test among concepts. It is achieved by propagating subsumption tests results into other concept.

온톨로지 스키마 추론은 개념의 정합성을 테스트하고 계층구조를 자동으로 생성해 준다. 이를 위해 개념의 검색과정은 반드시 수행하여야 한다. 온톨로지 스키마 추론은 온톨로지에 정의된 모든 개념들간의 포함관계를 테스트함으로써 수행된다. 이러한 포함관계 테스트 결과는 개념의 완전 그래프 생성여부에 따라 결정되며 이는 추론의 전체적인 성능에 결정적인 영향을 준다. 일반적으로 완전 그래프 생성 과정은 복잡도가 높은 과정으로 알려져 있으며 이는 낮은 추론성능을 유발시키는 원인이 되고 있다. 본 논문에서는 개념들간의 포함관계 테스트시 개념의 향상된 검색방법을 통해 불필요한 포함관계 테스트를 생략함으로써 온톨로지 스키마 추론의 성능을 향상시키는 방법을 제시하고자 한다. 이 향상된 검색방법은 개념의 포함관계 테스트 결과를 정의상 연관된 다른 개념에 전파함으로써 이루어진다.

Keywords

References

  1. T.R.Gruber : November 1995, 'Toward Principles for the design of ontologies used for knowledge sharing,' International Journal of Human Computer Studies, vol.43 Issues 5~6 https://doi.org/10.1006/ijhc.1995.1081
  2. Daniel Nardi, Ronald J. Brachman : 2003, 'An Introduction to Description Logics,' Description Logics HandBook, pp.5-6
  3. Manfred Schmidt-Schauß and Gert Smolka : February 1991, 'Attributive Concept Description with Complements,' Artificial Intelligent, 48:1~26 https://doi.org/10.1016/0004-3702(91)90078-X
  4. Dmitry Tsarkov, Ian Horrocks and Peter F. Patel-Schneider : March 2007, 'Optimising Terminological Reasoning for Expressive Description Logics,' University of Manchester, UK and Bell Labs Research Lucent Technologies, USA
  5. Franz Badder, Bernhard Hollunder, Bernhard Nebel, Hans-Jurgen Profitlich : October 1992, 'An Empirical Analysis of Optimising Techniques for erminological Representation System, Principles of Knowledge Representation and Reasoning,' Proceeding of the 3th International Conference, Cambridge, MA