Introducing Nominals to the Combined Query Answering Approaches for EL

03/29/2013
by   Giorgio Stefanoni, et al.
0

So-called combined approaches answer a conjunctive query over a description logic ontology in three steps: first, they materialise certain consequences of the ontology and the data; second, they evaluate the query over the data; and third, they filter the result of the second phase to eliminate unsound answers. Such approaches were developed for various members of the DL-Lite and the EL families of languages, but none of them can handle ontologies containing nominals. In our work, we bridge this gap and present a combined query answering approach for ELHO---a logic that contains all features of the OWL 2 EL standard apart from transitive roles and complex role inclusions. This extension is nontrivial because nominals require equality reasoning, which introduces complexity into the first and the third step. Our empirical evaluation suggests that our technique is suitable for practical application, and so it provides a practical basis for conjunctive query answering in a large fragment of OWL 2 EL.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/20/2022

Finding Good Proofs for Answers to Conjunctive Queries Mediated by Lightweight Ontologies (Technical Report)

In ontology-mediated query answering, access to incomplete data sources ...
research
12/16/2022

Rewriting the Infinite Chase

Guarded tuple-generating dependencies (GTGDs) are a natural extension of...
research
08/30/2022

Explaining Ontology-Mediated Query Answers using Proofs over Universal Models (Technical Report)

In ontology-mediated query answering, access to incomplete data sources ...
research
07/01/2021

Computing CQ lower-bounds over OWL 2 through approximation to RSA

Conjunctive query (CQ) answering over knowledge bases is an important re...
research
11/29/2013

Top-k Query Answering in Datalog+/- Ontologies under Subjective Reports (Technical Report)

The use of preferences in query answering, both in traditional databases...
research
01/23/2014

Reasoning over Ontologies with Hidden Content: The Import-by-Query Approach

There is currently a growing interest in techniques for hiding parts of ...
research
02/04/2014

Reasoning about Explanations for Negative Query Answers in DL-Lite

In order to meet usability requirements, most logic-based applications p...

Please sign up or login with your details

Forgot password? Click here to reset