Causality in Databases, Database Repairs, and Consistency-Based Diagnosis (extended abstract)

Here we show that the problem is ExpTime -complete and, in fact, deciding whether two OWL 2 QL knowledge bases (each with its own data) give the same answers to any conjunctive query

Upon VIHCO, we present the algorithms of parallel and se- quential processing, and explore the answers through exper- iments both on synthetic and real dataset, and the results

Bertossi, 2015), we can see that there are deeper and mul- tiple connections between the areas of query causality, ab- ductive and consistency-based diagnosis, view updates,

In the context of conjunctive queries over a description logic knowledge base (DL KB), typically constant symbols (usually treated as rigid designa- tors) are used as

Our quantitative and qualitative experiments using datasets from an online C2C marketplace with over one billion items show that this image representation technique with our query

Answering conjunctive queries (CQs) over knowledge bases (KBs) containing dis- junctive existential rules is a relevant reasoning task which can be addressed using the disjunctive

In particular, the approach prescribes to replace some of the attributes of the failing queries with attributes semantically related to them by means of Relaxed Functional

While query answering with Description Logics (DLs) is now well-developed, this is much less the case for reasoning services that support ontology engineering and target query