Protege4.0 使用说明 OWL-Lite 它是OWL 中句法最简单的一种子语言。 对于简单的继承或者约束，它就显得非常适用。 一般用于合并同类字典和简单继承。 lite 是清淡的意思 OWL-DL OWL-DL 较之OWL-Lite，它的表达能力加强了。是基于描述逻辑的(Description Logics)，所以以DL 后缀。 正是因为有了描述逻辑，使自动推理成为了可能。 凡是遵循OWL-DL 规范的本体都有可能自动计算类的继承性和检测本体之间的矛盾。因此一般用于要推理本体之间的某种关系或者验证本体是否存在矛盾性，比OWL-Lite更进了一步。 这个教程就是基于OWL-DL的。 OWL-Fu ll OWL-Full 是最具有表达能力的子语言了。 它适用于高表达性的场合，如果要把一个事物完整的、精确的、力求无二义性地表达出来，它就非常适用。 但正因为它把约束定义太死，所以已经不适合做推理了，一旦推理，会出现大量的矛盾，也不适合进行合并工作，因为它很难与别的本体兼容。 如何选择你需要的子语言 以下 2 个建议你可以参考下 选择 Lite 还是DL，在于你觉得用Lite 来创建本体，是否已经够用。 选择 DL 还是Full，在于你觉得是自动推理更重要，还是精确表达更重要。DL 使建模更灵活，Full 使建模更完整更精确、表达力更强。 注意：Protégé 4 在编辑DL 和Full 的时候并没有什么明显区别，尺度把握在你自己心目中。 OWL 本体的重要组成部分 在早期的Protégé 版本中，你们会发现这样的术语，Protégé frames Instances, Slots and Classes，3 个重要的部分是：Instances、Slots、Classes，其实就对应 OWL 本体中的如下三个部分，它们是： Individuals 个体。代表一个领域里面的对象。可以理解成一个类的实例（instances of classes）。 比如在工人这么一个类中，小李、老王、阿三等人就是一个一个的Individual。 Properties Properties 翻译为属性的意思。但是它的真正含义不和面向对象编程语言中的属性一样，它的真正含义是 2 个个体之间的双重联系，或者可以认为是 2 个Individuals 之间的桥梁。 比如，hasChild 连接了老李和他的孩子狗剩这2 个个体。 另外，Properties 还有 3 个比较重要的特性，functional，transitive，symmetric，会在第四章详细介绍。 Classes 在OWL 中Classes 被翻译成个体的集合。当然它是一系列概念的语义表达，和编程语言中...
