Polynomial Rewritings from Expressive Description Logics with Closed Predicates to Variants of Datalog

Open in new window