df.getOWLDatatype(XSDVocabulary.STRING.getIRI()), y));
Set<SWRLAtom> head = new TreeSet<>();
head.add(df.getSWRLClassAtom(a, x));
OWLAnnotation ann = df.getOWLAnnotation(df.getRDFSLabel(),
df.getOWLLiteral("test", ""));
SWRLRule rule = df.getSWRLRule(body, head, singleton(ann));
ontology.getOWLOntologyManager().addAxiom(ontology, rule);
OWLDatatypeDefinitionAxiom def = df.getOWLDatatypeDefinitionAxiom(
df.getOWLDatatype(IRI.create("urn:mydatatype")),
df.getOWLDatatypeMaxExclusiveRestriction(200D),
singleton(df.getOWLAnnotation(df.getRDFSLabel(),