Rework OWL/RDFS semantics into (non-)goal rules.