BFO

BFO copied to clipboard

_From [[email protected]](https://code.google.com/u/[email protected]/) on July 23, 2013 23:49:46_ There are variety of types of dependence that are either explicitly defined or alluded to. The explicitly defined dependences are s-dependence and g-dependence....

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on July 23, 2013 23:24:45_ DEFINITION: b is an independent continuant = Def. b is a continuant which is such that there is no c and no t...

zhengj2007

request for reviewing ontology using BFO 2.0 OWL converted from BFO 1.x

6

_From [[email protected]](https://code.google.com/u/100840849128868144328/) on June 03, 2013 13:27:54_ Beta Cell Genomics Ontology (BCGO) is an application ontology built for the Beta Cell Genomics database ( http://genomics.betacell.org/gbco/ ). The ontology is developed...

zhengj2007

Temporally Qualified Continuants (TQC) for BFO 2 OWL - after discussions in Buffalo, May 2013

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 27, 2013 16:57:02_ This is a short update of the TQC approach during the BFO2 meeting in Buffalo and some iterations afterwards, done by Janna Hastings,...

zhengj2007

category for generic processes

2

_From [[email protected]](https://code.google.com/u/106653010360062214642/) on May 26, 2013 12:57:01_ Do we need a category for generic processes? Consider the transmission of SOS in Morse code. The information content entity for transmitting SOS...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 15, 2013 06:46:09_ requested by Ron Rudnick _Original issue: http://code.google.com/p/bfo/issues/detail?id=177_

zhengj2007

Add relation rel-during and class history-segment

2

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 15, 2013 06:43:48_ to allow for complete use of histories for certain kinds of temporal statements. rel-during domain continuant range history-segment inverse (invent name) a rel-during...

zhengj2007

Possible need for never-rel temporal relation

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 15, 2013 06:38:08_ Prove whether or not there is an expression that amounts to an entity not having a part of some type. TR-safe lacks-part. If...

zhengj2007

Definition of "class"

4

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 14, 2013 16:53:35_ In 2.5 Universals and classes, the term "class" is used but not clearly defined: "Universals have instances, which are in every case particulars...

zhengj2007

Add subclass of temporal interval : connected temporal interval

2

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 14, 2013 09:58:52_ As discussed at meeting. For example, Allen is defined on connected temporal intervals but BFO doesn't currently constrain temporal intervals at all other...

zhengj2007