search

EnvironmentOntology / envo

A community-driven ontology for the representation of environments
http://www.environmentontology.org
Creative Commons Zero v1.0 Universal
127 stars 53 forks source link

Avoid axiom injection: RO_0001000 is under ENVO_01003004 #1405

Open matentzn opened 1 year ago

matentzn commented 1 year ago

This is the kinds of axiom injection we should probably avoid:

    <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001000"/>
    <owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/RO_0001000">
        <rdfs:subPropertyOf rdf:resource="http://purl.obolibrary.org/obo/ENVO_01003004"/>
    </owl:ObjectProperty>

Its not disastrous (derives from is a subproperty of derives from part of) but its a bit against our principles to redefine the semantics of OPs! Imagine someone else would unilaterraly make part of irreflexive! We would all die!

Please add this RO.

cmungall commented 1 year ago

This one is not such a dangerous injection as it's trivially true (like saying EXTERNAL:FooClass SubClassOf MYONTOLOGY:BarClass OR OTHEREXPRESSION), it follows the pattern here https://oborel.github.io/obo-relations/reflexivity/#defining-property-chains-involving-reflexivity

so should be easy to add to RO

It is a mild red flag if an ontology is defined and only used 6 times though

image