m.addAxiom(ontology, Declaration(b));
m.addAxiom(ontology,
SubClassOf(b, factory.getOWLObjectSomeValuesFrom(p, a)));
OWLOntology loadOntology = roundTrip(ontology,
new RDFXMLDocumentFormat());
FunctionalSyntaxDocumentFormat functionalFormat = new FunctionalSyntaxDocumentFormat();
functionalFormat.asPrefixOWLOntologyFormat().setPrefix("example",
"http://example.org/");
OWLOntology loadOntology2 = roundTrip(ontology, functionalFormat);
// won't reach here if functional syntax fails - comment it out and
// uncomment this to test Manchester
ManchesterSyntaxDocumentFormat manchesterFormat = new ManchesterSyntaxDocumentFormat();