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

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

CRL: an Extension to DAML+OIL-Ontology Language for the Semantic Web

Ontologies are set to play a key role in the Semantic Web.They can provide interoperability from syntactic level to semantic level not only for human user but also for software agent.DAML +OIL is an ontology language specifically designed for use on the semantic web,which combines the widely used modeling primitives from frame-based languages with the formal semantics and reasoning services provided by description logics and with existing Web standards(XML and RDF).It takes object oriented approach to describe the structure of specified domains with classes and properties.But ,DAML +OIL is not enough.Firstly,its expressiveness is too weak to express value restriction of property.It can only express cardinality restriction of property.Secondly,DAML+OIL can't express rule at all.But ,the representation of restriction and rule is very important to ontology representation.This thesis proposes a solution to extend the existing DAML+OIL,which makes extended DAML+OIL be able to express simple rule and value restriction of properties.