导读:
OWL全称Web Ontology Language,是W3C推荐的语义互联网中本体描述语言的标准。它是从欧美一些研究机构的一种结合性的描述语言DAML+OIL发展起来的,其中DAML来自美国的提案DAML-ONT,OIL来自欧洲的一种本体描述语言(二者在上文都有介绍)。在W3C提出的本体语言栈中,OWL处于最上层,见下图。
针对不同的需求OWL有三个子语言,描述列表如下:
子语言 描述 例子
OWL Lite 用于提供给那些只需要一个分类层次和简单的属性约束的用户。 支持基数(cardinality),只允许基数为0或1。
OWL DL 支持那些需要在推理系统上进行最大程度表达的用户,这里的推理系统能够保证计算完全性(computational completeness,即所有地结论都能够保证被计算出来)和可决定性(decidability,即所有的计算都在有限的时间内完成)。它包括了OWL语言的所有约束,但是可以被仅仅置于特定的约束下。 当一个类可以是多个类的一个子类时,它被约束不能是另外一个类的实例。
OWL Full 支持那些需要在没有计算保证的语法自由的RDF上进行最大程度表达的用户。它允许在一个Ontology在预定义的(RDF、OWL)词汇表上增加词汇,从而任何推理软件均不能支持OWL FULL的所有feature。 一个类可以被同时表达为许多个体的一个集合以及这个集合中的一个个体。
这三种子语言之间的关系是:
每个合法的OWL Lite都是一个合法的OWL DL;
每个合法的OWL DL都是一个合法的OWL Full;
每个有效的OWL Lite结论都是一个有效的OWL DL结论;
每个有效的OWL DL结论都是一个有效的OWL Full结论。
用户在选择使用哪种语言时的主要考虑是:
选择OWL Lite还是OWL DL主要取决于用户需要整个语言在多大程度上给出了约束的可表达性;
选择OWL DL还是OWL Full主要取决于用户在多大程度上需要RDF的元模型机制(如定义类型的类型以及为类型赋予属性);
在使用OWL Full而不是OWL DL时,推理的支持不可预测,因为目前还没有完全的OWL Full的实现。
这三种子语言与RDF的关系是:
OWL Full可以看成是RDF的扩展;
OWL Lite和OWL Full可以看成是一个约束化的RDF的扩展;
所有的OWL文档(Lite,DL,Full)都是一个RDF文档;
所有的RDF文档都是一个OWL Full文档;
只有一些RDF文档是一个合法的OWL Lite和OWL DL文档。
OWL的语言规范这里不再介绍。
5. KIF[24]
Knowledge Interchange Format (KIF) 是一种为了在不同的计算机系统(这里的不同是指由不同的程序员在不同的时间使用不同的语言开发等)之间交换知识而设计的语言。它的主要目的不是和人交互,也不是在一个计算机系统内部作为知识的表现方式,只有在不同的计算机系统之间需要交换知识的时候,它们把各自的内部表现方式转换成KIF,交互后再转换成各自的方式。它是由斯坦福大学的The Logic Group提出并实现的,是一种美国标准(ANSI)。
在KIF的设计中,以下特征是其本质特性:
有公开的语义。它不再需要专门的解释器。
在逻辑上是全面的。可以对任意的逻辑语句进行表达。
提供对元知识的表现。
除了这几个本质特征以外,KIF还尽量的最大化实现能力和可读性。
6. SHOE[25]
全称:Simple HTML Ontology Extensions,简单HTML的本体扩展。这是一种与XML一致的互联网知识表达语言,使得网页编辑者可以对他们的互联网文档进行标注。由马里兰大学计算机系提出的,但是目前他们有关本体的研究项目已经使用OWL和DAML+OIL作为互联网本体的描述语言,SHOE已经停止研究了。
SHOE是HTML的一个超集,它扩展了一些标记,使得在HTML中可以增加任意的语义数据。它的标记有两类,一类用于创建本体,一类用于注解文档。
7. XOL[26]
Ontology Exchange Language,本体交换语言。源于SRI International's Artificial Intelligence Center (AIC)的Bioinformatics Research Group。XOL设计之初是为生物信息学领域本体的交换,但是它可以应用于各种领域。它是一种简单通用的定义本体的方法。基于XML和RDF Schema有两种变体。其目的是在不同的数据库、本体开发工具、或者其他应用程序之间交换本体。
本文转自
http://soa.5d6d.com/redirect.php?fid=4&tid=74&goto=nextnewset
OWL全称Web Ontology Language,是W3C推荐的语义互联网中本体描述语言的标准。它是从欧美一些研究机构的一种结合性的描述语言DAML+OIL发展起来的,其中DAML来自美国的提案DAML-ONT,OIL来自欧洲的一种本体描述语言(二者在上文都有介绍)。在W3C提出的本体语言栈中,OWL处于最上层,见下图。
针对不同的需求OWL有三个子语言,描述列表如下:
子语言 描述 例子
OWL Lite 用于提供给那些只需要一个分类层次和简单的属性约束的用户。 支持基数(cardinality),只允许基数为0或1。
OWL DL 支持那些需要在推理系统上进行最大程度表达的用户,这里的推理系统能够保证计算完全性(computational completeness,即所有地结论都能够保证被计算出来)和可决定性(decidability,即所有的计算都在有限的时间内完成)。它包括了OWL语言的所有约束,但是可以被仅仅置于特定的约束下。 当一个类可以是多个类的一个子类时,它被约束不能是另外一个类的实例。
OWL Full 支持那些需要在没有计算保证的语法自由的RDF上进行最大程度表达的用户。它允许在一个Ontology在预定义的(RDF、OWL)词汇表上增加词汇,从而任何推理软件均不能支持OWL FULL的所有feature。 一个类可以被同时表达为许多个体的一个集合以及这个集合中的一个个体。
这三种子语言之间的关系是:
每个合法的OWL Lite都是一个合法的OWL DL;
每个合法的OWL DL都是一个合法的OWL Full;
每个有效的OWL Lite结论都是一个有效的OWL DL结论;
每个有效的OWL DL结论都是一个有效的OWL Full结论。
用户在选择使用哪种语言时的主要考虑是:
选择OWL Lite还是OWL DL主要取决于用户需要整个语言在多大程度上给出了约束的可表达性;
选择OWL DL还是OWL Full主要取决于用户在多大程度上需要RDF的元模型机制(如定义类型的类型以及为类型赋予属性);
在使用OWL Full而不是OWL DL时,推理的支持不可预测,因为目前还没有完全的OWL Full的实现。
这三种子语言与RDF的关系是:
OWL Full可以看成是RDF的扩展;
OWL Lite和OWL Full可以看成是一个约束化的RDF的扩展;
所有的OWL文档(Lite,DL,Full)都是一个RDF文档;
所有的RDF文档都是一个OWL Full文档;
只有一些RDF文档是一个合法的OWL Lite和OWL DL文档。
OWL的语言规范这里不再介绍。
5. KIF[24]
Knowledge Interchange Format (KIF) 是一种为了在不同的计算机系统(这里的不同是指由不同的程序员在不同的时间使用不同的语言开发等)之间交换知识而设计的语言。它的主要目的不是和人交互,也不是在一个计算机系统内部作为知识的表现方式,只有在不同的计算机系统之间需要交换知识的时候,它们把各自的内部表现方式转换成KIF,交互后再转换成各自的方式。它是由斯坦福大学的The Logic Group提出并实现的,是一种美国标准(ANSI)。
在KIF的设计中,以下特征是其本质特性:
有公开的语义。它不再需要专门的解释器。
在逻辑上是全面的。可以对任意的逻辑语句进行表达。
提供对元知识的表现。
除了这几个本质特征以外,KIF还尽量的最大化实现能力和可读性。
6. SHOE[25]
全称:Simple HTML Ontology Extensions,简单HTML的本体扩展。这是一种与XML一致的互联网知识表达语言,使得网页编辑者可以对他们的互联网文档进行标注。由马里兰大学计算机系提出的,但是目前他们有关本体的研究项目已经使用OWL和DAML+OIL作为互联网本体的描述语言,SHOE已经停止研究了。
SHOE是HTML的一个超集,它扩展了一些标记,使得在HTML中可以增加任意的语义数据。它的标记有两类,一类用于创建本体,一类用于注解文档。
7. XOL[26]
Ontology Exchange Language,本体交换语言。源于SRI International's Artificial Intelligence Center (AIC)的Bioinformatics Research Group。XOL设计之初是为生物信息学领域本体的交换,但是它可以应用于各种领域。它是一种简单通用的定义本体的方法。基于XML和RDF Schema有两种变体。其目的是在不同的数据库、本体开发工具、或者其他应用程序之间交换本体。
本文转自
http://soa.5d6d.com/redirect.php?fid=4&tid=74&goto=nextnewset