Ontology-Based Query Answering over Datalog-Expressible Rule Sets is Undecidable.

David Carral, Lucas Larroque, Michal Thomazo

Browse the full KR paper archive.