Protege是一款基于Java语言而开发出来的本体编辑和知识获取软件,这款软件是由美国斯坦福大学医学院生物信息研究中心提供的。Protege汉化版能够帮助用户完成语义网中本体的构建,并且这款软件还屏蔽了具体的本体描述语言,功能非常强大。
Protege软件是斯坦福大学医学院生物信息研究中心基于Java语言开发的本体编辑和知识获取软件,或者说是本体开发工具,也是基于知识的编辑器,属于开放源代码软件。这个软件主要用于语义网中本体的构建,是语义网中本体构建的核心开发工具,现在的最新版本为5.2.0版本。
Protege提供了本体概念类,关系,属性和实例的构建,并且屏蔽了具体的本体描述语言,用户只需在概念层次上进行领域本体模型的构建。
Protege使用JAVA和Open Source作为操作平台,可用于编制本体和知识库(Knowledge Base),protege可以根据使用者的需要进行定制,通过定制用户的界面以更好地适应新语言的使用;有可自行设置的数据输入模式,可以将protege 的内部表示转制成多种形式的文本表示格式,如:XML、RDF(S)、OIL、DAML、DAML+OIL、OWL等系统语言。Protege 工具本身没有嵌入推理工具,不能实现推理,但它具有很强的可扩展性,可以插入插件来扩展一些特殊的功能如推理、提问、XML转换等。Protege 提供可扩展的独立平台环境,用于构建和编辑本体以及知识库。Protege开放源码,运行多重继承,提供本体建设的基本功能,而且它采用图形化界面,界面风格与OilEd一样,都与WINDOWS操作系统的风格一致,模块划分清晰。另外,protege本体结构和OntoEdit一样,也是以树形的等级体系结构来显示,用户可以通过点击相应的项目来增加或编辑类、子类、实例等,所以用户使用protege不需要掌握具体的本体表示语言,是用户比较容易学习、使用的本体开发工具。由于其优秀的设计和众多的插件,其已经成为最广泛的本体论编辑器之一,它已成为国内外众多本体研究机构的首选工具。
Protege是一组自由开源的工具软件,用于构建域模型与基于知识的本体化应用程序。
Protege提供了大量的知识模型架构与动作,用于创建、可视化、操纵各种表现形式的本体。
可以通过用户定制实现域-友好(领域相关)的支持,用于创建知识模型并填充数据。
Protege可以通过两种方式进行扩展:插件和基于java的API。
相比与其他的本体构建工具而言,Protege最大的好处在于支持中文,在插件上,用Graphviz可实现中文关系的显示。
类模拟(Class modeling):protégé提供了一个图形化用户界面来模拟类(领域概念)和它们的属性及关系。
实例编辑(Instance editing):从这些类中,protégé自动产生交互式的形式,全用户或领域专家进入的有效实例成为可能。
模型处理(Model processing):protégé有一个插件库,可以定义语义、解答询问以及定义逻辑行为。
模型交换(Model exchange):最终的模型(类和实例)能以各种各样的格式被装载和保存,包括XML、UML和资源描述框架RDF.
在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中,即这两个类为兄弟关系,目的是推理后狮子变为肉食动物的子类
编辑狮子类的属性。这里我们定义狮子只吃素食动物。
编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是)
因为肉食性动物可以吃植物,所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。
将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说,也就是说在没有成功证明某个陈述之前,我们将这个陈述定义为未知的事实而不是假的。
因为我们没有明确指出肉食动物不能主要吃植物,所以肉食动物主要吃植物这个陈述是未知的,而不是假的。这样就给我们的推理造成了影响,所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。
……
点击下载编程软件 >>本地高速下载
点击下载编程软件 >>百度网盘下载