Tableau算法在粗逻辑知识推理中的应用

来源 :贵州师范大学学报(自然科学版) | 被引量 : 0次 | 上传用户:mulang608
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Tableau算法是本体推理部分描述逻辑中用于ABox一致性检验的算法,基于二值逻辑,不能完成多值概念的一致性检测。将粗糙逻辑的基本思想植入描述逻辑体系中,并改进了Tableau算法,使粗糙描述逻辑能够完成对粗糙概念的推理任务,为基于语义的本体知识检索奠定了技术基础。
其他文献
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-单羟基保护产物,对因保护基引入手性碳而产生的双羟基保护产物的立
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不等式等一些不等