Computing Datalog Rewritings beyond Horn Ontologies

Open in new window