Context based querying of dynamic and heterogeneous information sources

The proliferation of freely-accessible data-intensive websites, the growing availability of pervasive and mobile applications, as well as initiatives for open-accessible linked data in the Web, provided the users with potential sources of valuable information. These data also represent new business opportunities for industries, while their processing and management is a rich research field for academics. In addition, pervasiveness and mobility make information available everywhere and at any time; therefore, user-centred, dynamic and on-the-fly integration of heterogeneous becomes extremely useful in practical situations such as mobile data management, in particular with devices as tablets, pads and smartphones. We present a methodology and a set of technologies for ontology-driven, context-aware data-integration systems capable of seamlessly handling heterogeneous and dynamic data sources in a dynamic environment where the possibly mobile, transient and evolving data sources are not known in advance. In such Nomadic Data-Integration Systems (N-DIS), query answering is driven by an ontology and the context is used to formally represent the situations in which the users or the applications need to operate. In our work, we re-think query-answering techniques coming from description logics and database theory, and we apply them to an evolving scenario, composed by heterogeneous data sources with the additional constraint of the context-based personalisation of queries and, as a consequence, of their answers. The concept of N-DIS and the corresponding design methodology has been applied to various application fields such as decision support for medical-emergency situations, Semantic-Web meta-data management, Semantic Search and pervasive advertisement, with promising results.

[1]  Satya S. Sahoo,et al.  A Survey of Current Approaches for Mapping of Relational Databases to RDF , 2009 .

[2]  James A. Hendler,et al.  Debugging unsatisfiable classes in OWL ontologies , 2005, J. Web Semant..

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

[4]  Yun Peng,et al.  BayesOWL: Uncertainty Modeling in Semantic Web Ontologies , 2006 .

[5]  Manfred Jaeger,et al.  Probabilistic Reasoning in Terminological Logics , 1994, KR.

[6]  Alon Y. Halevy,et al.  Combining Horn Rules and Description Logics in CARIN , 1998, Artif. Intell..

[7]  Giorgio Orsi,et al.  Ontological queries: Rewriting and optimization , 2011, 2011 IEEE 27th International Conference on Data Engineering.

[8]  Maurizio Lenzerini,et al.  Data integration: a theoretical perspective , 2002, PODS.

[9]  H. Sofia Pinto,et al.  Some Issues on Ontology Integration , 1999, IJCAI 1999.

[10]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[11]  Shane S. Sturrock,et al.  Time Warps, String Edits, and Macromolecules – The Theory and Practice of Sequence Comparison . David Sankoff and Joseph Kruskal. ISBN 1-57586-217-4. Price £13.95 (US$22·95). , 2000 .

