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
相关论文
共 30 条
[1]  
[Anonymous], 1987, Proceedings of the 6th Amsterdam Colloquium
[2]  
[Anonymous], SEMANTICS CONTEXTUAL
[3]  
Copestake Ann, 2006, RES LANGUAGE COMPUTA, V3, P281
[4]  
DAVIDSON D, 1967, LOGIC DECISION ACTAT
[5]   VISUAL SPECIFICATIONS FOR TEMPORAL REASONING [J].
DILLON, LK ;
KUTTY, G ;
MELLIARSMITH, PM ;
MOSER, LE ;
RAMAKRISHNA, YS .
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1994, 5 (01) :61-81
[6]  
FERRO L, 2001, 01W00004 MTR MITR CO
[7]  
Freed A., 1979, SEMANTICS ENGLISH AS
[8]  
GROUP TW, TIMEML 1 2 1 FORMAL
[9]  
Hintikka Jaako., 1969, PHILOS LOGIC, P21, DOI [10.1007/978-94-010-9614-0_2, DOI 10.1007/978-94-010-9614-0_2]
[10]  
HOBBES JR, 2003, ANNOTATING REASONING