definition
The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions.
2012-04-05:
Barry Smith
The official OBI definition, explaining the meaning of a class or property: 'Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions' is terrible.
Can you fix to something like:
A statement of necessary and sufficient conditions explaining the meaning of an expression referring to a class or property.
Alan Ruttenberg
Your proposed definition is a reasonable candidate, except that it is very common that necessary and sufficient conditions are not given. Mostly they are necessary, occasionally they are necessary and sufficient or just sufficient. Often they use terms that are not themselves defined and so they effectively can't be evaluated by those criteria.
On the specifics of the proposed definition:
We don't have definitions of 'meaning' or 'expression' or 'property'. For 'reference' in the intended sense I think we use the term 'denotation'. For 'expression', I think we you mean symbol, or identifier. For 'meaning' it differs for class and property. For class we want documentation that let's the intended reader determine whether an entity is instance of the class, or not. For property we want documentation that let's the intended reader determine, given a pair of potential relata, whether the assertion that the relation holds is true. The 'intended reader' part suggests that we also specify who, we expect, would be able to understand the definition, and also generalizes over human and computer reader to include textual and logical definition.
Personally, I am more comfortable weakening definition to documentation, with instructions as to what is desirable.
We also have the outstanding issue of how to aim different definitions to different audiences. A clinical audience reading chebi wants a different sort of definition documentation/definition from a chemistry trained audience, and similarly there is a need for a definition that is adequate for an ontologist to work with.
PERSON:Daniel Schober
GROUP:OBI:<http://purl.obolibrary.org/obo/obi>
definition
reference
database_cross_reference
Contains annotation properties used by Phenoscript
starasov
2023-03-21T09:15:16Z
phenoscript annotations
starasov
2023-03-21T09:18:37Z
phs_original_class
starasov
2023-03-21T09:28:05Z
phs_implies_absence_of
starasov
2023-03-21T09:28:28Z
phs_NL
starasov
2023-03-21T09:28:55Z
phs_original_assertion
starasov
2023-03-24T13:34:58Z
http://rs.tdwg.org/dwc/terms/taxonID
taxonID
starasov
2023-03-24T14:07:25Z
http://rs.tdwg.org/dwc/terms/scientificNameAuthorship
scientificNameAuthorship
starasov
2023-03-24T14:08:09Z
http://rs.tdwg.org/dwc/terms/taxonRank
taxonRank
starasov
2023-03-24T14:10:48Z
http://rs.tdwg.org/dwc/terms/taxonomicStatus
taxonomicStatus
starasov
2023-03-24T15:50:01Z
hasGbifID
starasov
2023-03-24T15:51:03Z
hasZooBankID
means that some species belongs to some genus. This genus is specified by gbif taxonID from backbone taxonomy
starasov
2023-03-24T16:24:29Z
parentTaxonGbifID
starasov
2023-03-24T21:19:28Z
http://rs.tdwg.org/dwc/terms/scientificName
scientificName
starasov
2023-03-27T15:04:07Z
has_trait
starasov
2023-03-27T19:14:30Z
project_id
counts anatomical structures
starasov
2023-03-24T21:26:56Z
For exampe: 'segement has element count 3' indicates three segments
has element count
NCBITaxon:species
http://rs.tdwg.org/ontology/voc/TaxonRank#Species
taxonomic_rank
TAXRANK:0000006
species
denotes a new speceis taxon
starasov
2023-03-24T16:36:47Z
New Species
starasov
2023-03-27T19:35:40Z
project
DATA Block
TRAITS Block
OTU Block