[12]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[13]  Huajun Chen,et al.  RDF/RDFS-based Relational Database Integration , 2006, 22nd International Conference on Data Engineering (ICDE'06).

[14]  Thomas Lukasiewicz,et al.  Expressive probabilistic description logics , 2008, Artif. Intell..

[15]  Andrea Calì,et al.  On the decidability and complexity of query answering over inconsistent and incomplete databases , 2003, PODS.

[16]  Jos de Bruijn,et al.  D4.2.1 State-of-the-art survey on Ontology Merging and Aligning V1 , 2004 .

[17]  Peter F. Patel-Schneider,et al.  A comparison of two modelling paradigms in the Semantic Web , 2007, J. Web Semant..

[18]  George A. Miller,et al.  WordNet: A Lexical Database for English , 1995, HLT.

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

[20]  Moshe Y. Vardi,et al.  The Implication Problem for Functional and Inclusion Dependencies is Undecidable , 1985, SIAM J. Comput..

[21]  Jorge Cardoso,et al.  Mapping XML to existing OWL ontologies , 2006 .

[22]  Harry Chen,et al.  An Intelligent Broker for Context-Aware Systems , 2003 .

[23]  Steffen Staab,et al.  Learning by googling , 2004, SKDD.

[24]  Fausto Giunchiglia,et al.  Semantic Matching: Algorithms and Implementation , 2007, J. Data Semant..

[25]  Carlo Curino,et al.  And what can context do for data? , 2009, Commun. ACM.

[26]  Yisheng Dong,et al.  Formal Approach and Automated Tool for Translating ER Schemata into OWL Ontologies , 2004, PAKDD.

[27]  Nicolas Spyratos,et al.  A theory of contexts in information bases , 2002, Inf. Syst..

[28]  Giorgio Orsi,et al.  Context Modelling and Context-Aware Querying - (Can Datalog Be of Help?) , 2010, Datalog.

[29]  Carlo Curino,et al.  X-SOM Results for OAEI 2007 , 2007, OM.

[30]  Giorgio Orsi,et al.  Preserving Semantics in Automatically Created Ontology Alignments , 2009, Semantic Web Information Management.

[31]  Andrea Calì,et al.  Tractable Query Answering over Conceptual Schemata , 2009, ER.

[32]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[33]  Carsten Lutz,et al.  Conjunctive Query Answering in the Description Logic EL Using a Relational Database System , 2009, IJCAI.

[34]  Eugene Inseok Chong,et al.  An Efficient SQL-based RDF Querying Scheme , 2005, VLDB.

[35]  Y. Roussos,et al.  Towards a Context-Aware Relational Model , 2005 .

[36]  Anuj R. Jaiswal,et al.  OMEN: A Probabilistic Ontology Mapping Tool , 2005, SEMWEB.

[37]  Grigoris Antoniou,et al.  On Applying the AGM Theory to DLs and OWL , 2005, SEMWEB.

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

[39]  Avigdor Gal,et al.  Putting Things in Context : A Topological Approach to Mapping Contexts and Ontologies , 2005 .

[40]  Nikolaos M. Avouris,et al.  Context-based design of mobile applications for museums: a survey of existing practices , 2005, Mobile HCI.

[41]  Riccardo Rosati,et al.  Improving Query Answering over DL-Lite Ontologies , 2010, KR.

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

[43]  Eric van der Vlist,et al.  XML Schema , 2002 .

[44]  Anand S. Rao,et al.  BDI Agents: From Theory to Practice , 1995, ICMAS.

[45]  Frank van Harmelen,et al.  Web Ontology Language , 2004 .

[46]  P. Wang,et al.  Debugging Ontology Mappings: A Static Approach , 2008, Comput. Informatics.

[47]  Manasawee Kaenampornpan,et al.  An integrated context model: bringing activity to context , 2004 .

[48]  Valérie Issarny,et al.  Efficient Context-aware Service Discovery in Multi-Protocol Pervasive Environments , 2006, 7th International Conference on Mobile Data Management (MDM'06).

[49]  Georg Gottlob,et al.  Query Answering in the Description Logic Horn- , 2008, JELIA.

[50]  Carlo Curino,et al.  X-SOM: A Flexible Ontology Mapper , 2007 .

[51]  P. Haase An Analysis of Approaches to Resolving Inconsistencies in DL-based Ontologies , 2007 .

[52]  Boris Motik,et al.  Tractable query answering and rewriting under description logic constraints , 2010, J. Appl. Log..

[53]  Luciano Serafini,et al.  Reconciling Concepts and Relations in Heterogeneous Ontologies , 2006, SWAP.

[54]  Claudia Linnhoff-Popien,et al.  A Context Modeling Survey , 2004 .

[55]  Andrea Calì,et al.  Query Rewriting under Non-Guarded Rules , 2010, AMW.

[56]  Frank van Harmelen,et al.  Ranking Agent Statements for Building Evolving Ontologies , 2002, AAAI 2002.

[57]  E. Prud hommeaux,et al.  SPARQL query language for RDF , 2011 .

[58]  Tiziana Catarci,et al.  Trusting Data Quality in Cooperative Information Systems , 2002, OTM.

[59]  Aris M. Ouksel,et al.  In-context peer-to-peer information filtering on the Web , 2003, SGMD.

[60]  G. Gottlob,et al.  Query Answering in the Description Logic Horn-SHIQ ⋆ , 2008 .

[61]  Alon Y. Halevy,et al.  P-CLASSIC: A Tractable Probablistic Description Logic , 1997, AAAI/IAAI.

[62]  Alin Deutsch,et al.  The chase revisited , 2008, PODS.

[63]  Edith Schonberg,et al.  Scalable Grounded Conjunctive Query Evaluation over Large and Expressive Knowledge Bases , 2008, SEMWEB.

[64]  David S. Johnson,et al.  Testing containment of conjunctive queries under functional and inclusion dependencies , 1982, J. Comput. Syst. Sci..

[65]  P. Sreenivasa Kumar,et al.  ERONTO: a tool for extracting ontologies from extended E/R diagrams , 2005, SAC '05.

[66]  Letizia Tanca Context-Based Data Tailoring for Mobile Users , 2007, BTW Workshops.

[67]  Silvana Castano,et al.  Matching Ontologies in Open Networked Systems: Techniques and Applications , 2006, J. Data Semant..

[68]  Deborah L. McGuinness,et al.  The Chimaera Ontology Environment , 2000, AAAI/IAAI.

[69]  C. Maria Keet,et al.  Enhancing Web Portals with Ontology-Based Data Access: The Case Study of South Africa's Accessibility Portal for People with Disabilities , 2008, OWLED.

[70]  Carlo Curino,et al.  Information Systems Integration and Evolution: Ontologies at Rescue , 2008 .

[71]  Mark A. Musen,et al.  Anchor-PROMPT: Using Non-Local Context for Semantic Matching , 2001, OIS@IJCAI.

[72]  John Grant,et al.  Normalization and Axiomatization for Numerical Dependencies , 1985, Inf. Control..

[73]  Carlo Curino,et al.  A data-oriented survey of context models , 2007, SGMD.

[74]  David Maier,et al.  Testing implications of data dependencies , 1979, SIGMOD '79.

[75]  Pedro M. Domingos,et al.  Ontology Matching: A Machine Learning Approach , 2004, Handbook on Ontologies.

[76]  Andrea Calì,et al.  A Framework for Representing Ontology Mappings under Probabilities and Inconsistency , 2007, URSW.

[77]  Oscar Corcho,et al.  Active Ontology: An Information Integration Approach for Dynamic Information Sources , 2007, Grid 2007.

[78]  Umberto Straccia,et al.  oMAP: Combining Classifiers for Aligning Automatically OWL Ontologies , 2005, WISE.

[79]  John Mylopoulos,et al.  Discovering the Semantics of Relational Tables Through Mappings , 2006, J. Data Semant..

[80]  Heiner Stuckenschmidt,et al.  Repairing Ontology Mappings , 2007, AAAI.

[81]  Ernesto Damiani,et al.  Adding a Trust Layer to Semantic Web Metadata , 2006, Soft Computing in Web Information Retrieva.

[82]  J. Euzenat,et al.  Ontology Matching , 2007, Springer Berlin Heidelberg.

[83]  Giorgio Orsi X−SOM: Ontology Mapping and Inconsistency Resolution , 2007 .

[84]  York Sure-Vetter,et al.  Ontology Mapping - An Integrated Approach , 2004, ESWS.

[85]  Martin T. Hagan,et al.  Neural network design , 1995 .

[86]  Troy Lee,et al.  Arithmetical definability over finite structures , 2003, Math. Log. Q..

[87]  Tao Gu,et al.  A service-oriented middleware for building context-aware services , 2005, J. Netw. Comput. Appl..

[88]  Andrea Calì,et al.  Query Answering under Non-guarded Rules in Datalog+/- , 2010, RR.

[89]  Alon Y. Halevy,et al.  Answering queries using views: A survey , 2001, The VLDB Journal.

[90]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[91]  Stefan Schlobach,et al.  Non-Standard Reasoning Services for the Debugging of Description Logic Terminologies , 2003, IJCAI.

[92]  Erhard Rahm,et al.  Generic Schema Matching with Cupid , 2001, VLDB.

[93]  Volker Haarslev,et al.  A Generic Framework for Description Logics with Uncertainty , 2005, ISWC-URSW.

[94]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[95]  Yannis Kalfoglou,et al.  Centre for Intelligent Systems and Their Applications , 2006 .

[96]  Christian Zirpins,et al.  Lifting XML Schema to OWL , 2004, ICWE.

[97]  Boris Motik,et al.  Query Answering for OWL-DL with Rules , 2004, International Semantic Web Conference.

[98]  Jennifer Widom,et al.  The TSIMMIS Project: Integration of Heterogeneous Information Sources , 1994, IPSJ.

[99]  Pedro M. Domingos,et al.  Representing and reasoning about mappings between domain models , 2002, AAAI/IAAI.

[100]  Koen De Bosschere,et al.  Towards an Extensible Context Ontology for Ambient Intelligence , 2004, EUSAI.

[101]  Boris Motik,et al.  Efficient Query Answering for OWL 2 , 2009, SEMWEB.

[102]  Silvana Castano,et al.  Mapping Validation by Probabilistic Reasoning , 2008, ESWC.

[103]  Per-Åke Larson,et al.  Solving Local Cost Estimation Problem for Global Query Optimization in Multidatabase Systems , 1998, Distributed and Parallel Databases.

[104]  Joseph Y. Halpern Reasoning about uncertainty , 2003 .

[105]  Tim Berners-Lee,et al.  Linked Data - The Story So Far , 2009, Int. J. Semantic Web Inf. Syst..

[106]  Tharam S. Dillon,et al.  Building a Fuzzy Trust Network in Unsupervised Multi-agent Environments , 2005, OTM Workshops.

[107]  Matthias Baldauf,et al.  A survey on context-aware systems , 2007, Int. J. Ad Hoc Ubiquitous Comput..

[108]  Stefan Conrad,et al.  Relational.OWL - A Data and Schema Representation Format Based on OWL , 2005, APCCM.

[109]  Enrico Franconi Conceptual Schemas and Ontologies for Database Access: Myths and Challenges , 2007, ER.

[110]  C.O.S. Sorzano,et al.  AMON: A Software System for Automatic Generation of Ontology Mappings , 2005, 2005 portuguese conference on artificial intelligence.

[111]  Barbara Liskov,et al.  Program Development in Java - Abstraction, Specification, and Object-Oriented Design , 1986 .

[112]  Serge Abiteboul,et al.  Complexity of answering queries using materialized views , 1998, PODS.

[113]  Carlo Batini,et al.  Data Quality: Concepts, Methodologies and Techniques , 2006, Data-Centric Systems and Applications.

[114]  Sebastian Rudolph,et al.  ELP: Tractable Rules for OWL 2 , 2008, SEMWEB.

[115]  Alon Y. Levy The Information Manifold Approach to Data Integration , 2007 .

[116]  Diego Calvanese,et al.  Data Complexity of Query Answering in Description Logics , 2006, Description Logics.

[117]  Vassilis Christophides,et al.  The ICS-FORTH RDFSuite: Managing Voluminous RDF Description Bases , 2001, SemWeb.

[118]  Carlo Curino,et al.  Context information for knowledge reshaping , 2009, Int. J. Web Eng. Technol..

[119]  Jochen Heinsohn,et al.  Probabilistic Description Logics , 1994, UAI.

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

[121]  Letizia Tanca,et al.  What you Always Wanted to Know About Datalog (And Never Dared to Ask) , 1989, IEEE Trans. Knowl. Data Eng..

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

[123]  Fausto Giunchiglia,et al.  S-Match: an Algorithm and an Implementation of Semantic Matching , 2004, ESWS.

[124]  Carlo Curino,et al.  Accessing and Documenting Relational Databases through OWL Ontologies , 2009, FQAS.

[125]  Diego Calvanese,et al.  MASTRO-I: Efficient Integration of Relational Data through DL Ontologies , 2007, Description Logics.

[126]  Fausto Giunchiglia,et al.  Computing Minimal Mappings , 2009, OM.

[127]  Dan Suciu,et al.  The Piazza peer data management system , 2004, IEEE Transactions on Knowledge and Data Engineering.

[128]  Carlo Curino,et al.  CADD: A Tool for Context Modeling and Data Tailoring , 2007, 2007 International Conference on Mobile Data Management.

[129]  Carlo Curino,et al.  Context Integration for Mobile Data Tailoring , 2006, 7th International Conference on Mobile Data Management (MDM'06).

[130]  Marcelo Arenas,et al.  Semantics and Complexity of SPARQL , 2006, International Semantic Web Conference.

[131]  Erhard Rahm,et al.  Schema and ontology matching with COMA++ , 2005, SIGMOD '05.

[132]  Pradeep Ravikumar,et al.  A Comparison of String Distance Metrics for Name-Matching Tasks , 2003, IIWeb.

[133]  Yimin Wang,et al.  A decentralized infrastructure for query answering over distributed ontologies , 2007, SAC '07.

[134]  Steffen Staab,et al.  QOM - Quick Ontology Mapping , 2004, GI Jahrestagung.

[135]  C. Strapparava,et al.  Modeling Context Is Like Taking Pictures , 2000 .

[136]  Sven Buchholz,et al.  Comprehensive structured context profiles (CSCP): design and experiences , 2004, IEEE Annual Conference on Pervasive Computing and Communications Workshops, 2004. Proceedings of the Second.

[137]  Christian Bizer,et al.  D2R Server - Publishing Relational Databases on the Semantic Web , 2004 .

[138]  Jeremy J. Carroll,et al.  Resource description framework (rdf) concepts and abstract syntax , 2003 .

[139]  Trevor J. M. Bench-Capon,et al.  An Analysis of Ontology Mismatches; Heterogeneity versus Interoperability , 2007 .

[140]  John Mylopoulos,et al.  Semantics, Features, and Applications of the Viewpoint Abstraction , 1996, CAiSE.

[141]  Thomas R. Gruber,et al.  A translation approach to portable ontology specifications , 1993, Knowl. Acquis..

[142]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[143]  Georg Gottlob,et al.  Removing Redundancy from a Clause , 1993, Artif. Intell..

[144]  Renata Wassermann An Algorithm for Belief Revision , 2000, KR.

[145]  Heekuck Oh,et al.  Neural Networks for Pattern Recognition , 1993, Adv. Comput..

[146]  Michel Klein,et al.  Combining and relating ontologies: an analysis of problems and solutions , 2001, OIS@IJCAI.

[147]  Moshe Y. Vardi The complexity of relational query languages (Extended Abstract) , 1982, STOC '82.