Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics.

Stijn Heymans, Thomas Eiter, Guohui Xiao

Browse the full ECAI paper archive.