软件介绍
Protege是一款基于Java语言开发的本体编辑和知识获取软件。该软件由斯坦福大学医学院生物信息研究中心提供。Protege中文版可以帮助用户完成语义网中本体的构建。这个软件还屏蔽了特定的本体描述语言，非常强大。
Protege软件介绍
Protege软件是斯坦福大学医学院生物信息研究中心开发的基于Java语言的本体编辑和知识获取软件，或者说是本体开发工具。它也是一个基于知识的编辑器，属于开源软件。该软件主要用于语义网中的本体构建，是语义网中本体构建的核心开发工具。最新版本是5.2.0版。Protege提供了本体概念类、关系、属性和实例的构建，屏蔽了特定的本体描述语言。用户只需要在概念层面建立一个领域本体模型。
Protege使用JAVA和开源作为运行平台，可以用来编译本体和知识库。Protege可以根据用户需求进行定制，用户界面也可以定制，以更好地适应新语言的使用。有一种自定义的数据输入法，可以将protege的内部表示转换成各种形式的文本表示格式，如:XML、RDF(S)、OIL、DAML、DAML+OIL、OWL等系统语言。Protege tool本身没有内置的推理工具，无法实现推理，但具有很强的扩展性。可以插入插件来扩展一些特殊功能如推理、提问、XML转换等。Protege为本体和知识库的构建和编辑提供了一个可扩展的独立平台环境。Protege是开源的，运行多重继承，提供本体构建的基本功能，使用图形界面。界面风格和OilEd一样，和WINDOWS操作系统风格一致，模块划分清晰。另外，protege的本体结构和OntoEdit一样，也是以树状的层次结构来展示的。用户可以添加或编辑类、子类、实例等。通过点击相应的项目。因此，用户可以在不掌握特定本体语言的情况下使用protege。protege是一个本体开发工具，用户可以很容易地学习和使用。由于其优秀的设计和众多的插件，它已经成为最广泛的本体编辑器之一，并且它已经成为国内外许多本体研究机构的首选工具。
软件功能
Protege是一套免费的开源工具软件，用于构建领域模型和基于本体的应用。Protege提供了大量的知识模型框架和动作，用于创建、可视化和操纵各种形式的本体。
用户可以定制领域友好(领域相关)支持，以创建知识模型和填充数据。
Protege有两种扩展方式:插件和基于java的API。
与其他本体构建工具相比，Protege最大的优势是支持中文。在插件上，Graphviz可以显示中文关系。
保护软件功能
Class modeling):protégé提供了一个图形用户界面来模拟类(领域概念)及其属性和关系。示例:从这些类中，protégé自动生成交互式表单，所有用户或领域专家输入的有效示例成为可能。
模型处理):protégé有一个插件库，可以定义语义，回答查询，定义逻辑行为。
模型交换:最终的模型(类和实例)可以以各种格式加载和存储，包括XML、UML和RDF。
Protege使用教程
确立狮子和食肉动物在动物中的地位。这两个类是在同一层次上定义的，即它们是兄弟，目的是推理狮子成为食肉动物的子类。
编辑lion类的属性。这里我们定义狮子只吃素食动物。
编辑食肉动物的属性。这里，我们需要建立一个吃的子属性maineat(吃的主要东西是)
因为食肉动物可以吃植物，所以我们不能简单的通过吃植物来推断狮子是不是食肉动物。
把食肉动物的maineat属性改成一个充要条件。因为在目前的逻辑模型中，我们的标准是开放世界假设，即在一个陈述被成功证明之前，我们将其定义为一个未知的事实而不是伪事实。
因为我们没有明确指出食肉动物不能主要吃植物，所以食肉动物主要吃植物的说法是未知的，不是假的。这影响了我们的推理，所以有必要明确食肉动物主要吃动物。这也是一个充分必要条件。
