【摘 要】
：
历史版本的情景可以转化为知识实例，用于后续查询和推理。知识查询需要涉及到实例检索过程。实例检索问题可以通过ABox满足性测试（ASAT计算）完成，ASAT计算可通过Tableau算法实现
【基金项目】
：
上海市国际科技合作基金项目（No.13430710100）
论文部分内容阅读
历史版本的情景可以转化为知识实例，用于后续查询和推理。知识查询需要涉及到实例检索过程。实例检索问题可以通过ABox满足性测试（ASAT计算）完成，ASAT计算可通过Tableau算法实现。此算法比较耗时。对此，已经存在一系列技术用于优化实例检索的时间性能。该文进一步关注具有情景范围的情景知识实例检索。为了提高这一类实例检索的时间性能，提出使用概念格索引情景知识实例。由于每次查询范围不可能完全等价于格内涵所代表的区间，提出了基于概念格的实例检索算法实现特定范围的查询。通过实验和原始查询比较，使用概念格索引和
其他文献
采用微波消解法处理样品,以电感耦合等离子体发射光谱法(ICP-AES)检测产自不同地区信阳毛尖茶叶中微量元素的含量,并测定其溶出率。结果表明,信阳毛尖茶叶中的微量元素Mg,Mn,
为了有效提高应用型本科院校计算机专业学生的创新创业能力,构建了以创新创业能力培养为目标,以实践平台为基础的计算机专业创新创业教育实践体系。主要包括以下内容:第一,构
苏鲁地体南部的高压变质带由中温高压变质岩片和低温高压变质岩片两部分组成,前一岩片自下而上依次为含砾白云石英岩、云母二长石英片岩、大理岩磷块岩、白云钠长石英片岩;后
<正>通过规范协调马镇镇、沙峁镇、贺家川镇、万镇镇四个沿黄乡镇旅游产品,打造一个黄河大峡谷生态旅游带,从而让黄河文化风情规模呈现,辖区内宗教文化、红色文化和乡村旅游
随着我国市场经济的良好发展,我国财务经济管理取得了巨大的建设性成就。然而,现阶段财务经济管理仍然存在一些问题,对财务经济管理相关活动造成了一定的不良影响。因此,有必
目的：针对腹腔镜联合胆道镜保胆取石术的临床效果进行研究，为临床治疗提供一定的依据。方法选取我院2013年2月-2014年2月间收治的胆囊结石患者60例，按照挂号时间将其分为观察组
由浙江大学城市学院、浙江大学经济学院联合主办，浙江大学城市学院商学院、浙江大学民营经济研究中心承办的第2届创业和家族企业成长国际会议，于2006年5月18-19日在杭州召开。
2020年初,新冠病毒肆虐,在人人自危、谈"毒"色变的危急时刻,成都英联华物业集团有限公司快速反应,紧急成立防疫指挥领导小组,全面部署,及时购置补充防疫物资,迅速收拢人员,并
2020新年伊始,一场新中国成立以来传播力度、范围扩散最广的新冠肺炎疫情,让1000多万物业人站到了防控前线。舍小家顾大家,他们日以继夜,坚守在自己平凡的岗位上,构筑起战疫
线式电势差计是大学物理实验中一个非常重要的实验,通过'补偿法'对待测电源的电动势和内阻进行测量。利用单片机技术和C语言程序,通过程序控制和模数转换,实现长度显