BFO

BFO copied to clipboard

_From [[email protected]](https://code.google.com/u/[email protected]/) on January 28, 2013 12:16:30_ Previously Barry has disavowed interest or involvement in the BFO OWL development process, but users have asked that the Reference included documentation on...

zhengj2007

Ontological difficulty with having vs. playing role

4

_From [[email protected]](https://code.google.com/u/104091731204665467144/) on January 11, 2013 15:55:35_ The distinction between having vs. playing a role is ontologically problematic. Although a passenger flying a plane in an emergency may not have...

zhengj2007

Neuron example for having vs. playing role is not an example of a role

2

_From [[email protected]](https://code.google.com/u/104091731204665467144/) on January 11, 2013 15:47:03_ Anatomical and physiological processes as such are not realizations of roles (note that the examples of roles in the section preceding this example...

zhengj2007

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on December 09, 2012 20:33:24_ p60 of the ref doc states: "Each function has a bearer with a specific type of physical make-up. This is something which, in...

zhengj2007

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on November 27, 2012 17:27:31_ Example: quality-of-at-all-times has the CLIF definition: (iff (qualityOfAt a b t) (and (Quality a) (IndependentContinuant b) (not (SpatialRegion b)) (specificallyDependsOnAt a b t)))...

zhengj2007

_From [[email protected]](https://code.google.com/u/100840849128868144328/) on November 27, 2012 16:25:55_ Domain and range of 'participates in at all times' ( http://purl.obolibrary.org/obo/BFO_0000166 ) was not defined. After reasoning, it won't exclude 'spatial region' as...

zhengj2007

http://purl.obolibrary.org/obo/bfo/2012-07-20 has been modified

1

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on November 26, 2012 13:58:59_ http://purl.obolibrary.org/obo/bfo/2012-07-20/ReleaseNotes resolves to a googledoc that appears to have been modified several times since July 20. These may be false positives (it lists...

zhengj2007

issue with non rigid classes

1

_From [[email protected]](https://code.google.com/u/116795168307825520406/) on November 26, 2012 13:30:11_ from Chris: "I don't think Graz is ready yet. The status of non-rigid classes is still very unclear, there needs to be more...

zhengj2007

Concretizes at some time vs concretizes at all times

3

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on November 16, 2012 17:08:05_ Is it possible to have - x 'concretizes at some time' y Without also having - x 'concretizes at all times' y ?...

zhengj2007

_From [[email protected]](https://code.google.com/u/113432818945296017912/) on November 16, 2012 16:13:00_ The BFO 2.0 draft specification Section 3.8 gives as an example of a generically dependent continuant "the pdf file on your laptop". It...

zhengj2007