General Formal Ontology - Space and Time

Space and Time

GFO uses a theory of space and time which is inspired by the philosophy of Brentano. For time, time-intervals, called chronoids, are taken as primitive. Existentially dependent on these time-intervals are time-boundaries. Time-boundaries of different time-intervals may coincide. This notion of coincidence is equivalent to a formalization of time-based on the meets relation (due to Allen and Hayes).

Connected three-dimensional parts of space are called "topoids". As chronoids, topoids may coincide at a two-dimensional boundary. This boundary may coincide with other (two-dimensional) boundaries at a one-dimensional boundary, and so on.

Read more about this topic:  General Formal Ontology

Famous quotes containing the words space and/or time:

    True spoiling is nothing to do with what a child owns or with amount of attention he gets. he can have the major part of your income, living space and attention and not be spoiled, or he can have very little and be spoiled. It is not what he gets that is at issue. It is how and why he gets it. Spoiling is to do with the family balance of power.
    Penelope Leach (20th century)

    There was an artist in the city of Kouroo who was disposed to strive after perfection. One day it came into his mind to make a staff. Having considered that in an imperfect work time is an ingredient, but into a perfect work time does not enter, he said to himself, It shall be perfect in all respects, though I should do nothing else in my life.
    Henry David Thoreau (1817–1862)