本体和描述逻辑在景点查询中的应用研究

旅游网站中的景点查询是针对单一选项的基于关键字的查询,查询结果不能完全令用户满意。为了解决这一问题,文中将本体和描述逻辑应用到景点查询中,提出了一种新方法。该方法首先依据景点领域本体对景点进行语义标注,然后将获取的用户查询请求预处理后提交给推理机,推理机则将景点知识库转化为概念包含结构,并将查询请求预处理后插入到该概念包含结构中。最后通过匹配算法,将推理结果按满意度返回给用户。实验证明,该方法能够提高查全率和查准率,从而证明了该方法的可行性和有效性。

基于描述逻辑的策略冲突检测方法研究及实现

采用基于策略的方法对安全管理、服务质量等进行监管,已经得到广泛应用。本文提供了一种基于描述逻辑的策略建模方式,将策略定义为两种类型,即授权策略和义务策略;建立策略相关的概念,结合概念之间的关系得到基于描述逻辑的策略模型。策略冲突会导致不一致的系统行为,是策略分析最重要的内容。本文深入研究了不同类型的策略冲突,在所建立的模型基础上提出了一套基于描述逻辑的策略冲突检测方法,并使用推理机Racer举例验证了这种检测方法。

基于Tableau算法的本体模型验证方法研究

文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的思想,对本体模型的概念定义以及概念间的关系进行可满足性测试,最后采用Racer推理机结合海军军械保障实例对基于描述逻辑的本体模型可满足性检验的有效性算法进行了验证。