Ontology推理系统的设计与实现

SHOQ(D)描述逻辑可以对概念、角色.个体、数据类型进行推理,能够克服OIL语言不能处理命名的个体和具体数据类型的缺点.该文设计并实现了SHOQ(D)描述逻辑的ontology推理系统,在SHIQ表算法的基础上,通过修改和添加数据类型和个体的相关规则,得到SHOQ(D)表算法.该系统的实现基于FACT系统,提供了对术语知识库TKB进行操作的函数和宏,主要有向TKB中添加公理、进行推理和回答查询等.实验结果验证SHOQ(D)系统的表达能力优于FACT系统.     

面向不确定性知识表示的描述逻辑SROIQ(D)不确定性扩展

为增强描述逻辑对不确定性知识的表示能力,提出了一种对描述逻辑SROIQ(D)进行不确定性扩展的方法。该方法基于不确定性理论和描述逻辑SROIQ(D),针对知识表示中大量存在的模糊性、粗糙性和随机性知识,首先给出了模糊粗糙概念条件概率的计算方法,并以此为基础对SROIQ(D)进行了不确定性扩展;然后基于模糊粗糙逻辑和概率逻辑分别给出了扩展后的语法、语义和推理任务,使不确定性SROIQ(D)描述逻辑具备同时处理3类不确定性知识的能力。     

从ALC到SHOQ（D）：描述逻辑及其Tableau算法

描述逻辑是一类知识表示的形式系统，并成为语义Web的逻辑基础。Tableau是描述逻辑的基本证明论，基于Tableau的算法提供7描述逻辑的推理机。本文系统地阐述了对应于语义Web语言从基本的ALC到SHOQ(D)描述逻辑基础及其相应的Tableau算法。     

一种描述逻辑SROIQ(D)的云模型扩展

客观世界存在大量的不确定性现象和知识。鉴于经典描述逻辑在表示不确定知识上存在一定缺陷,模糊描述逻辑在表示不确定知识时会丢失模糊性,为此,将云模型引入到描述逻辑SROIQ(D)中,实现对SROIQ(D)的云扩展,提出基于云模型的不确定描述逻辑C-SROIQ(D)。并给出其完整的语法、语义及知识库,从而实现了描述不确定性现象,保留了模糊性,还将模糊性和随机性相关联,丰富了描述逻辑的表达能力。     

应用于电子商务的语义Web核心语言分析

到目前为止已有多种基于语义Web的语言，这些语言实现了基于Web的知识表示、共享和重用。重点分析了语义Web的几种语言：XML规范簇、RDF、RDF Schema、DAML OIL。在此基础上给出了语义Web技术的重要应用——电子商务中核心语言的分层结构。该结构中XML规范簇完成了数据描述功能，RDF用于描述元数据，RDF Schema提供了基本的本体原语，DAML OIL提供了推理功能，利用这些语言，可以实现电子商务中数据描述的统一性、通用性及互操作性。     

CRL:对语义Web上的Ontology表示语言DAML+OIL的一种扩充方案

Ontologies在语义Web中起着举足轻重的作用,它不仅能为人类用户而且能为软件Agent提供从语法层次到语义层次上的互操作性。DAML+OIL是专门为语义Web设计的一种Ontology描述语言,它将框架系统、描述逻辑和Web标准这三个不同领域的优点结合了起来,采用面向对象的方法用类和属性来描述领域的结构。但是DAML+OIL也有不足之处,其一是约束表达能力较弱,只能表示属性值的基数约束,不能表示属性值的区间约束;其二是不能表示任何规则,而无论是约束表示还是规则表示对Ontology都是非常重要的。该文提出一种对DAML+OIL的扩充方案,使得扩充后的DAML+OIL可以表示简单的规则和属性值的区间约束。     

基于进化分布式本体的语义Web服务动态发现

在语义Web服务中,确认分布式本体变动、维护其一致性并实现基于进化的分布式本体的Web服务语义查询成为了一个重要挑战．该文使用SHOQ(D)的分布式描述逻辑扩展(DDL)描述相互关联的异构分布式本体,提出了优先分布式知识库(PDK)的概念,探讨了PDK方法的一些重要属性．PDK用来描述分布式本体的进化和更新,它适用于语义Web服务环境．基于PDK,文中还给出了相应的语义查询方法,Web服务的语义查询可以归结为检测同这个查询对应的概念在最优先PDK中的p-可满足性．     

