万维网本体语言OWL2
文章目录
一、引言
通俗的讲,RDF被限定为二元闭谓词,而RDF模式被限定为子类层次和属性层次。而RDF的这些特征还不够精确,需要更具表达力的知识表述更多的特征,因此产生了OWL2,适合表达术语知识。
二、本体语言的需求
一个领域中概念的显示的形式化规约成为本体(ontology),表达本体的语言称为本体语言(ontology language)。
本体语言主要包括一下几个方面:
- 良定语法:(well-defined syntax),使用它以一种无二义的方式写出某种语言允许你表达的所有事物。
- 形式语义:(formal semantic),精确描绘一种语言的含义,不涉及主观想象。形式语义使得可以对表达在句子中的知识进行推理。
- 表达能力:在基于RDF的基础上,需要有更精确的表达推理能力
- 类成员关系: ( 属 性 , 值 ) ⇔ 类 (属性,值) \Leftrightarrow 类 (属性,值)⇔类
- 分类: 类 成 员 关 系 ⇒ 自 身 关 系 类成员关系 \Rightarrow 自身关系 类成员关系⇒自身关系
- 等价关系与相同性:共享所有成员
- 不相交关系和不同性:不共享任何实例/明确不同的事物
- 类的二元组合:并集等超出子类关系的组合
- 属性的局部作用域:区别不同情境中的值域限制
- 属性的特性:传递/唯一/互逆
- 基数限制:限制属性的不同取值数目
- 一致性:能够检测类属性之间的冲突
- 推理支持:(reasoning support),基于形式语义,自动推理本体的正确性。其基本过程是将一个本体语言映射到一个已知的逻辑系统,利用该系统机型推理,获取本体语言的形式语义和推理支持。本体语言需要在表达能力和高效推理支持之间权衡。
三、OWL2和RDF/RDFS的兼容性
OWL2采用RDFS含义的类和属性,但是对于RDF的基础建模原语不能以简单的形式包含。
两种语义:OWL2分为两个不同的子语言,各自用油不同的底层语义,面向满足需求全集的不同方面。从而将高效的表达能力和完整的逻辑组合相融合。
3.1 OWL2 Full:基于RDF的语义
OWL2 Full允许以任意的方式将OWL2原语与RDF和RDF模式组合。其优点在于被映射到一个基于RDF的语义(RDF-based semantic),因此在结构和语义上能够完全向上兼容RDF;而其缺点是由于其过于强大而变得不可判定和无法推理。
3.2 OWL2 DL:直接语义
OWL2 DL被映射到描述逻辑(DL)上,限制了OWL2、RDF和RDFS的原语使用方式:不允许OWL2的原语运用于其它原语;只能定义非文字资源的类;严格区分了值域包含非文字资源的属性和关联文字值的属性。
这些限制保证该语言维护了与一个广泛理解的描述逻辑之间的直接对应,允许高效的推理支持;但与此同时,也摒弃了与RDF之间的兼容性。
四、OWL语言
- 在OWL2中