论文部分内容阅读
本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行，提供了权威的运算法则分析。初始的实验结果很好因为其显示了数量次序的性能进步。
动态ABoxes的描述逻辑推理
【摘 要】
：
本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行，提供了权威的
【机 构】
：
东南大学仪器科学与工程学院,南通大学计算机科学与技术学院
【出 处】
：
福建电脑
【发表日期】
：
2009年1期
其他文献
自网络广告兴起之日起，有个问题一直难以克服，即广告的有效性。随着各种拦截软件的大量应用，以标准横幅广告为代表的网络广告点击率日益降低。为了获得更大的生存空间，网络广告商一方面对现有广告形式进行创新，另一方面也在不断发展其他类型的广告，其中电子邮件广告被寄予了很高的期望。从中国目前网络广告运营的现状来看，电子邮件广告的形式已经应用，但处于一种补充地位；而在大洋彼岸，美国的电子邮件广告却已经在网络广告
英语是初中教学的主干课程之一，英语教学质量的高低关系到学生英语学习水平和学校的教学质量。深化教学改革，全面提高学生素质，是时代要求。 新课改后，初中英语教材的编写有了很
本文主要从文化心态方面探讨了翻译过程中影响归化、异化的因素,指出译者的文化心态是影响采用归化还是异化策略的重要因素之一。影响译者文化心态的主要因素主要有:译语文化
受心理状态、疼痛刺激等因素影响,无痛分娩产妇易产生紧张、焦虑、抑郁及恐惧等不良情绪,影响其正常分娩,延长产程时间,不利于母婴预后[1]。加强对无痛分娩产妇的心理护理和
数学是一门具有极强综合性特点的学科，其教学活动是建立在对学生的客观感知、理性分析以及思维认知能力良好把握的基础之上的。数学教师要掌握各种教学技巧，通过情境创设和思维
党的十六大以来,我省紧紧围绕加强党的执政能力建设和先进性建设主题,大力推进基层党建工作的理念、方法和制度创新,形成了一大批在全国有影响力的创新成果和工作品牌,不仅给
期刊
语法是初中英语教学的基本内容之一。然而，由于部分学生或不能够牢固识记语法知识点，或对语法知识点理解不透彻等，致使这部分学生逐渐对语法学习失去了兴趣，进而使得语法教学效率