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

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

OWL本体在纺织企业的应用

探讨了本体技术和Web技术对纺织企业资源系统的支持。根据纺织企业的特点设计和建立了系统各模块的本体模型,并采用OWL本体语言对部分模块进行形式化描述。以某纺织企业的信息系统为实例,说明了OWL本体在纺织企业系统中的应用。结果表明,此模型能实现语义查询、信息共享和系统间的集成。纺织企业本体是企业内部或企业间公共的知识化描述,不仅可以促进知识共享和语义互操作问题,还方便了纺织企业内部和企业间知识管理和信息交换。

基于本体的IEC 61968标准信息模型一致性校验

针对目前电力信息交互总线模式在语义规范上的缺陷以及在互操作过程中出现的模型不匹配问题,提出在IEC 61968标准消息总线上增加语义模型验证环节,即进行信息模型的IEC 61968标准一致性校验。阐述了基于本体的信息模型验证机制,针对不同层面的应用需求,提出了基于公共信息模型(CIM)和基于子集的2种本体验证模式,并阐述了这2种模式的校验算法和流程。最后根据上述方法开发了一套模型验证工具,通过实际系统的应用测试,验证了其有效性与实用性。

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

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

基于本体的知识管理系统研究

系统阐述了知识管理的基本概念、本体技术,提出了基于本体技术的知识管理系统模型,把本体技术引入到知识管理系统中,构建企业的知识管理系统,最后介绍了一个基于本体的知识管理系统的体系结构和工作原理。

扩展OWL处理模糊知识

为了解决模糊Ontology的表示和推理问题,本文结合网络本体语言OWL的特点,在模糊描述逻辑的基础上,构建了RDF/XML式的模糊算子和公理．用来表达Ontology中的模糊概念和模糊声明；提出了OWL到模糊算子的转换规则,统一了模糊Ontology中确定知识的表示方法．最后,利用新增模糊词汇和转换规则解决了视频提取领域的模糊知识表示和推理任务．

带负授权RBAC模型的OWL表示及冲突检测

提出带负授权和权限层次的扩展RBAC模型并分析模型中由负授权引起的冲突。用OWL-DL表示该扩展模型并说明如何使用OWL-DL推理引擎检测扩展模型中潜在的冲突。

采用扩展OWL-S的决策模型表示框架

通过对OWL-S(Web Ontology Language for Service)进行必要的扩展,提出了包括模型表示、解程序表示、数据表示和相关本体库在内的综合表示框架来表示决策模型及其相关组件。该表示框架具有充分兼容网络和语义Web技术,适用范围广,易于用户交流,数据参数的设计考虑全面且有利于模型、解程序和数据的匹配等优点。以施工现场设施布置问题为例,说明了表示框架对模型的表示,重点对数据参数和模型内部结构的表示进行了描述。

基于OWL的CMM探测系统智能配置方法研究

为实现零件设计与误差测量的一体化,解决基于高级语言的零件工程语义规范化表示和三坐标测量机(CMM)探测系统智能配置的难题,将本体(OWL)技术应用到CMM探测系统智能配置中。利用MBD技术定义和表示零件,分析测量零件PMI信息之间的关联关系,并采用OWL术语构建其语义规范化表示的探测系统本体模型。设计一种从CAD系统提取信息后直接生成.owl文件的算法,将ontoSTEP本体与探测系统本体模型融合,得到包含PMI信息的探测系统本体;采用Jena建立探测系统的推理规则,使用知识库系统推理出合理的探测系统方案。对某公司的凹模冲压零件中的平行度公差进行推理验证,得到测头为TP200和SP25,与之对应的测座为A类和B类,验证了该推理方法的有效性。

基于OWL属性特征的语义检索研究

在文献检索中,概念的语义相似度计算直接影响查准率和查全率指标。将本体描述语言OWL(Web Ontology Language)的属性特征有机结合到语义检索模型中,设计本体内实体间匹配度算法,度量概念的相似度,并对检索指标参数化。设计的原型系统实验表明,通过参数化可以有效调节检索的性能指标,定制用户的检索。

属性RBAC策略的OWL表示和推理

将属性作为授权约束,给出了属性扩展的RBAC模型。提出了一种基于OWL的属性RBAC策略定义和表示方法。该方法支持复杂属性表达式、属性值偏序关系、角色层次关系和约束的定义;在推理机的支持下,可以执行访问控制决策推理,属性表达式支配关系判定和策略知识一致性检测。具体应用案例说明了该方法的可行性。

An OWL-based WordNet lexical ontology

This paper discribes a data representation for WordNet 2.1 based on Web Ontology Language (OWL). The main components of WordNet database are transformed as classes in OWL, and the relations between synsets or lexcial words are transformed as OWL properties. Our conversion is based on the data file of WordNet instead of the Prolog database. This work can be used to enrich the work in progress of standard conversion of WordNet to the RDF/OWL representation at W3C.

