包含推理相关论文
描述逻辑是一族知识表示的语言,以形式化、结构化的方式表示相应的应用领域。描述逻辑VL非循环术语集的包含推理,通过将描述逻辑VL......
本体的保守扩充是本体构建、本体重构的核心理论与工具。本体把领域知识形式化,实现人机之间的知识共享及知识重用。基于描述逻辑......
针对基于位置服务(LBS)中缺乏语义基础的问题,分析了LBS涉及的数据和服务特点,设计了用于识别和关联语义相关概念的混合结构本体,......
本体作为知识库表示知识已经成为计算机理论与应用的研究热点.在描述逻辑中,将本体看作一个逻辑理论,一个本体被形式化为给定的描......
目前,Web服务安全供求策略的表示与匹配是句法层次的,通过比较策略在结构和词法上的相似性来确定其兼容性,容易导致错误的匹配结果......
