随着Internet和Web技术的发展,WWW已经成为一个巨大的信息资源库,然而使用传统的搜索引擎,用户要精确地找到所需信息往往十分困难......

计算本体的概念层次结构是描述逻辑(Descriptic Logic,DL)推理机提供的一个重要功能.本文研究了支持DL推理的Pellet1.4(简称Pellet......

针对Web服务在自动组合中出现的问题,提出一种基于语义标注的Web服务自动发现与组合模型。该模型是基于本体技术和OWL-S标准的发展......

对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及......

知识图谱是人工智能应用的基石,基于规则进行推理是知识图谱知识补全的重要方式。SWRL推理插件的局限性成为了知识推理补全的瓶颈......

在充分理解现有本体推理机的相关技术基础上,提出一种层叠推理机,研究层叠推理机的设计和实现方法。在实验中运用了Pellet推理机和......

随着语义网的迅速发展，基于本体的应用越来越多。语义网使Web上的数据具有机器可识别的语义，便于人机之间的交互。本体推理机是实现......

为实现空管人为差错致因及危险等级语义分析,开发人为差错本体分析软件.通过空管运行人为差错（Hera-Janus）及人为差错预测（Hera-Predi......