13、OWL与OWL2：语义网中的知识表示语言解析

OWL与OWL2：语义网中的知识表示语言解析

1. OWL概述

2004年，OWL的第一个版本作为W3C推荐标准发布，自此成为语义网栈的一部分。它比RDF(S)更具表达能力，并且可以用RDF数据模型及其具体语法来表示。与RDFS一样，OWL采用开放世界假设（OWA），不具有唯一名称假设（UNA）。这意味着如果没有明确说明某件事为假，我们不能认定它为假，并且两个不同的名称可以指代同一个实例。

2. OWL基本概念

• 公理（Axioms） ：是关于某个领域的陈述，被断言为真。包括：
  • 类公理，例如 :VegetarianPizza rdfs:subClassOf :Pizza
  • 属性公理，例如 :isToppingOf owl:inverseOf :hasTopping
  • 个体公理（断言），例如 :Germany owl:differentFrom :Italy
• 实体（Entities） ：是本体的基本元素，通过IRI标识，是命名的术语，例如：
  • 类，如 :Pizza 用于描述所有披萨的集合
  • 属性，如 :hasTopping 用于表示披萨与其配料之间的关系
  • 个体，如 :PetersPizza 表示一个