Datalog Rewritability and Data Complexity of ALCHOIF with Closed Predicates.

Tomasz Gogacz, Sanja Lukumbuzya, Magdalena Ortiz, Mantas Simkus

Browse the full KR paper archive.