利用Jena API处理OWL-S本体

　我们使用本体（Ontology）来获取某一领域的知识，本体描述该领域的概念，以及这些概念之间的关系。目前有很多种不同的本体语言，它们各有千秋，而W3C（World Wide Web Consortium）目前的最新标准是OWL。和Protégé一样，OWL让描述各种概念成为可能，与此同时，它还提供了其他很多功能。它具有更丰富的操作符——例如与、或和非；它立足于一个不同的逻辑模型（logical model），该模型能够更好的定义概念，可以用从简单概念构造出复杂的概念，不仅如此，该模型还允许你使用推理机（reasoner）来检查本体中的陈述（statement）和定义（definition）是否一致，或者判断出哪个概念更适合于哪个概念，从而帮你维护一个正确的本体等等，当允许一个类（Class）拥有多个父类的时候，这一点至关重要。

一、三类OWL

　　可以把OWL分为三个子语言：OWL-Lite、OWL-DL和OWL-Full，主要的分类依据就是它们的表达能力。其中，OWL-Lite是表达能力最弱的子语言，OWL-Full具有最强的表达能力，而OWL-DL的表达能力则在它们之间。我们可以认为OWL-DL是OWL-Lite的扩展，而OWL-Full是OWL-DL的扩展。

1.1 OWL-Lite

　　从语法上来说，OWL-Lite是三个之中最简单的一个，当你的本体中类的层次结构很简单，并且只有简单的约束（constraint）时适合使用它来描述本体。例如，在需要把一个已存在的辞典（thesauri）移植到另一个差不多简单的概念层次时，OWL-Lite可以做得又快又好。

1.2 OWL-DL

　　和OWL-Lite相比，OWL-DL的表达能力要丰富许多，它的基础是描述逻辑（Description Logics，即DL的由来）。描述逻辑是一阶逻辑（First Order Logic）的一个可判定的变种（译注：不一定准确，原文decidable fragment），因此可以用来进行自动推理，计算机从而可以知道本体中的分类层次，以及本体中的各种概念是否一致。

1.3 OWL-Full

　　OWL-Full是OWL的三种子语言中表达能力最强的一个，适合在那些需要非常强的表达能力，而不用太关心可判定性（decidability）或是计算完全性的场合下使用。不过也正是由于表达能力太强这个原因，用OWL-Full表示的本体是不能进行自动推理的。

二、该使用哪一种子语言

　　首先，要想确切的知道这三种子语言之间的区别，请参考OWL Web本体语言概要。尽管有很多因素需要考虑以决定该使用它们中的哪一个，但这里是一些最简单常用的原则。

• 对于OWL-Lite和OWL-DL，考虑OWL-Lite提供的那些简单构造子（construct）是否足以描述你的本体，若是使用OWL-Lite，否则使用OWL-DL。
• 对于OWL-DL和OWL-Full，考虑在你的应用中，是自动推理比较重要还是高表达能力（例如是否需要元类来建模）更重要，如果是前者，请使用OWL-DL，否则该使用OWL-Full。

　　Protégé的OWL插件在编辑OWL-Lite和OWL-DL的本体时不做区分，但可以在选项里选择以OWL-DL或是OWL-Full方式编辑本体。

三、OWL本体的组成

　　OWL本体的组成与Protégé提供的本体相似，基本上，只是在对组成部分的称呼有一些分别。例如OWL有个体（Individual）、属性（Property）和类（Class），而Protégé则分别称它们为实例（Instance）、槽（Slot）和类（Class）。

3.1 个体（Individual）

　　个体代表（领域中）我们实际感兴趣的那些对象，Protégé和OWL有一个重要的区别就是OWL不使用唯一命名假设（Unique Name Assumption，UNA），也就是说，两个不同的名称可以对应到同一个个体。例如“伊丽莎白女王”、“女王”和“伊丽莎白?温莎”可能都对应同一个人。在OWL里，你必须明确的表达个体之间是否为相同的，否则它们可能相同也可能不相同。

　　注：个体（Individual）有时也被称作实例（Instance），个体相当于类的实例。

3.2 属性（Property）

　　属性是个体之间的二元关系，也就是说，属性把两个个体连接在一起。例如，属性hasSibling可能会把Matthew和Gemma这两个个体连接起来，而属性hasChild会把Peter和Matthew这两个个体连接起来；属性可以有反向属性（Inverse），例如hasOwner的反向属性是isOwnedBy；属性也可以被限制为只能拥有一个值，即所谓的函数属性（functional）；属性还可以是具有传递性（transitive）或是对称的（symmetric）。

