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 条
  • [31] ON INFINITE COMPUTATIONS IN DENOTATIONAL SEMANTICS
    DEBAKKER, JW
    MEYER, JJC
    ZUCKER, JI
    THEORETICAL COMPUTER SCIENCE, 1983, 26 (1-2) : 53 - 82
  • [32] Denotational semantics for timed testing
    Diaz, LFL
    Escrig, DD
    TRANSFORMATION-BASED REACTIVE SYSTEMS DEVELOPMENT, 1997, 1231 : 368 - 382
  • [33] OPERATIONAL AND DENOTATIONAL SEMANTICS OF PROLOG
    ARBAB, B
    BERRY, DM
    JOURNAL OF LOGIC PROGRAMMING, 1987, 4 (04): : 309 - 329
  • [34] A MODULAR APPROACH TO DENOTATIONAL SEMANTICS
    MOGGI, E
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 530 : 138 - 139
  • [35] Denotational semantics of hybrid automata
    Edalat, Abbas
    Pattinson, Dirk
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 73 (1-2): : 3 - 21
  • [36] LOGICAL SEMANTICS AND DENOTATIONAL SEMANTICS OF PROLOG INTERPRETERS
    DELAHAYE, JP
    RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS, 1988, 22 (01): : 3 - 42
  • [37] Denotational Semantics for Symbolic Execution
    Voogd, Erik
    Klovstad, Asmund Aqissiaq Arild
    Johnsen, Einar Broch
    THEORETICAL ASPECTS OF COMPUTING, ICTAC 2023, 2023, 14446 : 370 - 387
  • [38] FROM OPERATIONAL TO DENOTATIONAL SEMANTICS
    SMITH, SF
    LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 54 - 76
  • [39] Denotational semantics of object specification
    Sernadas, A
    Sernadas, C
    Caleiro, C
    ACTA INFORMATICA, 1998, 35 (09) : 729 - 773
  • [40] A denotational semantics of defeasible logic
    Maher, MJ
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 209 - 222
12345