search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

Annotation properties for Elucidation/Definition #37

Open zhengj2007 opened 9 years ago

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on May 22, 2012 00:26:26

Do we need another property for elucidations? Some options:

1) Add a new object property 2) Rename definition -> Elucidation 3) Add elucidations as editor notes and don't have definitions for such terms. ....

Original issue: http://code.google.com/p/bfo/issues/detail?id=38

zhengj2007 commented 9 years ago

From albertgo...@gmail.com on May 22, 2012 06:47:42

I would suggest option #1. An editor should be able go give an elucidation when no adequate NL def is available or multiple (possibly) inconsistent definitions exist that the editor does not want to chose between. An elucidation can also serve to point to a larger theory surrounding the term that currently is not expressed in the OWL or FOL rendering. This also serves as an important warning for users of the term.

zhengj2007 commented 9 years ago

From mcour...@gmail.com on May 22, 2012 08:54:38

option #1 would be adding a new annotation (not object) property right?

Could we provide a definition for elucidation and definition that clearly state of they are distinct, and then decide how they relate to each other?

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

A definition for elucidation I found on wiktionary is "A making clear; the act of elucidating or that which elucidates, as an explanation, an exposition, an illustration; as, one example may serve for further elucidation of the subject."

zhengj2007 commented 9 years ago

From dosu...@gmail.com on May 22, 2012 09:03:57

I'd be happy with a new annotation property

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on May 23, 2012 09:11:30

Status: Accepted

zhengj2007 commented 9 years ago

From hoga...@gmail.com on May 23, 2012 10:54:37

I vote for #1. The definition annotation property already has a good, and a precise, "definition". Changing it to elucidation would unnecessarily demote numerous, perfectly good definitions to "elucidation" status, which I don't even know why one would propose it.

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on May 25, 2012 10:36:08

Resolved that we will do this, with the definition (or elucidation ;-) of elucidation taken from the bfo2 reference.

Status: Started
Owner: alanruttenberg@gmail.com

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com on June 15, 2012 09:53:59

Status: Done

zhengj2007 commented 9 years ago

From mcour...@gmail.com on June 18, 2012 09:17:00

Current elucidation for IAO_0000600:elucidation reads more like an example of usage than a real definition: "Primitive terms in a highest-level ontology such as BFO are terms which are so basic to our understanding of reality that there is no way of defining them in a non-circular fashion. For these, therefore, we can provide only elucidations, supplemented by examples and by axioms" This doesn't indicate what an elucidation is, nor how it relates to definition (if it does; is definition a subtype of elucidation?) Definition is currently defined as "The official definition, explaining the meaning of a class or property. Shall be Aristotelian, formalized and normalized. Can be augmented with colloquial definitions."

Could we work on this?

Status: Started