第四章 网络本体语言OWL
RDF和RDF Schema的表达能力还非常有限,RDF局限于二元常谓词,RDFS局限与子类分层和属性分层,以及属性的定义域和值域限定。
然而万维网联盟(W3C)网络本体工作组确定的一些语义网特征用例所需要的表达能力更强。
美国和欧洲的许多研究机构意识到需要更为强大的本体建模语言,并联合提出了一个语言DAML+OIL,作为网络本体工作组定义网络本体语言(OWL)的起点,而OWL的目标是成为语义网的公认标准本体语言。
本体语言需求
本体语言用于对领域模型进行显示的形式化描述。
形式语义能精确刻画知识的含义。一种用途是允许人们推导知识,如 类属关系、类等价、相容、分类。
语义是推理支持的一个先决条件。推理支持的重要作用包括检查本体知识的相容性、检查类间的隐含关系、对实例进行自动分类。
形式语义和推理支持的实现通常是把本体语言对应到已知的逻辑系统,并使用已有的自动推理机。OWL对应于描述逻辑,利用现有描述逻辑推理机如FaCT和RACER。各种描述逻辑系统是谓词逻辑的一个具有高效率推理支持的子集。
OWL语言
语法:OWL以RDF和RDFS为基础,使用基于XML的RDF语法。
头部:OWL文档通常称为OWL本体或RDF文档。一个OWL本体的根元素是一个rdf:RDF元素,用来指定一系列命名空间。
类元素:使用owl: Class元素
属性元素:OWL有两种属性,对象属性和数据类型属性。
属性约束:用rdfs: subClassOf可以规定一个雷C是另一个类D的子类。
特殊性质:
布尔组合:
枚举:
实例:
数据类型:
版本控制信息:
OWL分层:
例子
一个非洲野生生物本体
一个打印机本体
OWL自描述
命名空间:
元类:
类等价:
类的组合:
类属性约束:
属性:
未来扩展
模块与导入