面向语义Web的软件模式的描述

软件模式用于捕捉开发面向对象软件的经验,可以被复用。文中分析了应用XML,RDF(S)和DAML OIL三者描述软件模式的区别,并提出应用DAML OIL来描述软件模式以及软件模式之间的关系,使软件模式的描述具有精确的语义,从而使计算机可以理解Web上的软件模式,为以后研究基于语义Web和具有推理能力的搜索奠定了基础。     

利用Prolog实现语义网中的知识推理

元数据的交换是实现语义网应用的基础。在语义网的架构中,Ontology语言利用自己的元级描述能力来建立元数据之间的联系,从而实现语义的交换。本文分析了DAML OIL语言的知识描述能力,并对它蕴含的关于类的知识建立了Prolog的推理规则,最后结合XSBProlog推理引擎和InterProlog接口用Java语言实现了对Ontology的推理,从而实现了不同Ontology之间的元数据交换。     

语义网描述语言分析

语义网是对WWW的延伸,是在现有WWW基础架构上为网页扩展面向计算机的数据并增加专为计算机使用的文档,更利于人机间的合作和机器问的交互。为解决网上知识表示问题,特分析比较了如RDF、OIL、DAML等几种典型的语义描述语言,讨论了其要解决的主要问题。     

Extending the Unified Modeling Language for ontology development

There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integration of knowledge and services depends on the existence of explicit declarative semantic models (ontologies). We have been building tools for ontology development based on the Unified Modeling Language (UML). This allows the many mature UML tools, models and expertise to be applied to knowledge representation systems, not only for visualizing complex ontologies but also for managing the ontology development process. UML has many features, such as profiles, global modularity and extension mechanisms that are not generally available in most ontology languages. However, ontology languages have some features that UML does not support. Our paper identifies the similarities and differences (with examples) between UML and the ontology languages RDF and DAML+OIL. To reconcile these differences, we propose a modification to the UML metamodel to address some of the most problematic differences. One of these is the ontological concept variously called a property, relation or predicate. This notion corresponds to the UML concepts of association and attribute. In ontology languages properties are first-class modeling elements, but UML associations and attributes are not first-class. Our proposal is backward-compatible with existing UML models while enhancing its viability for ontology modeling. While we have focused on RDF and DAML+OIL in our research and development activities, the same issues apply to many of the knowledge representation languages. This is especially the case for semantic network and concept graph approaches to knowledge representations. Initial sbmission: 16 February 2002 / Revised submission: 15 October 2002 Published online: 2 December 2002     

语义Web及其描述语言

The semantic Web is the direction of the Internet. This paper introdues the framework of the semantic Web and some language used to describle it,including RDF/RDFS and DAML OIL etc. At the same time, this paper dicusses that how denote the knowledge of the semantic Web with the logistic method,and makes a simple reason.     

语义Web语言DAML＋OIL及其应用初探

1.引言 1.1 产品信息集成的现状和面临的局限产品信息描述格式的不统一使得传统CIMS之间产品信息不能共享,数据交换产生障碍。STEP标准及其EXPRESS语言统一了产品信息的建模标准和数据结构,使得产品信息由原来的机器不可读(machine-unreadable)变为机器可读(machine-readable),从而在数据格式上解决了产品信息的共享和交换问题。但是,分布、开放、动态的计算环境,使得企业内部及企业     

语义Web上的Ontology表示语言研究

本体在语义Web中起着重要的作用，它能为软件Agent提供从语法层次到语义层次上的互操作性。在需求与技术的驱动下，多种本体表示语言也应运而生。介绍了3种本体表示语言（RDF Schema、DAML＋OIL、OWL），并对它们进行了比较分析。     

Web本体语言的分析与比较

本语言用于形式化描述Web文档中词汇的含义,在语义Web的7层模型中占有重要的位置。目前不同的组织提出了多种本体建模语言：RDF,RDFS,OIL,DAML OII和OWL。在介绍这些本体语言的基础上对它们进行了分析和比较,指出了它们相对某些关键特性的差异。