Rewriting the Description Logic ALCHIQ to Disjunctive Existential Rules.

David Carral, Markus Krtzsch

Browse the full IJCAI paper archive.