Switch to: References

Add citations

You must login to add citations.
  1. An Axiomatisation of Basic Formal Ontology with Projection Functions.Kerry Trentelman, Alan Ruttenberg & Barry Smith - 2010 - In Kerry Taylor (ed.), Advances in Ontologies, Proceedings of the Sixth Australasian Ontology Workshop. University of Adelaide. pp. 71-80.
    This paper proposes a reformulation of the treatment of boundaries, at parts and aggregates of entities in Basic Formal Ontology. These are currently treated as mutually exclusive, which is inadequate for biological representation since some entities may simultaneously be at parts, boundaries and/or aggregates. We introduce functions which map entities to their boundaries, at parts or aggregations. We make use of time, space and spacetime projection functions which, along the way, allow us to develop a simple temporal theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation