<BUG>OWLSubClassOfAxiom def = df.getOWLSubClassOfAxiom(df.getOWLClass("urn:test#", "myClass"), df.getOWLClass("urn:test#", "test"), singleton(df.getOWLAnnotation(df.getRDFSLabel(), df.getOWLLiteral("datatype definition", ""))));</BUG><CONTEXT>+ "        <annotatedProperty rdf:resource=\"http://www.w3.org/2000/01/rdf-schema#subClassOf\"/>\n"+ "        <annotatedSource rdf:resource=\"urn:test#myClass\"/>\n"+ "        <annotatedTarget rdf:resource=\"urn:test#test\"/>\n" + "    </Axiom>\n"+ "    <Class rdf:about=\"urn:test\"/>\n" + "</rdf:RDF>\n" + "";OWLOntology o = loadOntologyFromString(s);<extra_id_0>assertTrue(contains(o.axioms(), def));}</CONTEXT>
"urn:test#", "test"), singleton(df.getRDFSLabel("datatype definition")));