论文部分内容阅读
阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。
语义Web的初步逻辑研究
【摘 要】
：
阐述了语义Web的本体语言和逻辑基础,针对语义Web本体的一些特殊描述和自动推理的需要,提出对应的描述逻辑扩展研究任务和研究需求,完成语义Web的初步逻辑研究。
【机 构】
：
仲恺农业工程学院计算机科学与工程学院,中山大学逻辑与认知研究所
【出 处】
：
软件导刊
【发表日期】
：
2010年5期
其他文献
采用量子化学密度泛函计算方法对NaF-AlF3系熔盐的若干典型固相晶体结构进行了计算模拟拉曼光谱研究,并对光谱的振动形式进行了归属,发现特征峰位与铝配位数关系明显;同时,对
会议
目的了解社区卫生服务中心的医院感染管理现状,为进一步规范管理提供依据。方法随机抽取某市22所社区卫生服务中心,自行设计调查表,于2014年6月采用实地查看、资料查阅、人员
研究了基于多通道虚拟现实环境的网络通讯模块实现方法,以及复制式网络模型下的应用开发方法,并给出了三维城市地质信息系统的具体应用实例。网络通讯模块采用面向对象（OO）技术
苏力的法治理论引起了很大的争论.苏力的贡献与其说是他提出了法治的"本土资源论",还不如说是他引起了我们反思法治研究的方法论这一长期被忽视的关键问题.因此,正确看待苏力
"贸易壁垒调查第一案"的顺利中止,标志着我国贸易壁垒调查制度从立法向司法实践成功迈出了第一步.但我国在贸易壁垒认定依据和期限等方面的规定还存在着与WTO多边体制不够协
江泽民同志5月31日在中央党校省部级干部进修班毕业典礼的重要讲话中指出:我们党要承担起推动中国社会发展的历史使命,必须始终紧紧抓住发展这个执政兴国的第一要务。在此,结
虚拟现实（VE）中虚拟视觉的实现方法大多采用基于信息表的查询,一般对静态物体的检测采用包围盒的办法。信息表的查询方法在一定程度上保证了处理速度,但是违背了视觉的工作原理
计算机系统结构是高校计算机科学与技术专业一门主要的专业必修课程,包括了理论研究和实践教学环节。结合创新性实践教学模式,对教学方法、教学环节和实践教学体系进行了比较
随着社会的发展,我国的教育发展也有了很大的创新。中职学校是由若干个班级构成的,而在每个班级中,班主任都起到了重 要的主导和组织作用,可以说,班主任班级管理工作的质量直
川西木里混杂带位于扬子板块西缘,向西与甘孜-理塘弧前混杂带相接,位于一个大地构造上十分重要的部位。我们详细野外地质调查揭示,木里混杂带由不同类型的大洋板片地层组成,