论文部分内容阅读
本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行，提供了权威的运算法则分析。初始的实验结果很好因为其显示了数量次序的性能进步。
动态ABoxes的描述逻辑推理
【摘 要】
：
本文中，介绍了一个为描述SHIQ（D）和SHOQ（D）在增加和减去ABox的更新算法的运算法则，对浮动或流动数据推理程序提供了一个关键的步骤。通过在Pellet中推理的一个实验执行，提供了权威的
【机 构】
：
东南大学仪器科学与工程学院,南通大学计算机科学与技术学院
【出 处】
：
福建电脑
【发表日期】
：
2009年1期
其他文献
自网络广告兴起之日起，有个问题一直难以克服，即广告的有效性。随着各种拦截软件的大量应用，以标准横幅广告为代表的网络广告点击率日益降低。为了获得更大的生存空间，网络广告商一方面对现有广告形式进行创新，另一方面也在不断发展其他类型的广告，其中电子邮件广告被寄予了很高的期望。从中国目前网络广告运营的现状来看，电子邮件广告的形式已经应用，但处于一种补充地位；而在大洋彼岸，美国的电子邮件广告却已经在网络广告
本文主要从文化心态方面探讨了翻译过程中影响归化、异化的因素,指出译者的文化心态是影响采用归化还是异化策略的重要因素之一。影响译者文化心态的主要因素主要有:译语文化