Queries with negation and inequalities over lightweight ontologies
While the problem of answering positive existential queries, in particular, conjunctive queries (CQs) and unions of CQs, over description logic ontologies has been studied extensively, there have been few attempts to analyse queries with negated atoms. Our aim is to sharpen the complexity landscape...
Main Authors: | , , , |
---|---|
Format: | Journal article |
Published: |
Elsevier
2015
|