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.