Polynomial Datalog Rewritings for Expressive Description Logics with Closed Predicates
IJCAI, pp. 878-885, 2016.
We consider instance queries mediated by an ontology expressed in the expressive DL ALCHIO with closed predicates. We observe that such queries are non-monotonic and cannot be expressed in monotonic variants of DATALOG, but a polynomial time translation into disjunctive DATALOG extended with negation as failure is feasible. If no closed p...More
PPT (Upload PPT)