From classical to consistent query answering under existential rules

Querying inconsistent ontologies is an intriguing new problem that gave rise to a flourishing research activity in the description logic (DL) community. The computational complexity of consistent query answering under the main DLs is rather well understood; however, little is known about existential...

Full description

Bibliographic Details
Main Authors: Lukasiewicz, T, Martinez, MV, Pieris, A, Simari, GI
Format: Conference item
Language:english
Published: CEUR Workshop Proceedings 2015