License
when quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-3128
URL: http://drops.dagstuhl.de/opus/volltexte/2005/312/

Pratt-Hartmann, Ian

From TimeML to TPL

pdf-format:
Dokument 1.pdf (200 KB)


Abstract

This paper describes a subset of the temporal mark-up language TimeML, and explains its relation to various formalisms found in the literature on interval temporal logic. The subset of TimeML we describe can be viewed as an interval temporal logic with a tractable satisfiability problem, but very limited expressive power. Most crucially, that logic does not permit quantification over events. The contribution of this paper is to point out that, by choosing an appropriate interval temporal logic, it is possible to introduce quantification into representations of event-structure without sacrificing decidability.

BibTeX - Entry

@InProceedings{pratthartmann:DSP:2005:312,
  author =	{Ian Pratt-Hartmann},
  title =	{From TimeML to TPL},
  booktitle =	{Annotating, Extracting and Reasoning about Time and Events},
  year =	{2005},
  editor =	{Graham Katz and James Pustejovsky and Frank Schilder},
  number =	{05151},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2005/312},
  annote =	{Keywords: Information Extraction, Interval temporal logic}
}

Keywords: Information Extraction, Interval temporal logic
Seminar: 05151 - Annotating, Extracting and Reasoning about Time and Events
Issue date: 2005
Date of publication: 15.11.2005


DROPS-Home | Fulltext Search | Imprint Published by LZI