1 Search Results for "Li, Zhuojun"

Document
DOI: 10.4230/LIPIcs.TIME.2017.16
The Time Ontology of Allen's Interval Algebra

Authors: Michael Grüninger and Zhuojun Li

Published in: LIPIcs, Volume 90, 24th International Symposium on Temporal Representation and Reasoning (TIME 2017)

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.
Cite as

Michael Grüninger and Zhuojun Li. The Time Ontology of Allen's Interval Algebra. In 24th International Symposium on Temporal Representation and Reasoning (TIME 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 90, pp. 16:1-16:16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{gruninger_et_al:LIPIcs.TIME.2017.16,
  author =	{Gr\"{u}ninger, Michael and Li, Zhuojun},
  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 =	{Schewe, Sven and Schneider, Thomas and Wijsen, Jef},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.TIME.2017.16},
  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}
}
  • Refine by Author
  • 1 Grüninger, Michael
  • 1 Li, Zhuojun

  • Refine by Classification

  • Refine by Keyword
  • 1 composition table
  • 1 first-order logic
  • 1 intervals
  • 1 synonymy
  • 1 time ontology

  • Refine by Type
  • 1 document

  • Refine by Publication Year
  • 1 2017

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact