==== Explanation ==== This is the worse case because EquivalentClasses is one of the kinds of axioms where annotations have to be repeated for each triple generated, and because we have an annotation on an annotation, which always triggers reification of the second level annotation. To compare, first is the ontology and expansion without annotations, then ontology with annotations and expansion. References: http://www.w3.org/2007/OWL/wiki/Syntax http://www.w3.org/2007/OWL/wiki/Mapping_to_RDF_Graphs Code: http://svn.mumble.net:8080/svn/lsw/trunk/owl/owl2/ (princ (t-rdf (parse-functional-syntax ))) Caveat: I've made some effort to verify that the translations are correct but there's always the possibility I've got something wrong. Let me know: alanruttenberg@gmail.com ==== Ontology without annotations ==== Prefix (ex:=) Prefix (rdfs:=) Ontology(ex:foo EquivalentClasses( ex:bar ex:baz ObjectComplementOf(ex:quux)) ) ==== Ontology with annotations ==== Prefix (ex:=) Prefix (rdfs:=) Ontology(ex:foo EquivalentClasses( Annotation( Annotation(rdfs:comment "something about labeling as foo") rdfs:label "foo") ex:bar ex:baz ObjectComplementOf(ex:quux)) ) something about labeling as foo foo foo something about labeling as foo foo foo