INCATools / ontology-development-kit

Bootstrap an OBO Library ontology
http://incatools.github.io/ontology-development-kit/
BSD 3-Clause "New" or "Revised" License
212 stars 53 forks source link

Add clarification re Basic modules #1016

Open cmungall opened 4 months ago

cmungall commented 4 months ago

https://oboacademy.github.io/obook/reference/release-artefacts/

The default -basic version corresponds to the -simple artefact with only 'part of' relationships (BFO:0000050)

This is potentially confusing. Most users think of "relationship" as being an edge in a graph, not as an existential restriction, so this makes it sound like we filter is-as.

Note also that releases such as uberon-basic includes quite non-basic relationships like mutually_spatially_disjoint_with. Yes, those of us who are OWL gurus know that this is an annotation assertion that is a shortcut for a complex OWL axiom. But for many users, this is just an edge that will confuse them.

The original basic profile was defined here: https://owlcollab.github.io/oboformat/doc/obo-syntax.html#6

This is poorly written as it conflicts obo syntax relationships (non-is-a graph edges) with existential restrictions (these coincide 99% of the time). With the former interpretation the Uberon basic graph is not a DAG, violating basic. With the latter it is.