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...

Fuld beskrivelse

Bibliografiske detaljer
Main Authors: Gutiérrez-Basulto, V, Ibáñez-García, Y, Kontchakov, R, Kostylev, E
Format: Journal article
Udgivet: Elsevier 2015