基于时序描述逻辑的Web服务本体语言过程模型语义

针对Web服务本体语言(OWL-S)过程模型存在动态交互和时序特征表达能力不足的问题,提出一种基于时序描述逻辑的过程模型形式化方法。通过对OWL-S过程模型的原子过程和组合过程语义进行形式化的描述,得到了OWL-S的过程模型的动态语义,最终实现了对OWL-S过程模型的形式化建模。实例结果验证了所提方法的可行性,为进一步的分析和验证提供了基础。

基于Web本体描述语言的偏好表示和推理

在偏好的逻辑链表示方法的基础上,提出了使用Web本体描述语言来表达偏好的方法。通过使用Web本体描述语言可以将偏好的表达和推理很自然地结合在一起,而成熟的描述逻辑推理器可保证用Web本体描述语言来表达偏好的实用性。应用偏好算子使用户能够表达复杂的偏好,满足了用户多样化的搜索需求。此外,使用Web本体描述语言还可以增加条件偏好,从而增强偏好的表达能力。

Web本体语言OWL

随着对语义Web研究的深入,人们越来越关注在Web上信息内容的表示和检索问题。在语义Web的七层模型中,建立在RDF模式层之上的本体语言层用于形式化描述Web文档中词汇的含义,是建立语义Web的关键环节[5]。该文介绍了W3C最新给出的Web本体语言OWL,给出了OWL3个子语言构造成分的含义说明,并比较了3种子语言间的差别。

面向Web的知识描述语言

提出了Web知识描述层次模型 ,采用本体论技术从类、槽和槽约束3方面对领域知识建模 ,结合描述逻辑、框架系统建立了基于XML(eXtensibleMarkupLanguage)和本体论技术的知识描述语言 (KDL) .然后 ,介绍了KDL的扩展语法 ,并从一阶逻辑的角度对KDL的语义特征进行分析 ,提供KDL到FOL(First OrderLogic)的映射方法以完成KDL语言和FOL表达式之间的转化 .实践证明KDL具有规范的语法和精确的语义 。

描述逻辑综述

描述逻辑是一种知识表示的形式化语言,是一阶逻辑的可判定子集。作为一种知识表示的有效机制,描述逻辑被广泛地应用到计算机科学的许多领域中。本文对目前描述逻辑的研究与应用现状进行了综述性的介绍,并且从描述逻辑的定义、描述逻辑的基本语法及语义、体系结构以及描述逻辑在语义 Web 中的地位等方面做了系统阐述。

面向电子商务的知识描述语言

针对电子商务自动化、智能化和移动化的新趋势 ,应用本体论对电子商务知识建模 ,提出电子商务知识描述的分层框架 ,结合描述逻辑、框架系统设计了基于XML和本体论技术的电子商务知识描述语言(KDL)。介绍了KDL的语法 ,从一阶逻辑的角度分析KDL的语义特征 ,提供KDL描述到一阶逻辑表达式的映射方法。最后 ,通过实例证明KDL具有规范的语法、精确的语义和较强的逻辑推理能力。

能处理分层信度知识的描述逻辑PB-SHOIN(D)

对描述逻辑SHOIN(D)进行扩展,提出一种能处理分层信度知识的描述逻辑PB-SHOIN(D),给出了PB-SHOIN(D)的语法和语义,并证明了PB-SHOIN(D)具有超协调性和非单调性,为表示和处理语义Web中具有分层信度的知识提供了一种有效方法.

从网页目录到轻量级本体——自然语言处理及形式化

为了解决以自然语言表示节点标签的分类树很难通过自动软件agents来进行自动推理的问题,通过词性标志、词义辨析、连接词辨析和受约束的自然语言定义及转换等步骤,将分类树中每一个节点对应的自然语言标签转换成了机器能够识别的逻辑表达式,从而使整个分类树转换成了一个轻量级本体,它适合应用在数据整合的语义匹配、文档分类和语义搜索等方面的自动推理,从而促进了本体知识的自动化推理,为以后文本自动检索奠定基础。

对OWL及其逻辑基础的研究

OWL是WebOntology的表示语言,是实现语义Web的语言工具。对OWL三个子语言 的语法进行了比较分析,重点对OWL的逻辑基础(即描述逻辑)进行了讨论,就描述逻辑如何用于表 示本体进行了研究,提出了一种基于描述逻辑的本体模型,并对描述逻辑的推理机制进行了阐述。

语义Web技术及其逻辑基础

随着语义Web的产生和发展,人-机及机-机间的交流与协作将变得更加方便。该文从介绍语义Web概念及体系结构入手,对关键技术XML,RDF及Ontology进行了对比分析说明,同时研究了其逻辑基础(描述逻辑),分析了其语法语义及推理任务。对语义Web的未来发展热点问题进行了展望。

