protege构建本体教程

3.OWL Ontologies的组成
• OWL Ontologies与基于Protege frame的 本体语言在组成上比较相似，但是从专业 术语上来描述时他们又有着细微的不同。 OWL Ontologies是由个体（Individuals）， 属性（Properties），类（Classes）组成,大 致对应于Protege frame的Instances，Slots ， Classes.
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的，因为一个人他只能有一个生 母。
4.4 subclass到底是什么意思呢？
• 例如“狗”是“动物”的subclass。那么 “狗”的instance也是“动物”的instance， 一个东西是狗，那么他一定是动物。（这 和java中的子类父类貌似是一样的） •
4.5. OWL Properties
• （概述）OWL Properties represent relationships. There are two main types of properties, Object properties and Datatype properties. Object properties are relationships between two individuals. （先介绍Object properties）如下是Object properties 和 Datatype properties
• 4.1 命名一个Classes（采用单词首字母大写 方式，类似于java中类的命名） • 一个初始化的本体包含一个名字叫做Thing 的classes，他表示包含所有individuals的集 合，所以，所有的其他classes都是他的 subclasses。
• 4.2 Disjoint（解体） Classes • 如果任意一个Individuals（或Object）仅仅 是众多Classes中某一个的实例（instance）， 那么这些Classes是Disjoint的。
• 3.3 Classes • 可以看作是包含Individuals的集合。 • 我们使用正式而精准的形式来描述 Classes。Classes通常被组织成supperclass— subclass形式的层状结构，比如，动物和狗。
4 创建本体myPizza
• (PizzaBase是Pizza结构之一，中文叫“饼 底”，主要由面粉做成，是Pizza的主体， 和pizza toppings（比萨饼面）一起构成整ies link an individual to an individual. • 【hasIngredien 子 hasBase hasTopping】 • 我们可以创建Sub properties，它用来限定Supper properties的范围。For example, the property hasFather might specialise（限 定范围）the more general property of hasParent. 小明有父亲大明，那么我们 也可以说小明的双亲有大明。“有父亲” 就是“有双亲”的subproperty。
• 4.6 Inverse Properties（逆属性） • 【isIngredientOf 子 isBaseOf isToppingOf】 • 如该例中：： hasBase 和 isBaseOf就是一对 Inverse Properties • For example：if Matthew hasParent Jean, then the inverse property we can infer that Jean hasChild Matthew.
（6） Reflexive（自反） properties
• A property P is said to be reflexive when the property must relate individual a to itself. 如下：：
（7） Irreflexive（非自反） properties
（2） Inverse Functional Properties
• 就是Functional Properties 的 inverse 如下：：
（3） Transitive Properties
• If a property is transitive, and the property relates individual a to individual b, and also individual b to individual c, then we can infer that individual a is related to individual c via property P.如下：：
（4） Symmetric（对称） Properties
• If a property P is symmetric, and the property relates individual a to individual b then individual b is also related to individual a via property P.如下：：
protege构建本体教程
1.什么是本体（Ontologie）
• Ontologies are used to capture knowledge about some domain of interest. • 本体是用来获得你所感兴趣的领域的知 识；
2.OWL Ontologies
• The most recent development in standard ontology languages is OWL from the World Wide Web Consortium (W3C) • 由w3c从斯坦福大学的本体语言发展而来的。
4. 3 Using The OWL Tools To Create Classes
• • • • • • • • • • • • • • • • • • • 【PizzaBase 子类 ThinAndCrispy 和 DeepPan】 PizzaTopping子类如下 Cheese Mozzarella Parmezan Meat Ham Pepperoni Salami SpicyBeef SeaFood Anchovy Prawn Tuna Vegtable Caper Mushroom Olive Onion
• If a property P is irreflexive, it can be described as a property that relates an individual a to individual b, where individual a and individual b are not the same.也就是说，这种properties 只能连接 不同的individuals。如：： 小明的父亲是大明， 那么我们不能说小明的父亲是小明
注：： 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.
（5） Antisymmetric（反对称） properties
• If a property P is antisymmetric, and the property relates individual a to individual b then individual b cannot be related to individual a via property P.如 下：：
另外：： If we say that the individual Jean hasBirthMother Lily and we also say that the individual Jean hasBirthMother Mary, then because hasBirthMother is a functional property, we can infer that Lily and Mary must be the same individual.但是如果Lily和Mary明确的声明为两个不同的Individuals，那么就 会出现矛盾（inconsistency）。
• 3.1 Individuals（个体） • 指的是在域（domain）中我们感兴 趣的对象。类中的一个实例。 • Individuals必须明确的声明彼此之间是否 相同。不同的名字可能指的是相同的 Individuals。
• 3.2 Properties（属性） • 指的是Individuals上二元关系，他连接着两个Individuals。 如：小三的父亲叫大三。其中，“的父亲叫”就连接着小三和 大三两个Individuals。 • Properties可以存在reverse，如上所示，“的父亲叫”的 reverse就是“的儿子叫”。 • Properties可以被限定成单值，此时Properties是functional的。 （后面介绍） • Properties也可以是transitive （可传递的）或symmetric（对 称的）（后面介绍）