DLSafeRule(Annotation(<http://www.semanticweb.org/owlapi/test#ann> "test"^^xsd:string) Body(BuiltInAtom(<urn:swrl:var#v1> Variable(<urn:swrl:var#var3>) Variable(<urn:swrl:var#var4>)) ClassAtom(<http://www.semanticweb.org/owlapi/test#C> Variable(<urn:swrl:var#var2>)) DataRangeAtom(<http://www.semanticweb.org/owlapi/test#DT> Variable(<urn:swrl:var#var1>)) BuiltInAtom(<http://www.semanticweb.org/owlapi/test#iri> Variable(<urn:swrl:var#var1>)) DifferentFromAtom(Variable(<urn:swrl:var#var2>) <http://www.semanticweb.org/owlapi/test#i>) SameAsAtom(Variable(<urn:swrl:var#var2>) <http://www.semanticweb.org/owlapi/test#iri>)) Head(BuiltInAtom(<urn:swrl:var#v2> Variable(<urn:swrl:var#var5>) Variable(<urn:swrl:var#var6>)) DataPropertyAtom(<http://www.semanticweb.org/owlapi/test#p> Variable(<urn:swrl:var#var2>) "false"^^xsd:boolean) ObjectPropertyAtom(<http://example.com/objectProperty> Variable(<urn:swrl:var#var2>) Variable(<urn:swrl:var#var2>))))