2026-07-20T05:25:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:312 2024-03-06T11:06:18Z ddc:004 open_access

From TimeML to TPL Pratt-Hartmann, Ian Information Extraction Interval temporal logic 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Ian Pratt-Hartmann 2005 Is Part Of Dagstuhl Seminar Proceedings, Volume 5151, Annotating, Extracting and Reasoning about Time and Events (2005) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.05151.8 urn:nbn:de:0030-drops-3128 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05151.8 eng https://creativecommons.org/licenses/by/4.0/legalcode