【摘 要】
：
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调
【机 构】
：
北京大学信息科学系,安徽大学数学科学学院,维也纳技术大学信息系统研究所
【基金项目】
：
国家自然科学基金（60973003）资助
论文部分内容阅读
语义万维网作为一个开放、不断更新而且相互协作的环境,经常会包含一些不协调的或不精确的信息。众所周知,描述逻辑是语义万维网重要的逻辑基础,然而描述逻辑缺乏处理不协调或不完全信息的能力。近来一些超协调方案通过限制或阻止使用一些推理规则来避免推理的平凡化,从而容忍本体中出现的不协调。因为这些方法限制了描述逻辑系统的推理能力,所以推理能力弱于经典的描述逻辑推理能力,即使在处理协调的本体时。提出一种基于符号变换的具有强推理能力的超协调推理算法。证明了该算法是可判定的,而且在处理协调的本体时该推理系统与经典逻辑系统具
其他文献
针对目前国内重力梯度数据难以获取的现状,研究重力梯度正演算法中矩形棱柱法来获取重力梯度数据,并将其应用到重力梯度辅助导航中。同时针对目前大多数匹配算法依赖于惯性导
根据不同直流电压基准源芯片的温度漂移互相独立的特点,研究单个电压基准源芯片输出的温度特性,提出一种利用平均值电路降低基准电压温度漂移系数的方法。实验结果表明：温度系
气体静压导轨是超精密工程的核心基础技术之一，其气膜振动是影响加工精度的主要因素。提出了一种气体静压导轨气膜厚度的电容式测试方法，将气体静压导轨的节流器工作底面与实验
设计了在Si微结构与AlGaN/GaN高电子迁移率晶体管（HEMT）集成的微机电系统（MEMS）。通过微机械加工工艺,完成了力电耦合传感结构的加工。通过实验测试发现HEMT器件具备很强的力电耦
肺癌的早期快速诊断对于肺癌患者的治疗至关重要。针对肺癌患者所呼出的特定标志物,建立可视化传感器阵列系统,对4种肺癌标志物进行了实验研究。采用分层聚类分析、主成分分
无线视频传感器网络（WVSNs）集成了视频传感器、计算机、通信三大技术,是当前国际上的一个研究热点。介绍了WVSNs的结构,并针对网络的QoS问题进行了分析,随后针对网络的QoS需求,
在冰点下降原理基础上，研究了渗透压摩尔浓度测量系统测量过程和参数设置问题。应用100μA恒流源供电方式法和二阶范数最小二乘法曲线拟合算法相结合，提出了NTC热敏电阻器线性
分析了有效提高光电式图像识别传感器可靠性的方法。研究了环境光补偿、提高传感器电磁兼容性及其他抗干扰措施,采用该方法可大大提高传感器的环境适应能力和工作的稳定性;应用拉格朗日插值算法提高了光电传感器图像识别的分辨率。实验和实际应用证明:传感器在不同的环境下工作时,都具有很高的适应性、稳定性和准确性,最大测量误差小于0.4mm,实现了光电传感器图像识别的高可靠性。
针对弹道导弹星象跟踪实时性问题,提出星象跟踪的实时性改进的一种新方法。该方法根据星象跟踪/预测方法与跟踪模式特点,首先,建立了基于统一存储的星表模式库,并采用k-vecto
为了研究水下传感器网络多址接入（MAC）协议的能量损耗,在集中式拓扑结构下,对ALOHA和MACAW两种协议的能量效率进行了理论分析,并通过Matlab进行了仿真。结果表明：通过改进的MA-C