Ontology-Enriched Query Answering on Relational Databases

We develop a flexible, open-source framework for query answering on relational databases by adopting methods and techniques from the Semantic Web community and the data exchange community, and we apply this framework to a medical use case. We first deploy module-extraction techniques to derive a concise and relevant sub-ontology from an external reference ontology. We then use the chase procedure from the data exchange community to materialize a universal solution that can be subsequently used to answer queries on an enterprise medical database. Along the way, we identify a new class of well-behaved acyclic EL-ontologies extended with role hierarchies, suitably restricted functional roles, and domain/range restrictions, which cover our use case. We show that such ontologies are C-stratified, which implies that the chase procedure terminates in polynomial time. We provide a detailed overview of our real-life application in the medical domain and demonstrate the benefits of this approach, such as discovering additional answers and formulating new queries.

[1]  Bijan Parsia,et al.  Modular Structures and Atomic Decomposition in Ontologies , 2020, J. Artif. Intell. Res..

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

[3]  Abdul Quamar,et al.  An Ontology-Based Conversation System for Knowledge Bases , 2020, SIGMOD Conference.

[4]  Vasilis Efthymiou,et al.  Matching Web Tables with Knowledge Base Entities: From Entity Lookups to Entity Embeddings , 2017, SEMWEB.

[5]  Bruno Marnette,et al.  Generalized schema-mappings: from termination to tractability , 2009, PODS.

[6]  Yongsheng Gao,et al.  Ontology Extraction for Large Ontologies via Modularity and Forgetting , 2019, K-CAP.

[7]  Boris Motik,et al.  Benchmarking the Chase , 2017, PODS.

[8]  Michael Zakharyaschev,et al.  Ontology-Based Data Access: Ontop of Databases , 2013, SEMWEB.

[9]  Boris Konev,et al.  Model-theoretic inseparability and modularity of description logic ontologies , 2013, Artif. Intell..

[10]  Ronald Fagin,et al.  Data exchange: semantics and query answering , 2003, Theor. Comput. Sci..

[11]  Ian Horrocks,et al.  Optique: Ontology-Based Data Access Platform , 2015, SEMWEB.

[12]  Ian Horrocks,et al.  Extracting Modules from Ontologies: A Logic-based Approach , 2009, OWLED.

[13]  Bijan Parsia,et al.  OWL Reasoning: Subsumption Test Hardness and Modularity , 2017, Journal of Automated Reasoning.

[14]  Carsten Lutz,et al.  The Combined Approach to Ontology-Based Data Access , 2011, IJCAI.

[15]  Diego Calvanese,et al.  Ontop: Answering SPARQL queries over relational databases , 2016, Semantic Web.

[16]  Diego Calvanese,et al.  The MASTRO system for ontology-based data access , 2011, Semantic Web.

[17]  Boris Konev,et al.  The Logical Difference for the Lightweight Description Logic EL , 2012, J. Artif. Intell. Res..

[18]  Peter J. Stuckey,et al.  Machine Learning and Constraint Programming for Relational-To-Ontology Schema Mapping , 2018, IJCAI.

[19]  Maurizio Lenzerini,et al.  Using Ontologies for Semantic Data Integration , 2018, A Comprehensive Guide Through the Italian Database Research.

[20]  Boris Motik,et al.  Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies , 2013, J. Artif. Intell. Res..

[21]  Abdul Quamar,et al.  Ontology-Based Natural Language Query Interfaces for Data Exploration , 2018, IEEE Data Eng. Bull..

[22]  B. Motik,et al.  RDFox: A Highly-Scalable RDF Store , 2015, SEMWEB.

[23]  Bernardo Cuenca Grau,et al.  LogMap: Logic-Based and Scalable Ontology Matching , 2011, SEMWEB.

[24]  Ian Horrocks,et al.  An Introduction to Description Logic , 2017 .

[25]  Georg Lausen,et al.  On Chase Termination Beyond Stratification , 2009, Proc. VLDB Endow..

[26]  Diego Calvanese,et al.  Ontology-Based Data Access: A Survey , 2018, IJCAI.

[27]  Kristina Lerman,et al.  Semi-automatically Mapping Structured Sources into the Semantic Web , 2012, ESWC.

[28]  Yuan Ni,et al.  A Practical Approach for Scalable Conjunctive Query Answering on Acyclic EL + Knowledge Base , 2009 .

[29]  Carsten Lutz,et al.  Horn-Rewritability vs PTime Query Evaluation in Ontology-Mediated Querying , 2018, IJCAI.

[30]  Meghyn Bienvenu,et al.  Ontology-Mediated Query Answering: Harnessing Knowledge to Get More from Data , 2016, IJCAI.

[31]  Arild Waaler,et al.  Ontology-Based Data Access to Slegge , 2017, International Semantic Web Conference.

[32]  Ian Horrocks,et al.  Modular Reuse of Ontologies: Theory and Practice , 2008, J. Artif. Intell. Res..