License
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2017.16
URN: urn:nbn:de:0030-drops-79271
URL: http://drops.dagstuhl.de/opus/volltexte/2017/7927/
Go to the corresponding LIPIcs Volume Portal


Grüninger, Michael ; Li, Zhuojun

The Time Ontology of Allen's Interval Algebra

pdf-format:
LIPIcs-TIME-2017-16.pdf (0.6 MB)


Abstract

Allen's interval algebra is a set of thirteen jointly exhaustive and pairwise disjoint binary relations representing temporal relationships between pairs of timeintervals. Despite widespread use, there is still the question of which time ontology actually underlies Allen's algebra. Early work specified a first-order ontology that can interpret Allen's interval algebra; in this paper, we identify the first-order ontology that is logically synonymous with Allen's interval algebra, so that there is a one-to-one correspondence between models of the ontology and solutions to temporal constraints that are specified using the temporal relations. We further prove a representation theorem for the ontology, thus characterizing its models up to isomorphism.

BibTeX - Entry

@InProceedings{grninger_et_al:LIPIcs:2017:7927,
  author =	{Michael Gr{\"u}ninger and Zhuojun Li},
  title =	{{The Time Ontology of Allen's Interval Algebra}},
  booktitle =	{24th International Symposium on Temporal Representation and Reasoning (TIME 2017)},
  pages =	{16:1--16:16},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-052-1},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{90},
  editor =	{Sven Schewe and Thomas Schneider and Jef Wijsen},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2017/7927},
  URN =		{urn:nbn:de:0030-drops-79271},
  doi =		{10.4230/LIPIcs.TIME.2017.16},
  annote =	{Keywords: time ontology, intervals, composition table, first-order logic, synonymy}
}

Keywords: time ontology, intervals, composition table, first-order logic, synonymy
Seminar: 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)
Issue Date: 2017
Date of publication: 14.09.2017


DROPS-Home | Fulltext Search | Imprint Published by LZI