BFO

BFO copied to clipboard

history-of elucidation problem

2

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 10, 2013 09:23:14_ as(history_of)[Elucidation: b history_of c if c is a material entity or site and b is a history that is the unique history of...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 07, 2013 18:03:40_ Following the TCQ draft nomenclature? _Original issue: http://code.google.com/p/bfo/issues/detail?id=170_

zhengj2007

Suggested "atemporal" permanent generic relations (ro2005-ish) do not have natural inverses and need continuant/occurrent distinction

3

_From [[email protected]](https://code.google.com/u/[email protected]/) on May 07, 2013 13:19:10_ The inverse of permanent generic part of is not permanent generic has part. This is easy to see in that, in general the...

zhengj2007

relation for process and time period

2

_From [[email protected]](https://code.google.com/u/100840849128868144328/) on May 07, 2013 12:25:46_ I have many use cases that need to link a process with time or date. For example, - blood specimen collected at 4:30...

zhengj2007

Add subclasses of histories that are temporal part of histories

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on April 29, 2013 23:50:20_ Per Stefan's comment on Issue 43 , with Alan in concurrence. _Original issue: http://code.google.com/p/bfo/issues/detail?id=166_

zhengj2007

inheres in at some time URI re-used with different meaning

16

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on April 24, 2013 15:15:10_ We had been using BFO_0000052 for inheres_in (atemporal) and BFO_0000053 for bearer_of. These are declared inverses in RO. BFO2 has re-used these URIs...

zhengj2007

Can BFO include 'precedes' and 'preceded by' relations?

4

_From [[email protected]](https://code.google.com/u/100840849128868144328/) on April 23, 2013 16:37:38_ Relations 'precedes' and 'preceded by' have be widely used in OBO Foundry community and are generic relations to represent the order of processes....

zhengj2007

Provide modeling examples on wiki page

3

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on April 17, 2013 11:40:29_ There is a lack of documentation describing how to model common biological or biomedical scenarios using BFO. For example, if a user wishes...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on April 07, 2013 20:32:50_ The following statement is incorrect: "Object aggregate is to be treated as a close analogue of set of objects, in the mathematician’s sense;...

zhengj2007

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on March 17, 2013 14:16:55_ I am fairly sure the property chain declarations in the current BFO2 ontology are incomplete. E.g. I think there should be - InverseOf(continuant-part-of-at-all-times)...

zhengj2007