网络本体语言(OWL)的标准体系解析

网络本体语言(OWL)是万维网联盟(W3C)发布的网络本体语言标准体系,它通过6个标准文件对网络本体语言的理论、实例及规范性定义进行了完整阐述。对OWL系列标准规范体系的内容框架进行解析,并指出该标准规范体系的未来发展趋势,以供国内中文网络本体语言研究借鉴。

气象服务形式概念分析模型研究

为了解决气象服务领域隐含知识难以发现、概念处理不够准确的问题,在形式概念分析理论指导下,给出气象服务领域知识发现和表示模型。以互联网联盟(W3C)OWL2描述逻辑本体知识库应用为背景,提出使用一阶谓词定义多值背景属性,利用布尔代数范式表达概念外延的逻辑等价关系,从而获得具有清晰层次关系的概念格,并映射为领域本体,实现了智能代理下领域知识表达。最后以公路交通气象服务和电力气象服务为例,阐述气象服务形式概念分析及实现过程。

一种服务挖掘算法的研究与实现

如何从大范围的服务集合中有效、准确地发现目标服务是服务研究领域的重点和难点。提出了一种基于OWL-S的服务挖掘算法,该算法通过对服务发布和服务请求文档中的关键字及其频度产生权值,根据相识度算法来确定权值在一定范围内的服务是否匹配,从而找到目标服务,给出了算法的描述、计算方法及实现流程。最后,通过对实例进行实现和分析,表明该方法比现有文献有较大的提高。

经济学知识网格的构建

通过对相关工作的研究,结合经济学知识网格的实践,设计和实现了一个ESWP平台来辅助开发者以半自动方式构建知识网格.该平台包括三个主要的功能模块:本体构建模块、语义标注模块和进化管理模块.它们分别采用基于角色的用户管理和多版本机制来支持多用户协同的本体开发;采用支持向量机(SVM)和一组标注规则来支持文档级标注和词汇级标注;采用边标注边进化的方法来支持资源的进化管理.目前该平台已成功地应用于一个经济学知识网格原型———经济学学科知识检索系统.

基于OWL的本体建模与推理研究

分析了本体建模的一般原则、Web本体语言(Ontology Web Language,OWL)的主要特性及其语义推理的特点,对比分析了常用的本体建模方法。基于OWL,采用改进的"七步法",建立了坦克排战斗队形本体模型,并通过作战任务次序和战斗队形等推理,对所建立的本体模型进行了有效性检验。研究成果有助于计算机生成兵力理解语义,进一步增强作战仿真系统智能。

基于语义Web技术的油(气)井监视用例的介绍与评价

对于与监测、监控和优化相关的大量的工作流程而言,事件信息是非常有价值的。一个事件的主要属性,包括其类型、发生时间、受事件影响的实体、事件发生前、中、后实体的状态,以及该事件与其他事件之间的关系。这里总结了使用语义Web技术开发油(气)井监视软件的经验,通过探讨语义Web技术的实用性和适用性,建立了事件建模与分析系统,在事件建模的基础上,用语义网规则语言(SWRL)来表示有关事件关系的知识,事件之间的关系可使用现成的规则引擎自动推断得到。研究的目的是通过开发语义Web技术这一具有前景的方法,为数据处理领域事件建立具有可扩展性和可维护性的系统。

基于本体的临床试验数据语义查询

临床试验数据的描述中多自然语言、多专业医学术语的特点使得用户难以通过自定义的关键字快速定位所需的资源。该文采用基于本体的方法实现对于临床试验数据的语义查询。该系统的实现步骤如下:使用OWL(Web on-tology language)构建基于ICD-10和ICMJE标准的本体,包含疾病和临床试验类;从Clinical Trials注册库获取临床试验数据,标注为本体中的临床试验类实例;建立临床试验实例与疾病实例的联系;借助SPARQL实现对于临床试验数据结构化的查询。使用上述方法,用户能够通过疾病实例和相关属性的关键字,表达结构化的语义查询条件,精确定位所需的临床试验。与传统的仅基于关键字匹配的查询方法相比,该方法所表达的查询条件能够更加准确地描述用户的查询需求。

一种支持智能匹配检索的数据集成系统设计

提出一种解决分布异构数据集成问题的方法.首先向所有能提供数据资源的网络节点以数据服务单元为基本单位主动发布数据服务,然后用智能匹配方式检索分布数据服务来实现动态的数据集成查询.通过融合应用语义Web、Web本体语言和描述逻辑等具有智能特点的技术,该方法能充分利用数据的形式语义和基于本体概念的知识推理工作.基于该方法,设计一个数据集成原型系统,并对系统的核心组件进行实验测试.结果表明,本方法系统能有效、可靠工作,能兼顾解决数据集成系统的适应性和性能问题.