Modular Knowledge Representation and Reasoning in the Semantic Web

Construction of modular ontologies by combining different modules is becoming a necessity in ontology engineering in order to cope with the increasing complexity of the ontologies and the domains they represent. The modular ontology approach takes inspiration from software engineering, where modularization is a widely acknowledged feature. Distributed reasoning is the other side of the coin of modular ontologies: given an ontology comprising of a set of modules, it is desired to perform reasoning by combination of multiple reasoning processes performed locally on each of the modules. In the last ten years, a number of approaches for combining logics has been developed in order to formalize modular ontologies. In this chapter, we survey and compare the main formalisms for modular ontologies and distributed reasoning in the Semantic Web. We select four formalisms build on formal logical grounds of Description Logics: Distributed Description Logics, ℰ-connections, Package-based Description Logics and Integrated Distributed Description Logics. We concentrate on expressivity and distinctive modeling features of each framework. We also discuss reasoning capabilities of each framework.

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

[2]  Bernardo Cuenca Grau,et al.  Modular Ontology Languages Revisited , 2007 .

[3]  Stephan Tobies,et al.  Complexity results and practical algorithms for logics in knowledge representation , 2001, ArXiv.

[4]  Sergio Tessaris,et al.  On Relating Heterogeneous Elements from Different Ontologies , 2007, Description Logics.

[5]  Jeff Z. Pan,et al.  Semantic Import: An Approach for Partial Ontology Reuse , 2006, WoMO.

[6]  Antoine Zimmermann,et al.  Reasoning with a Network of Aligned Ontologies , 2008, RR.

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

[8]  Frank Wolter,et al.  Connecting Abstract Description Systems , 2002 .

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

[10]  Bijan Parsia,et al.  Generalized link properties for expressive ε-connections of description logics , 2005, AAAI 2005.

[11]  Franz Baader,et al.  Number Restrictions on Complex Roles in Description Logics: A Preliminary Report , 1996, KR.

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

[13]  Alexander Borgida,et al.  Aspects of Distributed and Modular Ontology Reasoning , 2005, IJCAI.

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

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

[16]  Diego Calvanese,et al.  Logical foundations of peer-to-peer data integration , 2004, PODS '04.

[17]  Jeffrey D. Ullman,et al.  Information integration using logical views , 1997, Theor. Comput. Sci..

[18]  Yimin Wang,et al.  Evaluating Formalisms for Modular Ontologies in Distributed Information Systems , 2007, RR.

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

[20]  Carsten Lutz,et al.  Did I Damage My Ontology? A Case for Conservative Extensions in Description Logics , 2006, KR.

[21]  Vasant Honavar,et al.  Package-Based Description Logics , 2009, Modular Ontologies.

[22]  Martin Homola,et al.  Distributed Description Logics Revisited , 2007, Description Logics.

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

[24]  Vasant Honavar,et al.  A Tableau-Based Federated Reasoning Algorithm for Modular Ontologies , 2006, 2006 IEEE/WIC/ACM International Conference on Web Intelligence (WI 2006 Main Conference Proceedings)(WI'06).

[25]  Carsten Lutz,et al.  Conservative Extensions in Expressive Description Logics , 2007, IJCAI.

[26]  Bijan Parsia,et al.  Combining OWL ontologies using epsilon-Connections , 2006, J. Web Semant..

[27]  Ian Horrocks,et al.  A Logical Framework for Modularity of Ontologies , 2007, IJCAI.

[28]  Ian Horrocks,et al.  Will my Ontologies Fit Together? , 2006, Description Logics.

[29]  Sergio Tessaris,et al.  Complexity of Reasoning With Expressive Ontology Mappings , 2008, FOIS.

[30]  Antoine Zimmermann,et al.  Integrated Distributed Description Logics , 2007, Description Logics.

[31]  Luciano Serafini,et al.  Distributed Instance Retrieval in Heterogeneous Ontologies , 2005, SWAP.

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