Applying Reasoning to Instance Transformation

Significant effort has been invested by the Semantic Web community in methodologies and tools for creating ontology mappings. Various techniques for mapping creation have been developed; however less interest has been shown in the actual usage of the created mappings and their application in concrete mediation scenarios. In this paper we show how mappings can be converted to logical rules and evaluated by a Datalog reasoner in order to produced the desired mediation result. The mediation scenario discussed in this work is instance transformation: data expressed as ontology instances is transformed from the terms of one ontology in to the terms of another ontology based on mappings created in a design-time phase. We analyze the required reasoning task and describe how the mappings created at design-time can be grounded at runtime. We also explore strategies and techniques that we employed in order to improve the efficiency of the overall process.

[1]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[2]  Jos de Bruijn,et al.  Web Service Modeling Ontology , 2005, Appl. Ontology.

[3]  Dieter Fensel,et al.  The Web Service Modeling Toolkit - An Integrated Development Environment for Semantic Web Services , 2007, ESWC.

[4]  Steffen Staab,et al.  Bootstrapping Ontology Alignment Methods with APFEL , 2005, International Semantic Web Conference.

[5]  Adrian Mocan,et al.  An Ontology-Based Data Mediation Framework for Semantic Environments , 2007, Int. J. Semantic Web Inf. Syst..

[6]  Nuno Silva,et al.  Semantic Web complex ontology mapping , 2003, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003).

[7]  Jos de Bruijn,et al.  The Web Service Modeling Language WSML: An Overview , 2006, ESWC.

[8]  Mark A. Musen,et al.  The PROMPT suite: interactive tools for ontology merging and mapping , 2003, Int. J. Hum. Comput. Stud..

[9]  Adrian Mocan,et al.  Filling the Gap - Extending Service Oriented Architectures with Semantics , 2006, 2006 IEEE International Conference on e-Business Engineering (ICEBE'06).

[10]  Jeffrey D. Ullman,et al.  MedMaker: a mediation system based on declarative specifications , 1996, Proceedings of the Twelfth International Conference on Data Engineering.

[11]  Jennifer Widom,et al.  The TSIMMIS Approach to Mediation: Data Models and Languages , 1997, Journal of Intelligent Information Systems.

[12]  Serge Abiteboul,et al.  Correspondence and Translation for Heterogeneous Data , 1997, ICDT.

[13]  Michael Kifer,et al.  Logical foundations of object-oriented and frame-based languages , 1995, JACM.