论文部分内容阅读
Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法，基于二值逻辑，不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中，并改进了Tableau算法，使粗糙描述逻辑能够完成对粗糙概念的推理任务，为基于语义的本体知识检索奠定了技术基础。
Tableau算法在粗逻辑知识推理中的应用
【摘 要】
：
Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法，基于二值逻辑，不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中，并改进了Tableau算法，使
【机 构】
：
河北联合大学理学院,中海石油（中国）有限公司天津分公司
【出 处】
：
贵州师范大学学报(自然科学版)
【发表日期】
：
2013年1期
其他文献
Preparation of 1-Trifluoroethyl-4-methoxy-5-chloropyridazin-6-one: Methyl Shift of 4-Methoxy-5-chlor
N1-Trifluoroethyl-4-methoxy-5-chloro-3-pyridazone (4) was synthesized by the substitution reaction of 4methoxy-5-chloro-3-pyridazone (1) with trifluoroethyl tri
期刊
以37%～45%的产率合成了六个新的5-氟尿嘧啶-卟啉化合物,通过元素分析、红外光谱、紫外可见光谱、核磁共振谱和质谱确定了其结构.抗癌试验表明,化合物A3,A4,A5对Hela(宫颈癌细
通过论述与分析了我国建筑工程质量监督工作所产生的重要作用、现阶段我国建筑工程质量监督工作展开中存在的问题，以及进一步提高工程质量监督工作效率的有效措施三个主要方面
结构矩阵是一类比较常见的矩阵,比如循环矩阵,Toeplitz、Vandermonde、Cauchy等矩阵在代数和数值计算领域中经常出现,在工程学、通信和统计学中更为明显,这些结构矩阵与一些
从天然L-酒石酸出发,经过环硫酸酯还原等四步反应,合成了重要手性合成砌块R-丁三醇,总产率为60%.同时,找到了一种有效的纯化多羟基化合物的方法.
以6－氨基胡椒醛为原料，与邻羟基苯乙酮（2a），4－氯－2－羟基苯乙酮（2b）发生Friedlaender综合反应，得到新的喹啉衍生物2－（2－羟基苯基）－6，7－亚甲二氧基喹啉（3a）和2－（5－氯－2－羟基苯基）－6，7－亚甲二氧基喹啉(3b），新的
11α,17-二羟善及11β,17-二羟基-雄甾-1,4-二烯-3-酮-17-腈以乙烯基正丁醚进行保护,得到双羟基和11-及17-单羟基保护产物,对因保护基引入手性碳而产生的双羟基保护产物的立
An Efficient Procedure for Esterification of Aryloxyacetic Acid and Arylthioacetic Acid Catalyzed by
Aryloxyacetate and arylthioacetate are wildly used in herbicides, plant regulator and insecticides. Recently, Wille et al. have reported that methyl aryloxyacet
期刊
含砂雾封层是一种性能显著的路面预防性养护措施,分析了含砂雾封层的固化机理,介绍了原材料的质量控制要点,并对含砂雾封层施工中的质量控制措施进行了阐述,以期借鉴。
在压力和和粘性系数是密度的一般函数的情况下,研究了可压缩的Navier-Stokes方程的解在H4空间中的存在性和渐近性,利用Poincare不等式,Holder不等式,Cauchy不等式等一些不等