基于本体技术的IEC 61970语义信息模型

基于形式语义学理论分析了IEC 61970标准规定的公用信息模型语义空间的互操作性,介绍了IEC 61970对资源描述框架(resource description framework,RDF)进行的模式扩展和语法简化情况。针对RDF难以完备表达语义信息模型的缺点,提出利用基于描述逻辑的本体网络语言实现较完备的IEC 61970语义信息模型,分析了其概念定义公理、概念约束公理和属性约束公理的构建方法,以及进行基本逻辑推理的方法和特点。实例表明,结合本体技术构建语义信息模型可以较好地弥补RDF在语义表达上的不足。

基于OWL的仿真想定本体构建方法

研究了作战过程,提出了基于OWL的作战单元本体、装备本体、任务本体和仿真想定本体的构建方法,采用了描述逻辑对作战相关概念、关系进行了推理,检验了概念、关系的一致性,优化了概念层次结构。通过实例分析,对构建的本体进行了检验。结果表明:该方法实现了军事领域概念的合理分类和想定数据语义的智能检测,可为想定开发人员自动地提供决策支持。

基于OWL-DL的制造加工服务描述建模方法

为解决Internet上大量制造服务描述的异构性问题,实现网络环境下制造加工服务的快速发现与匹配,提出了二层—三元组模块化制造加工服务描述建模方法,构建了由核心本体和可扩展本体组成的制造加工服务描述语义网。为实现制造服务分类及其语义相似匹配推理,用描述逻辑建立制造加工知识之间的关系及其约束公理,运用Web本体语言OWL-DL实现制造加工服务规范描述。给出了面向用户的制造服务描述模型生成与应用框架,开发了支持"制造加工公共服务平台"构建的制造加工服务规范化描述建模和自动化发现与匹配的原型应用系统。

非一致OWL本体的推理方法研究

针对目前OWL推理机无法在非一致本体上进行推理的问题,提出了一种基于回答集程序的非一致本体推理方式,将OWL本体翻译为一类逻辑程序:HEX回答集程序,把本体推理问题规约为回答集程序求解问题。并通过在非一致本体上的推理实验,验证了该类方法的有效性。

基于本体的体系使命建模及分析方法

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型。为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值。采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性。

本体在概念建模中的应用研究

概念建模是指创建概念模型的行为,这些模型用来描述问题,与具体用于解决问题的技术和策略独立无关。在过去数十年中,大量概念建模方法和工具纷纷涌现,许多理论如本体论、语言学和认知学的引入,增强了概念建模的理论基础,基于本体的概念建模研究得到了充分重视。探讨了基于本体的概念建模理论、概念建模语言中本体的作用、上层本体与领域本体的关系;对基于本体的概念模型以及本体语言及其逻辑基础在概念模型的一致性检测的应用进行了研究。

运用Jena对本体模型进行推理及其应用

推理作为知识表示的核心在语义Web中扮演着重要的角色。结合本体语言OWL、本体建模工具protégé和语义网系统开发工具Jena API,首先通过实例论述了如何针对本体模型进行推理,然后又详细论述了推理在徐悲鸿数字博物馆中的应用。

军械保障信息系统资源本体的构建

为解决现代军事信息管理系统中异构数据一致性差,交互能力弱的问题,引入了信息资源领域本体作为信息数据统一的平台。文章在分析本体结构及其描述语言的基础上,提出了基于形式语言描述的,类似于软件开发原型法的三段式螺旋建模方法,并且使用OWL本体描述语言和Protégé建模工具实现了军械保障信息系统部分本体模型的建立。此方法具有可描述性好,建模效率高的优点,可以为语义Web服务构建信息管理系统提供技术支持。

Web服务语义描述研究综述

随着Internet的普及和延伸,跨平台、跨语言和松耦合的Web服务技术应运而生.它将具有执行任务能力的资源封装成Internet上的Web服务,并通过发布其形式化描述使服务能被外界发现和调用,因而服务描述是构建Web服务的基石.语义Web服务是Web服务的发展方向,实现这发展方向的落脚点则是赋予服务描述足够的语义信息.将Web服务的语义划分为静态和动态两个层次,并根据这两个层次综述了基于本体描述语言、逻辑语言和过程模型的服务语义描述方法.最后对比分析了这忖些研究成果,并展望了服务语义描述研究的未来前景.

本体在面向对象模型中的推理应用

复杂的面向对象模型系统中往往隐藏着语义错误,目前的对象建模工具由于缺乏自动推理能力而难以检测出来。本文提出了一种基于本体的系统推理检测方法。基于本体与对象模型的相似之处,将对象模型转换为本体,通过对转换后的本体模型进行推理,以便检测出系统中所存在的不一致性等问题。从而促进软件的开发工作。