A theory of time and temporal incidence based on instants and periods

Vila, Lluís; Schwalb, Eddie

doi:10.1109/time.1996.555670

Cited by 10 publications

(7 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Section 3, it is of interest to relate BT C to other axiomatizations. It is rather straightforward to show that BT C covers IP dense (Vila, 1994(Vila, , 2005Vila & Schwalb, 1996) (and thus AH, the well-known theory of Allen and Hayes, as well, see Section 3) in the following sense.…”

Section: Relationship With Established Time Theoriesmentioning

confidence: 92%

“…In contrast, theories have been proposed that genuinely consider time points and intervals on a par. One example is the theory IP by Lluís Vila (1994Vila ( , 2005, Section 1.7.2), which extends the axioms of the pure point theory (without fixing density or discreteness) with seven axioms that naturally link points and intervals using the point-interval relations begin and end (time point x is the begin/end of interval y). IP enjoys interesting metalogical properties: firstly, every model of IP is completely characterized by an infinite set with an unbounded strict linear order on it; secondly, the theory IP dense , obtained by adding density of time points to IP, is logically equivalent to Ladkin's complete extension of AH (Vila, 2005, pp.…”

Section: Axiomatic Theories Of Timementioning

confidence: 99%

“…Yet there is an uncommon but powerful feature of time boundaries, expounded in Section 5.1, that is their ability to coincide. The "existential priority" of chronoids over time boundaries and the notion of coincidence constitute major differences to usual dual time theories of points and intervals, such as IP (Vila, 1994(Vila, , 2005, Section 1.7.2). 2 The second theory developed here, BT R , addresses chronoids, time boundaries, and in addition mereological sums of the entities of each kind, called time regions and time boundary regions, respectively.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Axiomatic theories of the ontology of time in GFO

Baumann

Loebe

Herre³

2014

Applied Ontology

View full text Add to dashboard Cite

Time is a pervasive notion of high impact in information systems and computer science altogether. Respective understandings of the domain of time are fundamental for numerous areas, frequently in combination with closely related entities such as events, changes and processes. The conception and representation of time entities and reasoning about temporal data and knowledge are thus significant research areas. Each representation of temporal knowledge bears ontological commitments concerning time. Thus it is important to base temporal representations on a foundational ontology that covers general categories of time entities.In this article we introduce and discuss two consecutive ontologies of time that have been developed for the top-level ontology General Formal Ontology (GFO). The first covers intervals, named chronoids, and time boundaries of chronoids, as a kind of time points. One important specialty of time boundaries is their ability to coincide with other time boundaries. The second theory extends the first one by additionally addressing time regions, i.e., mereological sums of chronoids.Both ontologies are partially inspired by ideas of Franz Brentano, especially from his writings about the continuum. In particular, we view continuous time intervals as a genuine phenomenon which should not be identified with intervals (sets) of real numbers. On these grounds the resulting ontologies allow for proposing novel contributions to several problematic issues in temporal representation and reasoning, among others, the Dividing Instant Problem and the problem of persistence and change.Following our general approach to ontology development, both ontologies are axiomatized as formal theories in first-order logic and are analyzed metalogically. We prove the consistency of both ontologies, and completeness and decidability for one. Moreover, standard time theories with points and intervals are covered by both theories.

show abstract

Section: Relationship With Established Time Theoriesmentioning

confidence: 92%

Section: Axiomatic Theories Of Timementioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Axiomatic theories of the ontology of time in GFO

Baumann

Loebe

Herre³

2014

Applied Ontology

View full text Add to dashboard Cite

show abstract

“…As argued by [24] a temporal representation requires the characterization of time itself and temporal incidence, which are represented in our temporal ontology by TemporalEntity and Eventuality, respectively. We defined a further notion, TimedThing, that bridges between temporal concepts and the domain concepts that will be used during the assemble process.…”

Section: Temporal Ontologymentioning

confidence: 99%

Fonte

Santos¹,

Staab

2003

Proceedings of the 2nd International Conference on Knowledge Capture

View full text Add to dashboard Cite

Because it is difficult to engineer a complex ontology with time, we here consider a method that allows for factorizing the complexity of the engineering process, FONTE (Factorizing ONTology Engineering complexity). FONTE divides the engineering task into building a time-less domain ontology and a temporal theory independently from each other. FONTE provides an operator ⊗ that assembles the two independently developed ontologies into the targeted ontology.We investigate the quality of the proposed operator ⊗ by applying it to a practical case study, viz. the engineering of an ontology about researchers including temporal interactions.

show abstract

“…It also includes a notion of the present time (i.e., now), which is provided in a manner that does not need knowledge of the exact present time [196]. Later on, researchers in [198][199][200] proposed using both instant-based and interval-based time representations with the same level of importance.…”

mentioning

confidence: 99%

Understanding Clinical Narratives in Oncological Domain

Najafabadipour¹

View full text Add to dashboard Cite

My Brothers -Ali and Reza, thank you for always standing by my side and valuing my goals. The best part of having brothers like you is that I have never feared losing your support even when I am living far from you.My Cousin -Amir Reza, we came into the world like sister and brother. I appreciate your continuous support throughout my PhD studies and every day of my life.My Father and Mother In-law, I am extremely grateful for your love, prayers and belief that I can successfully complete my PhD studies. Calling me your hero and pride was the main source of energy, which helped me in achieving this goal.My Brother In-law -Halim, I must express my profound gratitude for your unfailing support during my years of research. Thank you for being someone to lean on, someone to count on and someone to tell on.My Husband -Tamim, my acknowledgement would be incomplete without thanking you as the biggest source of my strength, who inspires me every single day of life. Thank you for being the person who always said "lets see how we can fix this" instead of "I told you so" during my PhD studies. I owe you a great deal for this. You have always cherished my dreams, goals and achievements and I am extremely honored and proud to call you my husband.La tesis presenta la validación de los módulos presentados en un caso de estudio real en el que se analizan mas de 200,000 notas de pacientes que han sido diagnosticados con cáncer de pulmón.

show abstract

A theory of time and temporal incidence based on instants and periods

Cited by 10 publications

References 22 publications

Axiomatic theories of the ontology of time in GFO

Axiomatic theories of the ontology of time in GFO

Fonte

Understanding Clinical Narratives in Oncological Domain

Contact Info

Product

Resources

About