　　注：这里所说的属性即Protégé中槽（Slot）的概念，在描述逻辑中它们就是角色（Role），在UML等面向对象方法中它们就是关系（Relation），而在GRAIL等形式化表达中将它们称作特性（Attribute）。

3.3 类（Class）

　　OWL中的类代表一些个体的集合，OWL使用形式化（数学的）的方法精确描述出该类中成员必须具有的条件，例如，领域中全部猫的个体都属于Cat类。类可以通过继承关系组成层次结构，子类是父类中的特殊情况，例如考虑Animal和Cat这两个类，Cat可以是Animal的一个子类（即Animal是Cat的父类），这就表示了：所有的猫都是动物，所有Cat类的成员都是Animal类的成员，如果你是猫那么你也是动物，Cat类被Animal类所包含，等等。OWL-DL的一个重要特征就是父类和子类之间的（包含）关系可以被推理机自动计算出来。

　　注：概念（Concept）这个词有时被用来代替类，实际上，类是概念的一个具体表现。

接触Semantic Web的时间还不是很长，所以现在写的这方面内容算是笔记性质，很可能存在很多误解，欢迎指出或讨论:)

一般来说，我们在Protege这样的编辑器里构建了本体，就会想在应用程序里使用它，这就需要一些开发接口。用程序操作本体是很必要的，因为在很多情况下，我们要自动生成本体，靠人手通过Protege创建所有本体是不现实的。Jena是HP公司开发的这样一套API，似乎HP公司在本体这方面走得很靠前，其他大公司还在观望吗？

可以这样说，Jena对应用程序就像Protege对我们，我们使用Protege操作本体，应用程序则是使用Jena来做同样的工作，当然这些应用程序还是得由我们来编写。其实Protege本身也是在Jena的基础上开发的，你看如果Protege的console里报异常的话，多半会和Jena有关。最近出了一个Protege OWL API，相当于对Jena的包装，据说使用起来更方便，这个API就是Protege的OWL Plugin所使用的，相信作者经过OWL Plugin的开发以后，说这些话是有一定依据的。

题目是说用Jena处理OWL，其实Jena当然不只能处理OWL，就像Protege除了能处理OWL外还能处理RDF(S)一样。Jena最基本的使用是处理RDF(S)，但毕竟OWL已经成为W3C的推荐标准，所以对它的支持也是大势所趋。

好了，现在来点实际的，怎样用Jena读我们用Protege创建的OWL本体呢，假设你有一个OWL本体文件（.owl），里面定义了动物类（http://www.zoo.com/ont/Animal，注意这并不是一个实际存在的URL，不要试图去访问它），并且它有一些实例，现在看如下代码：

OntModelm = ModelFactory.createOntologyModel();
File myFile = ...;

m.read( new FileInputStream(myFile), "" );
ResIteratoriter = m.listSubjectsWithProperty(RDF.type,m.getResource( " http://www.zoo.com/ont/Animal " ));
while (iter.hasNext()){
Resourceanimal = (Resource)iter.next();
System.out.println(animal.getLocalName());
}

和操作RDF(S)不同，com.hp.hpl.jena.ontology.OntModel是专门处理本体（Ontology）的，它是com.hp.hpl.jena.rdf.model.Model的子接口，具有Model的全部功能，同时还有一些Model没有的功能，例如listClasses()、listObjectProperties()，因为只有在本体里才有“类”和“属性”的概念。

上面的代码很简单，从ModelFactory创建一个OntModel，从指定文件把模型读到内存里。再下面的代码是一个例子，作用是取出模型中所有Animal的实例（Individual，也叫个体），并打印它们的名称。要从OntModel里取实例，也可以用listIndividuals()方法，只不过你得在得到的实例中判断它们是不是Animal的实例，我觉得不如用上面这种简易查询的方式来得方便。

Jena里扩展了很多Iterator，比如ResIterator、StmtIterator和NodeIterator等等，刚开始用会觉得很别扭，好象还不如都用java标准的Iterator，不知道Jena的设计者是怎么考虑的。要熟练掌握还是得对整个Jena的API有全局掌握才好。

在循环里，我们得到的每个元素都是一个Resource，因为本体里的任何东西都是资源，不论你想得到Subject、Property还是Object，在Jena里实际得到的都是资源（Resource），在Jena里，Property是Resource的子接口，而Jena并没有Subject或Object接口。（注：在OWL本体中，Subject->Property->Object组成一个三元组，例如：张小刚->父亲->张大刚；或者：绵羊多利->rdf:type->动物，rdf:type是一个特殊的属性，表示前者是后者的实例）

暂时先写到这，关于在本体中引入其他本体和使用推理，下次继续。