A formalism of contextualized predicate calculus for information integration

被引:0
作者
Zheng, JJ [1 ]
机构
[1] Free Univ Brussels, STARLab, Brussels, Belgium
来源
ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2003: OTM 2003 WORKSHOPS | 2003年 / 2889卷
关键词
D O I
暂无
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
This paper introduces an extension to predicate calculus, namely contextualized predicate calculus (C-PC) within the DOGMA ontology framework [1]. We briefly present both syntax and semantics of contextualized predicate calculus, together with its use in information integration and querying.
引用
收藏
页码:30 / 31
页数:2
相关论文
共 1 条
[1]  
SPYNS P, 2002, SIGMOD RECORD SPECIA