Towards ABox Modularization of semi-expressive Description Logics

In the last years, the vision of the Semantic Web fostered the interest in reasoning over large and very large sets of assertional statements in knowledge bases. Traditional tableau-based reasoning systems perform bad answering queries over large data sets, because these reasoning systems are based on efficient use of main memory data structures. Increasing expressivity and worst-case complexity further tighten the memory burden. The purpose of our work is to investigate how to release the main memory burden from tableau-based reasoning systems and perform efficient instance checking over SHI-knowledge bases. The key idea is to reduce instance checking for an individual in a knowledge base to smaller subsets of relevant axioms. Modularization techniques are introduced and further refined in order to increase the granularity of modules. For evaluation purposes, experiments on benchmark and real world knowledge bases are carried out. The principal conclusion is that the main memory burden for instance checking can be released from tableau-based reasoning systems for semi-expressive Description Logics, by using modularization techniques.

[1]  Franz Baader,et al.  An Overview of Tableau Algorithms for Description Logics , 2001, Stud Logica.

[2]  Boris Konev,et al.  Decomposing Description Logic Ontologies , 2010, KR.

[3]  Michael Wessel,et al.  A Probabilistic Abduction Engine for Media Interpretation based on Ontologies , 2010, UniDL.

[4]  Ian Horrocks,et al.  A Description Logic with Transitive and Inverse Roles and Role Hierarchies , 1999, J. Log. Comput..

[5]  Edith Schonberg,et al.  Scalable Semantic Retrieval through Summarization and Refinement , 2007, AAAI.

[6]  Sebastian Ryszard Kruk,et al.  Evaluation of Semantic and Social Technologies for Digital Libraries , 2008, ECDL.

[7]  Yarden Katz,et al.  Pellet: A practical OWL-DL reasoner , 2007, J. Web Semant..

[8]  Ian Horrocks,et al.  Description Logics as Ontology Languages for the Semantic Web , 2005, Mechanizing Mathematical Reasoning.

[9]  Ian Horrocks,et al.  How Incomplete Is Your Semantic Web Reasoner? , 2010, AAAI.

[10]  Christoph Tempich,et al.  Towards a benchmark for Semantic Web reasoners - an analysis of the DAML ontology library , 2003, EON.

[11]  Sebastian Rudolph,et al.  Approximate OWL-Reasoning with Screech , 2008, RR.

[12]  Ulrich Furbach,et al.  Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings , 2006 .

[13]  Thanh Tran.  Structure Index for RDF Data , 2010 .

[14]  Edward A. Fox,et al.  Towards a digital library theory: a formal digital library ontology , 2008, International Journal on Digital Libraries.

[15]  Boris Motik,et al.  KAON2 - Scalable Reasoning over Ontologies with Large Data Sets , 2008, ERCIM News.

[16]  Wang Ru,et al.  Multimedia content description interface——MPEG-7 , 2003 .

[17]  Sebastian Rudolph,et al.  Conjunctive Query Entailment: Decidable in Spite of O, I, and Q , 2009, Description Logics.

[18]  David Maier,et al.  Computing with Logic: Logic Programming with Prolog , 1988 .

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

[20]  Frank van Harmelen,et al.  Using Semantic Distances for Reasoning with Inconsistent Ontologies , 2008, International Semantic Web Conference.

[21]  Larry Wos,et al.  What Is Automated Reasoning? , 1987, J. Autom. Reason..

[22]  Thomas Eiter,et al.  Conjunctive query answering in the description logic SH using knots , 2012, J. Comput. Syst. Sci..

[23]  Diego Calvanese,et al.  The DL-Lite Family and Relations , 2009, J. Artif. Intell. Res..

[24]  Marvin Minsky,et al.  A framework for representing knowledge , 1974 .

[25]  Carsten Lutz,et al.  Deciding inseparability and conservative extensions in the description logic EL , 2010, J. Symb. Comput..

[26]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[27]  Peter F. Patel-Schneider,et al.  OWL 2 Web Ontology Language Primer (Second Edition) , 2012 .

[28]  Jeff Z. Pan,et al.  Soundness Preserving Approximation for TBox Reasoning , 2010, AAAI.

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

[30]  Franz Baader,et al.  Logic-Based Knowledge Representation , 1999, Artificial Intelligence Today.

[31]  Georgios Paliouras,et al.  KDTA: Automated Knowledge-Driven Text Annotation , 2010, ECML/PKDD.

[32]  Michael Schroeder,et al.  GoPubMed: exploring PubMed with the Gene Ontology , 2005, Nucleic Acids Res..

[33]  Bijan Parsia,et al.  Modularity and Web Ontologies , 2006, KR.

[34]  Volker Haarslev,et al.  Querying the Semantic Web with Racer + nRQL , 2004 .

[35]  H. R. Quillian.  In semantic information processing , 1968 .

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

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

[38]  Jeff Z. Pan,et al.  Completeness Guaranteed Approximations for OWL-DL Query Answering , 2009, Description Logics.

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

[40]  Frank van Harmelen,et al.  Reasoning with Inconsistent Ontologies , 2005, IJCAI.

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

[42]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[43]  H. Chertkow,et al.  Semantic memory , 2002, Current neurology and neuroscience reports.

[44]  Peter Lonsdale,et al.  Synergistic Annotation of Multimedia Content , 2010, 2010 Third International Conference on Advances in Computer-Human Interactions.

[45]  Jack Park,et al.  Charting the Topic Maps Research and Applications Landscape , 2005, Lecture Notes in Computer Science.

[46]  Franz Baader,et al.  Pushing the EL Envelope Further , 2008, OWLED.

[47]  Nicolette de Keizer,et al.  Forty years of SNOMED: a literature review , 2008, BMC Medical Informatics Decis. Mak..

[48]  Ian Horrocks,et al.  Unions of Conjunctive Queries in SHOQ , 2008, KR.