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:

    Shall we now
    Contaminate our fingers with base bribes,
    And sell the mighty space of our large honors
    For so much trash as may be grasped thus?
    I had rather be a dog and bay the moon
    Than such a Roman.
    William Shakespeare (1564–1616)

    It is time that we start thinking about foundational issues: about our attitudes toward fair trials... Who are the People in a multicultural society?... The victims of discrimination are now organized. Blacks, Jews, gays, women—they will no longer tolerate second-class status. They seek vindication for past grievances in the trials that take place today, the new political trial.
    George P. Fletcher, U.S. law educator. With Justice for Some, p. 6, Addison-Wesley (1995)