Protege新手入门
PROE基础教程(初学者宝典)
1.1.1 工程图的功能（Drawing Functionality）使用pro/e的工程图功能（Drawing），我们可以将有pro/e制作的模型输出成图纸的形式。
或者，我们也可以输入由其他CAD 系统生成的图纸。
在图纸中，所有的模型视图都是相关的（associative）：即，当我们修改了某视图的一个尺寸后，系统会自动更新其他相关的视图，更重要的是，Pro/ENGINEER的图纸和他所依赖的模型相关，在图纸中修改的任何尺寸，都会在模型中自动更新。
同样，在模型中修改的尺寸会相关到图纸。
这些相关性，不仅仅是尺寸的修改，也包括添加或删除某些特征。
在使用工程图功能时，用户需要购买相应的处理模块：pro/detial.1.1.2 工程图模式（Drawing Mode）Pro/ENGINEER提供了工程图模式，这种功能可以实现双向关联，并可以输出简单的图纸。
我们可以利用pro/e的基本drawing 功能建立零件或装配的工程视图，并可以添加尺寸，注解，处理(manipulate)尺寸，或使用层来管理不同类型内容的显示。
1.1.3 Pro/DETAIL模块Pro/DETAIL,是独立于基本pro/ENGINEER的模块，该模块扩展了基本模块的功能，可以利用基本模块配合使用Pro/DETAIL 支持附加视图，多张图纸（multisheets），提供了一系列更多用于处理工程图的命令，并且可以让我们向图纸中添加或修改文本的或符号形式的信息。
另外，我们还可以自定义我们工程图的格式，进行多种形式的个性化。
1.1.4 数据接口（Drawing Interfaces）使用ro/INTERFACE 或 Pro/DETAIL模块，我们可以在drawing中利用不同的输入（输出）命令来读取（导出）其他CAD系统得到的文件。
该命令为 File 菜单欢迎加入易妙广告网1.2.1 在工程图模式下输出模型（To Export a Model from Drawing Mode ）使用菜单File-Export-Model, 我们可以在工程图模式下输出下列几种数据文件： IGES, DXF, DWG, SET, STEP.1.2.2 输出图象文件 (To Export an Image from Drawing Mode)使用菜单File-Export-Image, 我们可以在工程图模式下输出下列几种图象格式: CGM, TIFF, JPEG, shaded, EPS, Snapshot.1.2.3 添加数据（To Append Data ）使用菜单File-Import - Append to Model, 可以向图纸文件中添加系列格式的文件内容： IGES, SET, DXF, STEP, CGM, TIFF, DWG.1.2.4输入数据 （To Import Data into Drawing Mode）使用菜单File-Import - Create New Model, 可以向图纸中输入下列格式的文件作为新模型： IGES, SET, VDA, Neutral, CADAM,1.3.1 关于配置文件(About Drawing Setup File Options)Pro/ENGINEER 是可以根据不同文件指定不同的配置文件以及工程图格式。
protege构建本体教程
打开编辑器
在Protege界面中，选择“Edit”菜单，打开编 辑器。
添加属性
在编辑器中，选择“Add Property”选项，输 入属性名和属性类型，添加新的属性。
ABCD
添加类
在编辑器中，选择“Add Class”选项，输入类 名，添加新的类。
定义属性和类之间的关系
通过定义属性和类之间的关系，将属性和类关联 起来，构建本体的概念结构。
01
3. 添加属性以及属性的定义域和值域。
02
4. 导入实例，并分配实例到相应的类和属性。
5. 保存本体文件，并导出为OWL格式。
03
构建一个复杂的生物医学本体
• 总结词：通过Protege构建一个复杂的生物医学本 体，涵盖多个领域和概念层次。
构建一个复杂的生物医学本体
01
详细描述
02 1. 确定本体的目的和范围，收集相关领域的知识 和术语。
03
5. 进行语义网应用的开发和实 践，实现资源的互操作和共享 。
05 常见问题与解决方案
CHAPTER
如何解决本体不一致性问题
不一致性定义
本体中存在矛盾或冲突的陈述 ，导致推理结果出现偏差。
形式化检查
利用本体推理工具（如Protégé OWL API）进行一致性检查，识 别并修复不一致性。
版本控制
04 案例分析
CHAPTER
构建一个简单的知识表示本体
• 总结词：通过Protege构建一个简单的知识表示本体，了 解本体的基本结构和概念。
构建一个简单的知识表示本体
01
详细描述
02
1. 打开Protege软件，选择合适的本体编辑器。
03
2. 定义本体的顶级类和子类，以及它们之间的关系。
protege-owl教程笔记
Protege-OWL教程笔记首先介绍了本体，本体是用来描述某个领域的知识的。
本题描述了该领域内个概念和概念间的关系。
不同的本体语言提供不同的特征。
最新出现的本体语言是W3C推出的OWL。
它有丰富的操作符，如and,or和negation。
它基于的逻辑允许它能够定义概念或描述概念。
复杂的概念能建立在简单的概念定义之上。
而且，这个逻辑模型允许使用推理机检查本体中的statement和定义是否具有一致性，也能识别哪个概念符合哪个定义。
推理机有助于维护层次结构。
这在处理有多个父类的类时非常有用。
然后介绍了OWL的三个子语言：OWL-Lite,OWL-DL,OWL-Full。
它们的表达能力由弱到强。
OWL-Lite的语法最简单。
OWL-DL比OWL-Lite的表达能力强，它基于描述逻辑，能够自动计算层次分类和检测到本体中的不一致。
OWL-Full的表达能力最强，但是推理能力就相对较弱。
接下来介绍了个体，属性，类三个概念。
用了大量的图来帮助理解概念。
1.个体用URI标识。
2.类是个体的集合。
类可以组成一个由父类和子类构成的层次结构图(也称为taxonomy)。
类也称为概念(concept)。
Protege-OWL使用了一个叫English Prose Tooltip Generator的工具来显示类的描述信息。
可以指明两个类是不相交(disjoint)的。
3.属性是一个二元关系。
它分为：函数属性(Functional Property)——通过这个属性只能连接一个个体。
hasBirthMother反函数属性(Inverse Functional Property)——即这个属性的反属性是函数属性，也就是对于一个给定的个体，只有最多一个个体能通过该属性连接那个个体。
isBirthMotherOf传递属性(Transitive Property)——hasAncestor对称属性(Symmetric Property)——hasSibling,如果一个属性是对称的那么它就不能是函数属性。
Protégé基本教程【Protégé5
Protégé基本教程【Protégé5.5.0版本】⽬录Q&A1. 为什么protege⾥⾯owlviz tab中所有的东西都缩在左上⾓？因为没有安装graphviz，⾸先在官⽹（）下载grahviz，下载好以后安装。
然后在protege⾥⾯点击file-preferences-owlviz⾥⾯，修改graphviz的地址就好了。
2. 怎么增加and关系（e.g. pizza and has topping）直接在这个框⾥⾯输⼊就⾏啦！⼀、前⾔参考⽂档：Protégé4OWL官⽅⼊门教程因为在⽹上看到的教程使⽤的Protégé版本⽐较⽼了，⽽且是英⽂的，这⾥做⼀个整理。
Protégé软件是斯坦福⼤学医学院⽣物信息研究中⼼基于Java语⾔开发的本体编辑和知识获取软件，或者说是本体开发⼯具，也是基于知识的编辑器，属于开放源代码软件。
这个软件主要⽤于语义⽹中本体的构建，是语义⽹中本体构建的核⼼开发⼯具，现在的最新版本为5.5.0版本。
Protégé提供了本体概念类，关系，属性和实例的构建，并且屏蔽了具体的本体描述语⾔，⽤户只需在概念层次上进⾏领域本体模型的构建。
（如果官⽹下载⽐较慢的话，我放⼀个百度⽹盘的链接在这⾥：）现在下载到的Protégé⼀般是⼀个压缩包，压缩包解压之后有Protege.exe和run.bat这两个⽂件，点击任何⼀个都可以打开Protégé。
Protégé⼀打开的界⾯主要是Active Ontology这个Tab的界⾯。
本体的名字可以在Ontology IRI⾥⾯修改。
Annotations是注释栏，可以对本体添加⼀些信息注释或者描述。
右边Ontology metrics会显⽰⼀些本体中相关元素的统计信息。
protege构建本体教程
汇报人：XX
protege的起源：源自美国斯坦福大学医学院的人工智能研究项目 目的：开发一个用于构建和共享本体的人工智能工具 发展历程：从2000年开始开发，经历了多个版本，目前最新版本是protege 5 应用领域：知识工程、语义网、自然语言处理、生物信息学等
经验分享：总结案例实施过程中的 经验和教训，提出改进和优化的建 议
汇报人：XX
定义属性和属性关系：为每 个类定义相应的属性和属性 关系，描述概念的属性特征 和相互关系。
创建实例和实例关系：根据 领域内的具体实体，创建相 应的实例，并建立实例间的 关系，丰富本体内容。
验证和优化：通过实例的语 义推理等手段验证本体的质 量和可靠性，不断优化和完 善本体结构。
概念：本体中的基本元素，表示领域中的概念和实体 关系：连接概念和实体的关系，表示概念之间的关联 公理：表示概念和关系的约束和规则，用于推理和验证 实例：表示具体的事物或实体，属于某个概念的实例
菜单栏：包含文 件、编辑、查看 等常用命令
工具栏：提供常 用工具按钮，方 便用户快速操作
浏览器窗口：展 示本体库中的概 念和实例，方便 用户浏览和编辑
下载并安装Protege软件 打开Protege软件，选择合适的语言和本体编辑器 配置Protege的界面和工具栏，以便更好地进行本体编辑 设置Protege的保存选项和自动备份功能，以确保数据的安全性
建立清晰的层次 结构和分类，确 保本体结构清晰、 易于理解和使用。
详细描述概念的 属性、关系和约 束条件，以便更 好地理解和使用 本体。
及时更新和修正 本体，确保其准 确性和完整性。
定期检查本体的准确性和完整性
知识图谱学习与实践（5）——Protégé使用入门
知识图谱学习与实践（5）——Protégé使⽤⼊门1 Protégé简介Protégé是⼀个本体建模⼯具软件，由斯坦福⼤学基于java语⾔开发的，属于开放源代码软件。
软件主要⽤于语义⽹中本体的构建和基于本体的知识应⽤，是本体构建的核⼼开发⼯具，最新版本为5.5.0（截⾄2019年7⽉）。
Protégé⽀持中⽂，能够实现实体关系的中⽂展⽰。
如下图。
具体来说，Protégé具有以下功能。
类建模。
Protégé提供了⼀个图形化⽤户界⾯来建模类（包括概念）和它们的属性以及关系。
实例编辑。
根据创建的类型，Protégé会⾃动产⽣交互的形式，可以根据类之间的关系获得相应实例的约束，并对实例进⾏编辑。
模型处理。
Protégé有⼀些插件库，可以定义语义、解答询问以及定义逻辑⾏为。
模型交换。
最终的模型（类、实例、关系、属性等）能以各种各样的格式被保存和加载，包括XML、UML、RDF、OWL等。
2 Protégé的安装直接运⾏Protege.exe即可。
Protégé是由java开发的，运⾏时需要java运⾏时环境，运⾏时可能需要配置⼀下java的运⾏时环境，按照提⽰进⾏配置就可以了。
3 软件主要⼯作tab打开软件后，可以看到⼯作区域是由很多tab组成。
Active ontology是显⽰当前的实体名称，以URI的形式显⽰，前⾯是后⾯跟着主机名（我的主机名称为dell），再后⾯是默认的根据时间命名实体。
Entities，可以看作是实体的总览，能够看到我们创建实体的⼀些主要信息，是对实体信息的汇总。
Classes，是对本体模型中，类型部分的编辑，能够定义类之间的层次关系，相互之间的关系。
Object properties，物体关系，可以理解为编辑实体外部的关系，也就是实体和实体之间的关系。
protege 词根词缀
protege 词根词缀《Protege词根词缀》1. 单词概述单词：“benefactor”含义：这个单词指的是“恩人，捐助者”。
比如说，在一个贫困的社区里，如果有人出资为孩子们建了一所学校，那这个人就是这个社区孩子们的benefactor。
在慈善晚宴上，那些慷慨解囊的大企业家们也可以被称为benefactor，这是一个非常正面的词汇，常常用于描述给予帮助、慷慨奉献的人。
2. 词根词缀解析词根：“bene - ”：来源于拉丁语，表示“好，善”。
就像“benevolent”（仁慈的）这个词，也是由这个词根组成的，都带有一种积极美好的含义。
词缀：“ - factor”：表示“做……的人”，类似的词还有“actor”（演员，做表演的人）。
合成逻辑：“bene - ”（好，善）+“ - factor”（做……的人） = “benefactor”（做好事的人，也就是恩人、捐助者）。
3. 应用短文与场景应用短文1：I was at this charity event last week. It was a really big deal. There were so many important people there. And then I met this old man, Mr. Thompson. He's like a superhero in our town. You know why? He's a benefactor. He has been giving money to build schools and hospitals for years. I was talking to my friend Jack about him. I said, “Jack, look at Mr. Thompson. He's such a great guy. He doesn't just sit around and count his money like some rich folks. He uses it to help others.” Jack replied, “Yeah, he's like a guardian angel. We need more people like him in this world.” I couldn't agree more. Just think about it. If everyone was a benefactor in their own way, how much better this world would be? It's not that hard to be a benefactor. You don't have to be super - rich. Even just helping an old lady cross the street or donating a little bit of money to a good cause can make you a benefactor in a sense.中文翻译：上周我参加了一个慈善活动。
本体构建Protege使用
西安邮电大学Web服务课内实验报告书院系名称：计算机学院实验题目：本体构建、Protege使用学生姓名：周从军专业名称：网络工程班级：网络1101班学号：04112016时间：2014年11月20日Web服务实验报告本体构建、protege使用一、实验目的1.下载Protege，构建本体；2.新建OWL本体，了解Protege软件下的标签。
二、实验内容打开Protege软件，构建本体。
在新建的Class类中构建一些关联，可进行查询。
Protege知识支持本体的构建和推理。
1.3种OWL语言简介OWL网络本体语言（外语全称：Web Ontology Language、外语缩写：OWL）[ W3C开发的一种网络本体语言，用于对本体进行语义描述。
OWL是由子语言构建的，分别是OWL Lite、OWL DL和OWL Full，而且各子语言的表达能力递增。
OWL Lite是表达能力最弱的子语言。
它是OWL DL的一个子集，但是通过降低OWL DL中的公理约束，保证了迅速高效的推理。
它支持基数约束，但基数值只能为0或l。
因为OWL Lite表达能力较弱，为其开发支持工具要比其他两个子语言容易一些。
OWL Lite用于提供给那些仅需要一个分类层次和简单约束的用户[6,7]。
OWL DL（Description Logic，描述逻辑）将可判定推理能力和较强表达能力作为首要目标，而忽略了对RDFS的兼容性。
OWL DL包括了OWL语言的所有语言成分，但使用时必须符合一定的约束，受到一定的限制。
OWL DL提供了描述逻辑的推理功能，描述逻辑是OWL的形式化基础。
OWL Full包含OWL的全部语言成分并取消了OWL DL中的限制，它将RDFS 扩展为一个完备的本体语言，支持那些不需要可计算性保证（no computational guarantees）但需要最强表达能力和完全自由的RDFS用户[6]。
在OWL Full中，一个类可以看成是个体的集合，也可以看成是一个个体。
proe入门基础教程
proe软件的应用领域
• Pro/Engineer被广泛应用于机械、汽车、航空、家电、玩 具等制造行业。设计师可以通过Pro/Engineer进行产品的 三维建模、装配分析、运动仿真、数控加工等操作，从而 提高设计效率，减少重复修改，缩短产品开发周期。同时 ，Pro/Engineer还支持与多种CAD软件的数据交换，可以 方便地与其他设计团队进行协同工作。
软件与其他软件的冲突问题
与其他CAD软件的冲突
尽量避免与其他CAD软件在同一台电脑上运行，以免产 生冲突。
与其他软件的兼容性问题
了解需要使用的其他软件是否与proe兼容，并按照兼容 性要求进行操作。
感谢您的观看
THANKS
03
proe三维建模基础
草绘基础
草绘模式介绍
进入草绘界面的方法，以及草绘界面上的 工具介绍。
图形编辑工具
介绍对已绘图形进行编辑的工具，如修剪 、延伸、镜像等。
绘制几何图形
介绍各种绘制几何图形的工具，包括直线 、圆、弧、矩形等。
约束与尺寸标注
介绍如何添加约束和标注尺寸，以确保草 绘的精确性。
特征建模基础
要点一
总结词
要点二
详细描述
在这个案例中，我们将学习到如何使用proe软件创建 产品装配模型。
首先，我们需要创建一个装配文件，并将各个零件导入 到装配文件中。然后，我们可以使用约束工具将各个零 件精确地定位在装配文件中。在这个过程中，我们还可 以使用动态模拟工具来检查各个零件之间的运动关系是 否正确。最后，我们可以使用渲染工具来增加产品的外 观效果，例如添加背景、光源等。
另存为
通过点击菜单栏中的“文件”->“另存为”或者使用快 捷键Ctrl+Shift+S来将当前文件另存为一个新的文件
protege构建本体教程
4.7 OWL Object Property Characteristics（特征）
• OWL允许通过使用property characteristics来 增强properties的含义（内涵）。
（1）Functional Properties
• If a property is functional, for a given individual, there can be at most one individual that is related to the individual via the property.. 也就是说，Properties是单值 的。例如：：hasBirthMother ，这个就是 functional的，因为一个人他只能有一个生 母。
pizzabase是pizza结构之一中文叫饼底主要由面粉做成是pizza的主体和pizzatoppings比萨饼面一起构成整个pizza41命名一个classes采用单词首字母大写方式类似于java中类的命名一个初始化的本体包含一个名字叫做thing的classes他表示包含所有individuals的集合所以所有的其他classes都是他的subclasses42disjointclasses如果任意一个individuals或object仅是众多classes中某一个的实例instanc那么这些classes是disjointowltoolscreateclassespizzabase子类thinandcrispytomato44subclass例如狗是动物的subclass
注：： a)If a property is transitive then its inverse property should also be transitive.(祖先那个 例子) b) if a property is transitive then it cannot be functional.
Protege4.0使用说明
Protege4.0使用说明OWL-Lite∙它是OWL中句法最简单的一种子语言。
∙对于简单的继承或者约束，它就显得非常适用。
∙一般用于合并同类字典和简单继承。
∙l ite是清淡的意思OWL-DL∙O WL-DL较之OWL-Lite，它的表达能力加强了。
是基于描述逻辑的(Description Logics)，所以以DL后缀。
∙正是因为有了描述逻辑，使自动推理成为了可能。
∙凡是遵循OWL-DL规范的本体都有可能自动计算类的继承性和检测本体之间的矛盾。
因此一般用于要推理本体之间的某种关系或者验证本体是否存在矛盾性，比OWL-Lite更进了一步。
∙这个教程就是基于OWL-DL的。
OWL-Full∙O WL-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）。
Protege基础教程
本体构建Protege基础教程写在前面的话Ontology，即本体，来源于哲学领域，但自从被图书情报领域专家运用于图书情报领域，便在此领域得到大家的一致认可，各种基于本体的研究论文也层出不穷，但Protege4.0以上版本较之Protege3.X版本，界面功能发生了很大变化，以前其他学者出的学习教程已经并不适合初入本体领域的学者，而Protege官方说明又是全英文解释，给初学者更是带来了很大不便，由此，本人这篇本体构建Protege基础教程应运而生，衷心希望可以给其他学者学习本体构建工具以及以后进行基于本体构建领域的研究工作带来便利。
在此，特别感谢唐门的GGJJ在我学习运用Protege过程中给了我很多的理论支持，使我在这个学习过程中思维更加清晰。
——soonfy学习软件，首先还是看软件版本，本人演示的是Protege4.1版本，与Protege4.0版本以上的版本界面都较为相似，版本是4.0以上的学者，都可以借鉴。
另外，本文档主要是界面介绍及逻辑推理，至于本体构建中的个体关联、实体查询请关注下期文档。
一、界面介绍1、打开Protege软件。
如图1所示。
图1在图1中，方框1Create new OWL ontology：新建OWL本体；Open OWL ontology：打开一个OWl本体；Open OWL ontology from URI：通过通用资源标识符（URI）打开一个OWL本体；Open from the TONES repository：从TONES库打开OWL本体。
方框2Open recent：最近打开的OWL本体路径。
More actions：更多功能。
功能有“重新回到默认设置”、“检查更新”。
2、新建OWL本体文件介绍图2在图2中，方框1Ontology IRI：默认的IRI路径（不可随意更改，必须符合RDF文件规则）。
方框2Default base：默认URI路径信息。
图3图3为URI默认设置，方框1Default base URI：默认的URI路径。
Protégé4 本体入门
创建一个OWL本体
• • • • • Create a new OWL Ontology Add a comment to the ontology Named Classes Disjoint Classes Using Create Class Hierarchy To Create Classes
Classes
OWL classes are interpreted as sets that contain individuals.
The word concept is sometimes used in place of class. Classes are a concrete representation [代表] of concepts.
We also recommend that properties are prefixed withthe word `has', or the word `is', for example hasPart,isPartOf,hasManufacturer, iSPrOdUCerOf.
Not only does this convention help make the intent of the property clearer to humans, it is also taken advantage of by the `English Prose Tooltip Generator'0, which uses this naming convention where possible to generate morehuman readable expressions for class descriptions.
protege4.1中文入门教程
protege4.2使用说明Protege4.2使用说明2013,01,28安装JDK1.6：下载资源进行安装，环境变量配置：变量名Java_home，变量值G:\Study\JDK1.6 安装protege_4.2_alpha：安装时软件会自动检测java虚拟机环境，将jdk安装路径G:\Study\JDK1.6下jre文件复制到G:\Study，即与JDK1.6文件夹同一级。
开始安装，选择安装路径，生成文件物理位置，continue 即可。
安装graphviz-2.26插件：下载资源进行安装，安装后生成bin，etc，include，lib，share五个文件夹，打开bin文件夹，找到dot.exe,打开protege4.2，点击菜单栏Reasoner—>Configure,点击OWL Viz项，在Dot Application Path 中输入G:\Study\graphviz2.26\bin\dot，G:\Study\graphviz2.26是安装目录。
OWL本体由Individual个体，Properties（Object Properties对象属性和Data Properties数据属性）属性或关联，Class类组成，三者分别和实例Instances，扩展连接点Slot，类Class相通信。
在protégé中最重要的就是Classes（类），Object Properties（对象属性或关联），Data Properties（数据属性），Individuals（个体）这四个栏目。
OWL Viz 类关系层次图，DL Query类查询或简单推理，OntoGraf本体关系图，这三个栏目辅助进行构建本体。
一Classes类它是个体的集合，如class fruit，它可以是个体apple，banana，orange等组成的集合。
SubclassOf，Equivalent，Disjoint是类的三大axiom公理，可以理解为类与类之间的关系：类与类之间存在父子关系，即superclass父类，subclass子类；Equivalent class相同类，主要用于推理；Disjoint classes 互不相交关系，即一个个体不能同时属于两个类。
Pokemon go新手入门攻略 口袋妖怪GO新手讲解
Pokemon go新手入门攻略口袋妖怪GO新手讲解∙来源：安趣网∙作者：木瓜∙时间：2016-07-08∙我要评论口袋妖怪GO新区交流群：254653161由于pokemon go是外服,里边所有的语言文字都是英语,整懵了很多的玩家,还有的玩家是进入游戏不知道怎么玩。
这是一个为数不多适合在户外玩的游戏,小编就和大家分享新手的玩法和游戏中的术语以及商店中常见的英文道具翻译和作用。
本篇翻译自官网首页的support也就是帮助界面,里面有很详细的新手教程。
原文:Timo_Go注:主要是根据德语与英语参照着翻译,所以应该还是比较准确的。
其中黑字为原文翻译,红字为我的补充内容。
一.开始游戏地图①指南针:在地图界面切换视野方向。
你可以选择【指北】或者可以跟随你的视野方向的【自动旋转】之间切换。
此外你也可以通过触摸来旋转(方向)②道馆:可以进行精灵训练与战斗的地点补充:道馆需求玩家达到5级才能进入,第一次进入道馆可以触发阵营选择界面,从红黄蓝中选择自己的阵营。
所以进入游戏不要看到远方有个道馆就激动的往那冲,先冲级才是王道。
③口袋站:训练家可以获得物品的地点,比如说精灵球,伤药与精灵蛋补充:口袋站摇一摇可以获得的物品是基于玩家等级的,玩家等级越高,能摇出的物品种类更多,实测只有玩家达到12级,才能摇出超球,之前只能摇出红白球④训练师:你的角色补充:在原地旋转,游戏里的角色也会旋转,可以通过这个大致看出想要前进的位置的方向⑤个人头像:展示了你的阵营,经验,等级与游戏ID,点开可以查看成就与游戏进程记录⑥主页菜单:图标是一个精灵球,点开可以查看设置,物品,图鉴,商店以及菜单选项补充:在设置中可以开启省电模式,当玩家垂下手机的时候,手机会自动黑屏从而省电,免去了锁屏的操作⑦附近精灵:显示了附近的野生精灵,点开可以查看距离补充:爪子数表示了精灵与你的距离,相比内测时的数字显示,可以说难找许多,之后攻略会教大家如何追踪精灵如何移动我的角色?想要移动角色,你需要通过走路来改变你的地理位置,你的角色代表了你的现实位置。
Protege新手入门(基础篇)
此新手入门对应protege3.1.x版本。
通过制作一个简单的动物本体，来使大家了解protege 建立owl的基础用法。
步骤1 建立新的项目。
打开protege,然后会出现对话框，点击Create New Project...，出现Create New Project对话框后，选择OWL Flies(.owl or .rdf)后，点击Finish，而不选Next。
步骤2 建立类。
protege的主页面中会出现，OWL Classes(OWL类),Properties(属性),Forms(表单),Individuals(个体),Metedata(元类)这几个标签。
我们选择OWL Classes 来编辑。
在Asserted Hierarchy（添加阶层）中，会有所有类的超类owl:Thing上点击Asserted Hierarchy旁边的Create subclass或者在OWL:Thing,点击右键选择Create subclass。
会出现protege自动定义名为Class_1的类。
在右边的CLASS EDITOR（类编辑器）的Name选项中，输入Animal来替换自动定义的名字。
(建议使用英文，因为下面会用到OWLViz来生成关系图，中文的话会容易出现问题。
)步骤3 建立Animal的子类，在Animal点击上右键，选择Create subclass，并按照上述方法将其名字变为Herbivore(素食动物)。
步骤4然后按照上面的方法，建立OWL:Thing的另一个子类Plant(植物)，然后建立Plant的子类Tree(树)。
状态如下图步骤5 因为动物和植物是不同的事物，也就是说它们互相具有排他性(owl:disjointWith)，我们来定义这个关系。
在选中Animal的状态下，点击右下角的Disjoints的第三个按钮，在出现的Add sibling to disjoints(将互为兄弟节点的类设为排他)对话框中，选择Mutually between all siblings。
Protege新手入门(基础篇)
此新手入门对应protege3.1.x版本。
通过制作一个简单的动物本体，来使大家了解protege 建立owl的基础用法。
步骤1 建立新的项目。
打开protege,然后会出现对话框，点击Create New Project...，出现Create New Project对话框后，选择OWL Flies(.owl or .rdf)后，点击Finish，而不选Next。
步骤2 建立类。
protege的主页面中会出现，OWL Classes(OWL类),Properties(属性),Forms(表单),Individuals(个体),Metedata(元类)这几个标签。
我们选择OWL Classes 来编辑。
在Asserted Hierarchy（添加阶层）中，会有所有类的超类owl:Thing上点击Asserted Hierarchy旁边的Create subclass或者在OWL:Thing,点击右键选择Create subclass。
会出现protege自动定义名为Class_1的类。
在右边的CLASS EDITOR（类编辑器）的Name选项中，输入Animal来替换自动定义的名字。
(建议使用英文，因为下面会用到OWLViz来生成关系图，中文的话会容易出现问题。
)步骤3 建立Animal的子类，在Animal点击上右键，选择Create subclass，并按照上述方法将其名字变为Herbivore(素食动物)。
步骤4然后按照上面的方法，建立OWL:Thing的另一个子类Plant(植物)，然后建立Plant的子类Tree(树)。
状态如下图步骤5 因为动物和植物是不同的事物，也就是说它们互相具有排他性(owl:disjointWith)，我们来定义这个关系。
在选中Animal的状态下，点击右下角的Disjoints的第三个按钮，在出现的Add sibling to disjoints(将互为兄弟节点的类设为排他)对话框中，选择Mutually between all siblings。
Protege新手入门(推理篇)
本篇将接着基础篇，在动物本体中，建立狮子类(Lion)和肉食动物类(Carnivore)，通过推理得到狮子是肉食动物。
通过这个实例来简单了解推理机Racer的用法。
基本操作方法在基础篇中有讲解，以下步骤中的操作不清楚的朋友请先看基础篇。
点击这里下载到此处的项目，在protege中点击Open Project打开项目。
步骤1 在Animal中建立狮子类和肉食动物类。
定义这两个类在同一级中，即这两个类为兄弟关系，目的是推理后狮子变为肉食动物的子类。
步骤2 编辑狮子类的属性。
这里我们定义狮子只吃素食动物。
步骤3 编辑肉食动物的属性。
这里我们需要建立一个eat的子属性maineat(主要吃的是)，因为肉食性动物可以吃植物，所以我们无法单纯的靠eat来推理出Lion是不是肉食性动物。
这里我们定义肉食性动物maineat的值域是所有的动物。
如下图步骤4 将肉食动物的maineat属性变为充分必要条件。
因为在现在的逻辑模型中我们的标准是开放世界假说，也就是说在没有成功证明某个陈述之前，我们将这个陈述定义为未知的事实而不是假的。
因为我们没有明确指出肉食动物不能主要吃植物，所以肉食动物主要吃植物这个陈述是未知的，而不是假的。
这样就给我们的推理造成了影响，所以我们需要明确指出肉食动物主要吃动物。
也就是充分必要条件。
做法是双击NECESSARY(必要条件)中的将其拖拽到上方的NECECSSARY & SUFFICIENT(充分必要条件)中。
同样的方法将Animal也拖拽到充分必要条件中。
状态如下图步骤5 启动RacerPro推理机进行推论。
如果没有的朋友请到RacerPro官方网站下载。
需要注册一下，然后在发给你邮件中，点击链接就可以下载。
安装选默认路径即可，不然还需要设置路径。
步骤6 运用推理机进行推理。
选择菜单中OWL–>Classify taxonomy..(也可以点击标签上方的Classify taxonomy..图标)的。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
此新手入门对应protege3.1.x版本。
通过制作一个简单的动物本体，来使大家了解protege 建立owl的基础用法。
步骤1 建立新的项目。
打开protege,然后会出现对话框，点击Create New Project...，出现Create New Project对话框后，选择OWL Flies(.owl or .rdf)后，点击Finish，而不选Next。
步骤2 建立类。
protege的主页面中会出现，OWL Classes(OWL类),Properties(属性),Forms(表单),Individuals(个体),Metedata(元类)这几个标签。
我们选择OWL Classes 来编辑。
在Asserted Hierarchy（添加阶层）中，会有所有类的超类owl:Thing上点击Asserted Hierarchy旁边的Create subclass或者在OWL:Thing,点击右键选择Create subclass。
会出现protege自动定义名为Class_1的类。
在右边的CLASS EDITOR（类编辑
器）的Name选项中，输入Animal来替换自动定义的名字。
(建议使用英文，因为下面会用到OWLViz来生成关系图，中文的话会容易出现问题。
)
步骤3 建立Animal的子类，在Animal点击上右键，选择Create subclass，并按照上述方法将其名字变为Herbivore(素食动物)。
步骤4然后按照上面的方法，建立OWL:Thing的另一个子类Plant(植物)，然后建立Plant的子类Tree(树)。
状态如下图
步骤5 因为动物和植物是不同的事物，也就是说它们互相具有排他性(owl:disjointWith)，我们来定义这个关系。
在选中Animal的状态下，点击右下角的Disjoints的第三个按钮，在出现的Add sibling to disjoints(将互为兄弟节点的类设为排他)对话框中，选择Mutually between all siblings。
这样动物和植物就有互相排斥的属性了。
步骤6 建立属性。
新建一个ObjectProperty(注意不是DataProperty)选择Properties标签，Name改为is_part_of，然后在右下角Transitive前面打上对号，说明这是一个传递性属性。
然后建立一个对象属性(owl:ObjectProperty)eat(吃)，在Domain（定义域）中定义该属性的主体的类是Animal。
最后再建立一个属性eated（被吃），它是属性eat的逆关系(owl:inverseOf)，在右下角Inverser框中选择eat属性。
(参照图)
步骤7 建立一个owl:Plant的子类Branch(树枝)，并附加限制条件。
在选择Branch的状态下，点击中下方的Asserted Conditions(添加条件)中的第二个按钮(Create restrition )。
在弹出的对话框中，选择R estrition中的allValuesFrom，然后点击下方的Insert class...。
最后选择Tree，这样我们就定义了类Branch，它是树(Tree)的一部分（is_part_of）。
步骤8 和步骤7一样，建立owl:Plant的子类Leaf(树叶)类。
在Asserted Conditions选择is_part_of属性，并在R estrition中的选择allValuesFrom，最后选择属性类Branch(树枝)。
这样我们就定义了树叶是树枝的一部分。
步骤9 定义草食动物。
素食动物是动物的子类，而且只吃植物或是植物的一部分(植物和一部分植物的并集，也就是植物)。
和步骤7一样Create Restrition对话框中添加如下图的式子。
步骤10 定义类Giraffe(长颈鹿)，它是素食动物，只吃树叶。
按照上面的步骤定义，如下图。
步骤11 查看关系图，在菜单中选择Project–>Configure在出现的对话框中，在OWLVizTab 前打上对号，就会出新OWLViz的标签。
如果在这里出现D OT error的话请参照错误提示的解决办法，然后点击OWLViz标签，选择Show all classes，就可以看到关系图。
步骤12 保存项目。
点击这里下载这个项目下载这个项目。
解压后用菜单中的File–>Open Project–>解压路经中的Animal.ppjr即可。
错误提示的解决办法
OWLViz的DOT error
先到到此处下载GraphViz tool，然后安装。
在OWLViz设置中指定正确的DOT appli cation路径。
默认情况下是(Linux和Unix下的/usr/local/bin , 或者是windows下的C:\Program
Files\ATT\GraphViz\bin\DOT.exe) Max OS X到此处下载graphviz并指定DOTapplication 路径:Graphviz软件的路径+/Graphviz.app/Contents/MacOS/dot
The JDBC driver is not on the Classpath或者JDBC driver not found
请确认你的protege的安装目录下是否有driver.jar。
没有的话请点击这里下载，然后展开将其中的m ysql-connector-java-3.1.12-bin.jar文件，将其复制到protege的安装目录中(注意不是插件目录)，然后将它的名字变为driver.jar。
如果还是不行，那么请确认你是以protege.exe启动的protege。
而不是protege.jar启动的protege。
如果是以protege.jar启动的protege，那么还需要设置CLASSPATH。
所以请用protege.exe启动试一下。