Computing Datalog Rewritings Beyond Horn Ontologies

Open in new window