Racer推理机相关论文
基于策略的方法为复杂IT系统的安全访问、服务质量控制等提供了重要的技术手段。一方面,基于策略的方法能够在不改变实现代码的情......
【摘 要】本文是利用本体可实现领域知识的共享和复用,以及可推理的特性,将其应用到课程资源管理领域中。重点研究了课程领域本体的......
旅游网站中的景点查询是针对单一选项的基于关键字的查询,查询结果不能完全令用户满意。为了解决这一问题,文中将本体和描述逻辑应......
采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两......
文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的......