NTR: has hierarchical object property

[cmungall]

Domain: Ontology (or subset?)
Range: ObjectProperty
Def: A relation between an ontology and an object property such that existential restrictions using this object property are treated visually in the same way as is-a / subClassOf between named classes in ontology browsers

See:

EBISPOT/OLS#502 (comment)

Example:

• go.owl, envo.owl, ... HOP part_of
• uberon.owl HOP part_of, develops_from

[matentzn]

Technically, it would probably not be entirely bad to say:

Domain: owl:Ontology (captures subsets as well, as owl:Ontology is merely a set of axioms)
Range: rdf:Property (covers annotation properties, so we can declare for example skos:narrowMatch for some use cases)

[cmungall]

It turns out like many things in OMO, @jonquet has already thought of this and come up with a property, which I thing we should just import:

https://w3id.org/mod#hierarchyProperty

[matentzn]

I would be super happy to spearhead alignment with MOD, but I really need a concrete answer to #90 first.