To overcome the massiveness and heterogeneity problem of the current web, Web Ontology Language (OWL) has been proposed as a description language of web contents for the semantic web. The semantic web describes web contents in an ontology to facilitate machine interpretability of web information. Since describing the whole web contents in one ontology is impossible, the web contents have been described in a number of distributed ontologies. To derive hidden information of distributed OWL data, a number of OWL reasoners and distributed reasoning architectures have been proposed. However, they cannot support complete reasoning especially about the OWL property which is transitive. In addition, research results on distributed transitive closure are not efficient.
In this paper, we propose an algorithm ParSSR which performs efficient distributed transitive reasoning for a singe source reachability query in distributed OWL data. ParSSR uses functionalities of current OWL reasoner without change. ParSSR can be applied to the current semantic web environment easily and to the distributed transitive closure problem. Experimental results show that ParSSR is efficient and does not depend on the number of ontologies nor how the ontologies are distributed.
인터넷의 방대함이나 이질성과 같은 문제를 해결하기 위하여 시맨틱 웹을 위한 웹 자원의 명세 언어로 OWL이 제안되었다. 시맨틱웹은 웹 자원을 온톨로지로 서술함으로 웹 정보를 기계가 알 수 있게 한다. 전체의 웹 자원을 하나의 온톨로지로 기술하는 것은 불가능하므로 웹 자원들은 여러개의 온톨로지들로 기술된다. OWL 데이터의 숨겨진 정보를 알아내기 위해서 여러 OWL 추론기들이나 분산 추론 아키텍쳐가 제안되었다. 그러나 이들 추론기는 완벽한 추론을 지원하지 못하는데 특히 트랜지티브 추론에 있어서 그러하다. 게다가 분산 트랜지티브 클로져에 관한 연구 결과들은 충분히 효율적이지 못하다. 본 논문에서는 Single Source Reachablity 질의에 대하여 효과적으로 분산 트랜지티브 추론을 수행하는 ParSSR 알고리즘을 소개한다. ParSSR은 기존 OWL 추론기들을 수정하지 않고 그 기능을 그대로 이용한다. 그래서 ParSSR은 시맨틱 웹 환경에 쉽게 적용될 수 있으며 뿐만 아니라 다른 분야에서도 트랜지티브 클로져 문제를 쉽고 효율적으로 해결할 수 있다. 실험 결과는 ParSSR이 온톨로지의 수나 온톨로지가 어떻게 분산되어있는지에 상관없이 효율적임을 보여준다.