BFO
BFO copied to clipboard
BFO repository including source code and latest documents
'Generically dependent continuant' has the following definition: “b is a generically dependent continuant = Def. b is a continuant that g-depends_on one or more other entities. (axiom label in BFO2...
There is a lot of descriptive metadata for the classes of the BFO, including as values of definition, editor note, elucidation, example of usage, and has associated axiom(fol) properties. Information...
Currently BFO hierarchy is deliberately as small as possible to allow (what we now believe to be) universal application. That is to say, for any given entity there is a...
Create a page documenting for each of OBO Foundry reference ontologies suchas (CHEBI, GO, PATO) how their major categories correspond to BFO categories, and extend to further ontologies over time...
For example in section 2.2
The OWL version has the current understanding, which is that realization is a relation between a realizable entity and a process. The spec has the realized_in relation as time indexed....
Presently the OWL 2 axiomatisation allows us to have material objects and sites without histories. In particular the following is satisfiable: ``` 'material entity' and not ('has history' some history)...
I think I forgot that - need to fix it in the specification.
## BFO GoogleCode to Github migration ### Source code migration: Preserving commit history for files/directories under releases directories Both Github import and GoogleCode export only migrate the files and directories...
_From [[email protected]](https://code.google.com/u/[email protected]/) on May 22, 2012 00:22:34_ There are a number of types that are no longer present. Missing: 'scattered' temporal|spatiotemporal regions, object boundary, processual context , process_aggregate, fiat_process_part, processual_entity...