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