NTR: has hierarchical object property

information-artifact-ontology / ontology-metadata

OBO Metadata Ontology

Creative Commons Zero v1.0 Universal

19 stars 8 forks source link

NTR: has hierarchical object property #84

Open cmungall opened 2 years ago

cmungall commented 2 years ago

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:

https://github.com/EBISPOT/OLS/issues/502#issuecomment-1008808773

Example:

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

matentzn commented 2 years ago

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 commented 2 years ago

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 commented 2 years ago

I would be super happy to spearhead alignment with MOD, but I really need a concrete answer to https://github.com/information-artifact-ontology/ontology-metadata/issues/90 first.