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:

    Art and power will go on as they have done,—will make day out of night, time out of space, and space out of time.
    Ralph Waldo Emerson (1803–1882)

    When a man spends his time giving his wife criticism and advice instead of compliments, he forgets that it was not his good judgment, but his charming manners, that won her heart.
    Helen Rowland (1875–1950)