特殊图标的含义(Protégé中)
来源:互联网 发布:java斐波那契数列第n项 编辑:程序博客网 时间:2024/06/05 01:58
一、The class hierarchy contains two types of icons: Solid yellow icons and yellow icons with three white lines through the middle, representing the equivalence symbol.
The icons containing the equivalence symbol (three white lines) denote classes thatare asserted to be equivalent to some other class expression.These are known as defined classes.
An example of a defined class(定义类的一个例子)
The solid yellow icons denote classes that are not defined classes (i.e.aren’t asserted to be equivalent to some other class expression). These classes are known asprimitive classes.
An example of a primitive class(原始类的一个例子)
二、Bolding(高亮)
本体中的公理是公认的事实(或推理规则),是用来知识推理的。
The class hierarchy view may show some names in a bold font and others in a regular font. Roughly speaking, classes whose names are shown in a bold font are described using axioms in the active ontology. This means that the class appears on the left hand side of a SubClassOf axiom, in an EquivalentClasses axiom, in a DisjointUnion axiom or in a DisjointClasses axiom. Classes whose names are shown in a regular weight font are merely referenced in the imports closure of the activeontology.
An example the bolding used in the class hierarchy. Class B is shown in bold because the active ontology contains axioms that describe it. Class A is not shown in bold because it is merely referenced by the active ontology (in the description of class B).
三、Cycles
Classes that appear in a cycle of SubClassOf axioms, for example A SubClassOf B
, B SubClassOf C
and C SubClassOf A
will be collapsed and shown together, with one tree node for each class in the cycle so that each class may be selected. An example is shown below.
An example of a cycle in the class hierarchy. Classes in the cycle are displayed as equivalences, with a node for each class.
The reason for this notation is that a cycle in the class hierarchy between two or more classes states that the classes in the cycle are equivalent. This is because A EquivalentTo B
is an abbreviation for the two axioms A SubClassOf B
and B SubClassOf A
.
- 特殊图标的含义(Protégé中)
- Protégé入门
- 外文翻译--Protégé
- protégé的OWL-s开发的后续工作
- 如何使用Protégé-OWL API?
- 本体编辑和知识获取软件 Protégé
- eclipse中图标的含义
- TortoiseSVN中图标的含义
- TortoiseSVN中图标的含义
- TortoiseSVN中图标的含义
- shell编程中特殊变量的含义(位置变量)
- eclipse中outline中图标的含义
- eclipse中outline中图标的含义
- URL中一些字符的特殊含义
- URL中特殊字符的含义
- URL中一些字符的特殊含义
- URL中特殊字符的含义
- bash 中各特殊字符的含义
- Spring静态注入的三种方式
- spring相关知识点
- PHP学习笔记8(WAMPServer)
- Spring Boot之springboot+mysql+mybatis搭建
- Camera Calibration Toolbox for Matlab使用教程
- 特殊图标的含义(Protégé中)
- xxl-job 使用随记
- 你好
- centos7安装mysql
- 用TensorFlow写逻辑斯蒂回归
- app性能优化
- 深度学习最全优化方法总结比较(SGD,Adagrad,Adadelta,Adam,Adamax,Nadam)
- Ubuntu下C语言实现贪吃蛇游戏
- Java读取resource文件/路径的几种方式