计算机科学论坛--请教owl full/dl/lite区别:

贴子主题：请教owl full/dl/lite区别:

本主题类别:

（1）OWL Lite 支持的用户是那些需要一个分类体系和简单约束功能的人。
例如当OWL Lite 支持集的约束时，它只允许集的的值为0 或者1。为
OWL Lite 提供叙词表和分类法的快速移植支持功能，应该比为其它的
表达能力更强的子语言提供这样的支持功能更为简单。
（2）OWL DL 支持的用户是想获得最大表达能力，完全计算能力（所有的
推论都可计算）以及确定性（所有的计算都在限定时间之内完成）。
OWL DL 包括所有OWL 语言的约束如类型区分（type seperation）。
（一个类不能同时也是一个对象或者属性，一个属性不能同时也是一个
对象或者类）。OWL DL 之所以这样命名是由于它和描述逻辑
（Description Logics，一个研究一阶逻辑的某一部分的研究领域）10的
一致性（correspondence）。OWL DL 的设计目的是支持现有的描述逻
辑和为推理系统提供预期的计算属性（computational properties）。
（3）OWL Full 支持的用户是想获得最大的表达能力但不确定是否需要计算
性，并的RDF 句法上的自由的用户。例如，在 OWL Full 中，一个类
能能同时作为对象的集合，它本身也可以作为一个对象。与OWL DL 的
另一个很大的不同是：一个 owl:DatatypeProperty 能标记为：
owl:InverseFunctionalProperty。OWL Full 允许一个本体增加一个前控
(RDF or OWL)词表的意义。需要注意的是，任何推理软件都不可能支
持OWL Full 的每个功能。

采用OWL 的本体开发者应该考虑到哪种子语言更适合他们的需要。选择
OWL Lite 还是OWL DL，要根据用户对OWL 所提供的表达能力的约束能力的
需求程度。用于OWL Lite 的推理器（Reasoners）将有令人满意的计算属性，
而用于OWL DL 的推理器在遇到其它具有确定性的子语言时，将按最坏情况处
理，服从复杂性更高的子语言。选择OWL DL 还是 OWL Full 主要根据用户对
RDF Schema 建模工具的需求程度（例如：定义类的类）。OWL Full 和OWL DL
比较，对推理的支持比预期的相对较弱。


	W 3 C h i n a ( since 2003 ) 旗下站点苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》	78.125ms