Towards a denotational semantics for TimeML

被引：0

作者：

Katz, Graham ^{[1
]}

机构：

[1] Stanford Univ, Stanford, CA 94305 USA

来源：

ANNOTATING, EXTRACTING AND REASONING ABOUT TIME AND EVENTS | 2007年 / 4795卷

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

The XML-based markup language TimeML encodes temporal and event-time information for use in automatic text processing. The TimeML annotation of a text contains information about the temporal intervals that are mentioned in the text as well as the relationship of these temporal intervals to the times and events mentioned in the text. We provide here a formal denotational semantics for TimeML, addressing problems of operator scope that arise in the context of a "flat" representation language and providing a sketch of an intensional extension to the main extensional semantics.

引用

页码：88 / 106

页数：19

共 50 条

[1] METASOFT PRIMER - TOWARDS A METALANGUAGE FOR APPLIED DENOTATIONAL SEMANTICS
BLIKLE, A
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 288 : 2 - 135
[2] Towards a Denotational Semantics of Timed RSL Using Duration Calculus
李黎
[J]. Journal of Computer Science & Technology, 2001, (01) : 64 - 76
[3] Towards Univalent Reference Types The Impact of Univalence on Denotational Semantics
Sterling, Jonathan
Gratzer, Daniel
Birkedal, Lars
[J]. 32ND EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC, CSL 2024, 2024, 288
[4] Towards a denotational semantics of timed RSL using duration calculus
Li, L
[J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2001, 16 (01) : 64 - 76
[5] On phase semantics and denotational semantics: the exponentials
Bucciarelli, A
Ehrhard, T
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2001, 109 (03) : 205 - 241
[6] CPP denotational semantics
Favre, JM
[J]. THIRD IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION - PROCEEDINGS, 2003, : 22 - 31
[7] DOMAINS FOR DENOTATIONAL SEMANTICS
SCOTT, DS
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1982, 140 : 577 - 612
[8] ON DENOTATIONAL SEMANTICS OF DATABASES
RISHE, N
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 239 : 249 - 274
[9] Towards a denotational semantics of timed RSL using duration calculus
Li Li
[J]. Journal of Computer Science and Technology, 2001, 16 : 64 - 76
[10] A DENOTATIONAL SEMANTICS FOR PROLOG
NICHOLSON, T
FOO, N
[J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1989, 11 (04): : 650 - 665

← 1 2 3 4 5 →