Protege软件是一款专业且优秀的生物模型图像处理工具，通过该软件能帮助用户制作模型，从而让相关从业人员更好处理建模问题，而且它还提供了大量的知识模型架构和动作，可以被用来创建可视化、操纵各种表现形式的本体。

Protege还能通过两种方式进行扩展，包括插件和基于java的API，而且该软件还拥有中文界面，让用户操作起来更加简单，同时它还屏蔽了具体的本体描述语言，非常强大。

Protege软件优势

类模拟（Class modeling）：protege提供了一个图形化用户界面来模拟类（领域概念）和它们的属性及关系。

实例编辑（Instance editing）：从这些类中，protege自动产生交互式的形式，全用户或领域专家进入的有效实例成为可能。

模型处理（Model processing）：protégé有一个插件库，可以定义语义、解答询问以及定义逻辑行为。

模型交换（Model exchange）：最终的模型（类和实例）能以各种各样的格式被装载和保存，包括XML、UML和资源描述框架RDF。

Protege软件功能特色

Protege是一组自由开源的工具软件，用于构建域模型与基于知识的本体化应用程序。

Protege提供了大量的知识模型架构与动作，用于创建、可视化、操纵各种表现形式的本体。

可以通过用户定制实现域-友好（领域相关）的支持，用于创建知识模型并填充数据。

Protege可以通过两种方式进行扩展：插件和基于java的API。

相比与其他的本体构建工具而言，Protege最大的好处在于支持中文，在插件上，用Graphviz可实现中文关系的显示。

Protege软件使用教程

在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类

编辑狮子类的属性。这里我们定义狮子只吃素食动物。

编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是)

因为肉食性动物可以吃植物，所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。

将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说，也就是说在没有成功证明某个陈述之前，我们将这个陈述定义为未知的事实而不是假的。

因为我们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个陈述是未知的，而不是假的。这样就给我们的推理造成了影响，所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。