A Survey of Formalisms for Modular Ontologies

In this paper, we investigate state-of-the-art technologies in the area of modular ontologies and corresponding logical formalisms. We compare the strengths and weaknesses of different formalisms for modular ontologies in their ability to support networked, dynamic and distributed ontologies, as well as the reasoning capability over these ontologies. The comparison result shows limitations of existing formalisms to fully address the need of modular ontologies in the given setting, and possible future extensions to overcome those limitations.

[1]  Ian Horrocks,et al.  Optimizing Description Logic Subsumption , 1999, J. Log. Comput..

[2]  Ian Horrocks,et al.  A Conjunctive Query Language for Description Logic Aboxes , 2000, AAAI/IAAI.

[3]  Alexander Borgida,et al.  Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources , 2002, OTM.

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

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

[6]  Carsten Lutz,et al.  E-connections of Description Logics , 2003, Description Logics.

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

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

[9]  Ian Horrocks,et al.  Efficient Reasoning with Range and Domain Constraints , 2004, Description Logics.

[10]  Heiner Stuckenschmidt,et al.  A Formal Investigation of Mapping Language for Terminological Knowledge , 2005, IJCAI.

[11]  Heiner Stuckenschmidt,et al.  Reasoning about Ontology Mappings , 2005 .

[12]  Bernardo Cuenca Grau,et al.  Combination and Integration of Ontologies on the Semantic Web , 2005 .

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

[14]  Luciano Serafini,et al.  DRAGO: Distributed Reasoning Architecture for the Semantic Web , 2005, ESWC.

[15]  Bijan Parsia,et al.  Generalized Link Properties for Expressive epsilon-Connections of Description Logics , 2005, AAAI.

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

[17]  Alan L. Rector,et al.  Web ontology segmentation: analysis, classification and use , 2006, WWW '06.

[18]  Vasant Honavar,et al.  Modular Ontologies - A Formal Investigation of Semantics and Expressivity , 2006, ASWC.

[19]  Vasant Honavar,et al.  Towards Collaborative Environments for Ontology Construction and Sharing , 2006, International Symposium on Collaborative Technologies and Systems (CTS'06).

[20]  Boris Motik,et al.  A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes , 2006, LPAR.

[21]  Vasant Honavar,et al.  A Distributed Tableau Algorithm for Package-based Description Logics , 2006 .

[22]  Vasant Honavar,et al.  On the Semantics of Linking and Importing in Modular Ontologies , 2006, SEMWEB.

[23]  Carlo Allocca,et al.  KANNEL : a framework for detecting and managing semantic relations between ontologies , 2009 .