Distributed Island-based Query Answering for Expressive Ontologies

Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future The focus of recent work is either on (a) systems which rely on in-memory structures or (b) not so expressive ontology languages, which can be dealt with by using database technologies. In this paper we introduce a method to perform query answering for semi-expressive ontologies without the limit of in-memory structures Our main idea is to compute small and characteristic representations of the assertional part of the input ontology Query answering is then more efficiently performed over a reduced set of these small represenations We show that query answering can be distributed in a network of description logic reasoning systems to scale for reasoning Our initial results are encouraging.

[1]  Diego Calvanese,et al.  DL-Lite: Tractable Description Logics for Ontologies , 2005, AAAI.

[2]  Jeff Heflin,et al.  LUBM: A benchmark for OWL knowledge base systems , 2005, J. Web Semant..

[3]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .

[4]  Edith Schonberg,et al.  Scalable highly expressive reasoner (SHER) , 2009, J. Web Semant..

[5]  Volker Haarslev,et al.  Racer: A Core Inference Engine for the Semantic Web , 2003, EON.

[6]  Approximation and ABox Segmentation , 2008 .

[7]  Abraham Silberschatz,et al.  A framework for the parallel processing of Datalog queries , 1990, SIGMOD '90.

[8]  Ke Wang,et al.  Data Partition and Parallel Evaluation of Datalog Programs , 1995, IEEE Trans. Knowl. Data Eng..

[9]  J. Heflin,et al.  A Scalable Approach for Partitioning OWL Knowledge Bases , 2006 .

[10]  Viktor K. Prasanna,et al.  Parallel Inferencing for OWL Knowledge Bases , 2008, 2008 37th International Conference on Parallel Processing.

[11]  Sanjay Ghemawat,et al.  MapReduce: Simplified Data Processing on Large Clusters , 2004, OSDI.

[12]  Edith Schonberg,et al.  The Summary Abox: Cutting Ontologies Down to Size , 2006, SEMWEB.

[13]  Raphael Volz,et al.  Cooking the Semantic Web with the OWL API , 2003, SEMWEB.

[14]  Ralf Möller,et al.  Scalability of OWL Reasoning: Role condensates , 2007, OTM Workshops.

[15]  Luciano Serafini,et al.  Distributed Description Logics: Assimilating Information from Peer Sources , 2003, J. Data Semant..

[16]  Edith Schonberg,et al.  Efficient reasoning on large SHIN Aboxes in relational databases , 2007 .

[17]  Sebastian Wandelt,et al.  Island Reasoning for ALCHI Ontologies , 2008, FOIS 2008.

[18]  Volker Haarslev,et al.  On the Scalability of Description Logic Instance Retrieval , 2006, KI.

[19]  Volker Haarslev,et al.  Description of the RACER System and its Applications , 2001, Description Logics.

[20]  Frank van Harmelen,et al.  Scalable Distributed Reasoning Using MapReduce , 2009, SEMWEB.