Ontology Integration Using epsilon-Connections

The standardization of the Web Ontology Language, OWL, leaves (at least) two important issues for Web-based ontologies unsatisfactorily resolved, namely how to represent and reason with multiple distinct, but linked ontologies, and how to enable effective knowledge reuse and sharing on the Semantic Web. In this paper, we present a solution for these problems based on e -Connections. We aim to use e -Connections to provide modelers with suitable means for developing Web ontologies in a modular way and to provide an alternative to the owl:imports construct.

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

[2]  Franz Baader,et al.  From Tableaux to Automata for Description Logics , 2003, Fundam. Informaticae.

[3]  Michel C. A. Klein,et al.  Integrity and Change in Modular Ontologies , 2003, IJCAI.

[4]  Diego Calvanese,et al.  The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5]  Franz Baader.  Description Logics , 2009, Reasoning Web.

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

[7]  James A. Hendler,et al.  The National Cancer Institute's Thésaurus and Ontology , 2003, J. Web Semant..

[8]  Ian Horrocks,et al.  Optimised Reasoning for {$\mathcal SHIQ$} , 2002 .

[9]  Bijan Parsia,et al.  Automatic Partitioning of OWL Ontologies Using E-Connections , 2005, Description Logics.

[10]  Ian Horrocks,et al.  A Tableaux Decision Procedure for SHOIQ , 2005, IJCAI.

[11]  Volker Haarslev,et al.  RACER System Description , 2001, IJCAR.

[12]  Carsten Lutz,et al.  E-connections of abstract description systems , 2004, Artif. Intell..

[13]  Bijan Parsia,et al.  Pellet System Description , 2006, Description Logics.

[14]  Michel C. A. Klein,et al.  Structure-Based Partitioning of Large Concept Hierarchies , 2004, SEMWEB.

[15]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[16]  Ian Horrocks,et al.  Practical Reasoning for Very Expressive Description Logics , 2000, Log. J. IGPL.

[17]  Robert Demolombe,et al.  An Extended Relational Algebra on Abstract Objects for Summarizing Answers to Queries , 2003, Fundam. Informaticae.

[18]  John Mylopoulos,et al.  The Semantic Web - ISWC 2003 , 2003, Lecture Notes in Computer Science.

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

[20]  Bijan Parsia,et al.  Working with Multiple Ontologies on the Semantic Web , 2004, SEMWEB.

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

[22]  Ian Horrocks,et al.  From SHIQ and RDF to OWL: the making of a Web Ontology Language , 2003, J. Web Semant..

[23]  Ian Horrocks,et al.  Using an Expressive Description Logic: FaCT or Fiction? , 1998, KR.

[24]  Ian Horrocks,et al.  Optimised Reasoning for SHIQ , 2002, ECAI.

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

[26]  Jan Hladik,et al.  Tableau Systems for SHIO and SHIQ , 2004, Description Logics.

[27]  Bijan Parsia,et al.  Tableau Algorithms for E-Connections of Description Logics , 2005 .

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

[29]  Ian Horrocks,et al.  Ontology Reasoning in the SHOQ(D) Description Logic , 2001, IJCAI.

[30]  Werner Nutt,et al.  Basic Description Logics , 2003, Description Logic Handbook.

[31]  James A. Hendler,et al.  A Tool for Working with Web Ontologies , 2005, Int. J. Semantic Web Inf. Syst..

[32]  Franz Baader,et al.  Fusions of Description Logics and Abstract Description Systems , 2011, J. Artif. Intell. Res..