Text this: Computing Datalog Rewritings Beyond Horn Ontologies