this is fine for what i’m doing so far but i’m still waiting for that Moment when a specification inevitably tries to use an Ontology Itself as the subject or object of an object property, thus implying that owl:Ontology is an owl:Class not merely an rdfs:Class (these are not the same)
anyway the actually interesting insight wasn’t in that specification but in the specification mapping R·D·F to Direct Semantics which states, with no fanfare, that all owl:OntologyProperty’s (note: this term is not documented) are silently transformed into owl:AnnotationProperty’s (interesting for the insight that properties of ontologies are functionally annotations in their implications)