jie zheng

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 08, 2013 16:15:01_ The clause "if c migrates from bearer d to another bearer e than [sic!] a copy of b will be created in e"...

Listing Clear Competency Questions for BFO2-FOL

1

_From [[email protected]](https://code.google.com/u/112908894172563557652/) on February 05, 2013 20:26:55_ As we think about how to get started and proceed in creating BFO2-FOL, I wonder what purpose of this effort is and what...

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 05, 2013 12:21:11_ Mentioned by Chris Mungall in https://groups.google.com/d/msg/bfo-owl-devel/4iW_pVjfVIM/l2rZs6cUx6EJ and (I think) https://groups.google.com/d/msg/bfo-owl-devel/ToFi7JazGQc/ZTMFD5B-DzsJ The files pointed to are in: https://code.google.com/p/bfo/source/browse/trunk/src/ontology/owl-group/examples/ ReadmeProver.txt nuclei-cell-division.out nuclei-cell-division.prover9 It looks to...

Temporally Qualified Continuants to Simplify Temporalized Relations

18

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 04, 2013 10:54:49_ Following up several discussions we had in the past, and in light of the acceptance problems of the current temporalized BFO2 relations I...

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 04, 2013 03:05:06_ Are free variable universally quantified? I'd rather not, opting for explicit quantification in all cases. _Original issue: http://code.google.com/p/bfo/issues/detail?id=148_

Using 'Domain' and 'Range' to describe ternary temporal relations is confusing or wrong

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on February 03, 2013 18:05:59_ We have many parts of the reference that are of the following sort: 3.1.1 The continuant_part_of relation ELUCIDATION: b continuant_part_of c at t...

_From [[email protected]](https://code.google.com/u/110752293419737428009/) on January 29, 2013 13:12:11_ While inspecting the BFO current examples of usage, I came across the following: epidemic as example of usage for Material. I presume this...

Review BFO 1.2 proposal with aim of seeing how to more closely align with BFO2

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on January 29, 2013 13:08:55_ I have had a first conversation today with James Overton in which we reviewed the mapping spreadsheet that James prepared: https://docs.google.com/spreadsheet/ccc?key=0AnbOUYWIQYUEdF9yb0hlUjhBUGRnVWNTVFJQX0xOUlE#gid=1 Good progress...

Is bearer-of-at-some-time inverse relation at the instance level of inheres-in-at-all-times?

5

_From [[email protected]](https://code.google.com/u/[email protected]/) on January 29, 2013 12:50:10_ Comes up in discussion of BFO 1.2 review, where they are taken as inverses. _Original issue: http://code.google.com/p/bfo/issues/detail?id=144_

Adjacent_to removed from BFO?

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on January 29, 2013 12:18:32_ We had said at some point that it belongs in a spatial ontology. This issue is so that we can record an explicit...