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 条
  • [21] On denotational semantics of smalltalk - 80
    Ruan Jian Xue Bao, 7 (385):
  • [22] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2008, 4 (04) : 341 - 360
  • [23] A denotational semantics for deliberation dialogues
    McBurney, P
    Parsons, S
    ARGUMENTATION IN MULTI-AGENT SYSTEMS, 2005, 3366 : 162 - 175
  • [24] A Denotational Semantics for SPARC TSO
    Kavanagh, Ryan
    Brookes, Stephen
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2018, 336 (336) : 223 - 239
  • [25] PROCESSES AND THE DENOTATIONAL SEMANTICS OF CONCURRENCY
    DEBAKKER, JW
    ZUCKER, JI
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 70 - 120
  • [26] DENOTATIONAL SEMANTICS FOR PROGRAM ANALYSIS
    CHAO, SJ
    BRYANT, BR
    SIGPLAN NOTICES, 1988, 23 (01): : 83 - 91
  • [27] From algebraic semantics to denotational semantics for Verilog
    Zhu, Huibiao
    He, Jifeng
    Bowen, Jonathan P.
    ICECCS 2006: 11TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2006, : 139 - +
  • [28] Denotational semantics of object specification
    Amílcar Sernadas
    Cristina Sernadas
    Carlos Caleiro
    Acta Informatica, 1998, 35 : 729 - 773
  • [29] DENOTATIONAL SEMANTICS OF QUERY LANGUAGES
    SUBIETA, K
    INFORMATION SYSTEMS, 1987, 12 (01) : 69 - 82
  • [30] A modular approach to denotational semantics
    Power, J
    Rosolini, G
    AUTOMATA, LANGUAGES AND PROGRAMMING, 1998, 1443 : 351 - 362
12345