Protege V5.5官网版
- 软件分类： 应用软件
- 软件大小： 38.37 MB
- 软件语言： 简体中文
- 授权方式： 免费软件
- 运行环境： Win ALL
- 更新时间： 2022-08-23
文本搜索定位器 V2.1.31.0 绿色版 
Linux Deepin 64位 简体中文版下载 
PESCMS DOC(文档管理系统) V1.0绿色版 
有道词典 V8.10.3.0最新版 - 软件介绍
- 下载地址
- 同类推荐
- 相关文章
Protege官网版是一款十分好用的知识图谱工具，Protege官网版提供了一个图像化用户界面来模拟类（领域概念）和它们的属性及关系。Protege官网版主要用于语义网中本体的构建，是语义网中本体构建的核心开发工具。用户可以通过店址实现域的支持，是一款基于Java语言的本体建构工具。
Protege官网版软件功能
类模拟（Class modeling)：protégé提供了一个图形化用户界面来模拟类（领域概念）和它们的属性及关系。
实例编辑（Instance editing）：从这些类中，protégé自动产生交互式的形式，全用户或领域专家进入的有效实例成为可能。
模型处理（Model processing)：protégé有一个插件库，可以定义语义、解答询问以及定义逻辑行为。
模型交换（Model exchange)：最终的模型（类和实例）能以各种各样的格式被装载和保存，包括XML、UML和资源描述框架RDF.
Protege官网版使用教程
在Animal中建立狮子类和肉食动物类。定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类
编辑狮子类的属性。这里我们定义狮子只吃素食动物。
编辑肉食动物的属性。这里我们需要建立一个eat的子属性maineat(主要吃的是)
因为肉食性动物可以吃植物，所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。
将肉食动物的maineat属性变为充分必要条件。因为在现在的逻辑模型中我们的标准是开放世界假说，也就是说在没有成功证明某个陈述之前，我们将这个陈述定义为未知的事实而不是假的。
因为我们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个陈述是未知的，而不是假的。这样就给我们的推理造成了影响，所以我们需要明确指出肉食动物主要吃动物。也就是充分必要条件。
同类推荐
-
悦书PDF阅读器 V3.0.8.10最新版
2022-06-18
立即下载 -
鼠标精灵 V2.3.3正式版
2022-07-05
立即下载 -
Google Flutter V1.0.0免费版
2022-07-09
立即下载 -
印象笔记(EVerNote) V10.21.1.2903官网版
2022-08-02
立即下载 -
小米随身WiFi V2.4.839 官方版
2022-08-13
立即下载 -
MathType 7.4官方版
2022-08-20
立即下载
-
1
下载Microsoft Visio 2021官方官方版
106223下载
-
2
下载MathType 7.4官方版
68305下载
-
3
下载方正小标宋简体 V3.00免费版
61099下载
-
4
下载Microsoft Office 2019 官方版
41043下载
-
5
下载Microsoft office 2016绿色官方版
35745下载
-
6
下载Adobe Acrobat Pro 2022官方版
29171下载