2016 IJCAI IJCAI 2016

Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates