information-artifact-ontology / ontology-metadata

OBO Metadata Ontology
Creative Commons Zero v1.0 Universal
19 stars 8 forks source link

Improve definition of definition in IAO/OMO #109

Open cmungall opened 2 years ago

cmungall commented 2 years ago

See also #108 - that ticket is about extraneous metadata on http://purl.obolibrary.org/obo/IAO_0000115. This issue is about the definition itself

The definition is:

The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.

We could be very clever here and point out all the different ways this is self-violating, but let's instead focus on making this simple and clear for users, avoiding technical ambiguous terms like "normalized" and Philosophical jargon like "Aristotelian"

I think the OBO EWG have done a great job with this and we should simply use the same text as used here: fp-006-textual-definitions.html

A textual definition provides a human-readable understanding about what is a member of the associated class. Textual definitions are, optimally, in concordance with associated machine-readable logical definitions (the latter of which are OPTIONAL).

We might want to make some minor adjustments here, e.g. generalize to class or property as is done in the current IAO definition. But the point is these two definitions should be kept in sync

E.g.

A piece of human-readable narrative text that provides a way to understand membership conditions of a class or property. For guidelines, see https://obofoundry.org/principles/fp-006-textual-definitions.html

And we should also just link to the OBO page rather than try to enumerate all our many opinions about definitions in the property itself.