protege构建本体教程Word下载.docx

protege构建本体教程Word下载.docx

《protege构建本体教程Word下载.docx》由会员分享，可在线阅读，更多相关《protege构建本体教程Word下载.docx（14页珍藏版）》请在冰豆网上搜索。

3.1Individuals（个体）

指的是在域（domain）中我们感兴趣的对象。

类中的一个实例。

Individuals必须明确的声明彼此之间是否相同。

不同的名字可能指

的是相同的Individuals。

3.2Properties（属f生）

指的是Individuals上二元尖系，他连接着两个Individuals。

如：

小

Individuals。

Properties可以存在reverse,如上所示，“的父亲叫"

的reverse就是“的儿子叫”。

Properties可以被限定成单值，此时Properties是functional的。

（后面介绍）

Properties也可以是transitive（可传递的）或symmetric（对称的）（后面介

绍）

3.3Classes

可以看作是包含Individuals的集合。

我们使用正式而精准的形式来描述ClassesClasses®

常被组织成

supperclass-subclass形式的层状结构，比如，动物和狗。

4仓【I建本体myPizza

（PizzaBase是Pizza结构之一，中文叫“饼底”，主要由面粉做成，是Pizza的

主体，和pizzatoppings（比萨饼面）一起构成整个Pizza）

4.1命名一个Classes（采用单词首字母大写方式，类似于java中类的命名）

一个初始化的本体包含一个名字叫做Thing的classes他表示包含所有

individuals的集合，所以，所有的其他classes都是他的subclasses

4.2Disjoint（解体［Classes

如果任意一个Individuals（或Object）仅仅是众多Classes中某一个的实

例（instanee），那么这些Classes是Disjoint的。

4.3UsingTheOWLToolsToCreateClasses

[PizzaBase子类ThinAndCrispy和DeepPar]PizzaTopping子类女|]下

Cheese

Mozzarella

Parmezan

Meat

Ham

Pepperoni

Salami

SpicyBeef

SeaFood

Anchovy

Prawn

Tuna

Vegtable

Caper

Mushroom

Olive

Onion

Pepper

RedPepper

GreenPepper

JalapenoPepper

Tomato

4.4subclass到底是什么意思呢？

例如“狗"

是“动物"

的subclass那么“狗"

的instanee也是“动物"

的instanee,一个东西是狗，那么他一定是动物。

（这和java中的子类父类貌似是一样的）

Pizz日Topping

VegetableTopping

TheMeaningOfSubclassAHindividualsthatarememberscftheclassTcmatoTbppinreinembeis

oftheVeQetab]eTopaingandMitiubersofthePZZaTopcinga*ha〔*estaitd

LhatTcmatoTopp）且±

tibMdAufVAge:

aDleTopning昭hick詮astiLclAufPiz;

aToppng

4.5.OWLProperties

（彳既述）OWLPropertiesrepresentrelationships.Therearetwomaintypesofproperties,ObjectpropertiesandDatatypeproperties.Objectpropertiesarerelationshipsbetweentwoindividuals.（先介绍Objectproperties）女口下是

MatthewGemma

AnabjectpropertylinkinqthindividualMarthA»

wroThAincdivicJual

MarrhewH2SWAAxsd:

int«

*g*>

r

Adatatypepropertyhmkingtheindividual

Mrirthewtothed<

italiteraE25Awhichhas曰typecf曰门xAdvinteger.

Objectpropertieslinkanindividualtoanindividual.

[hasIngredien子hasBasehasToppinj

我们可以创建Subproperties，它用来限定Supperproperties的围。

Forexample,thepropertyhasFathermightspecialise（限定围）themoregeneralpropertyofhasParent小明有父亲大明，那么我们也可以说小明的双亲有大明。

“有父亲”就是“有双亲”的subproperty°

4.6InverseProperties（逆属性）

[isIngredientOf子isBaseOfisToppingO】

如该例中：

：

hasBase和isBaseOf就是一对InverseProperties

Forexample：

ifMatthewhasParentJean,thentheinversepropertywecaninferthatJeanhasChildMatthew.

4.7OWLObjectPropertyCharacteristics（特征）

OWL允许通过使用propertycharacteristics来增强properties的含义（涵）。

（1）FunctionalProperties

Ifapropertyisfunctional,foragivenindividual,therecanbeat

也就是说、Properties是单值的。

例如：

hasBirthMother、这个就是functional的，因为一个人他只能有一个生母。

另外：

IfwesaythattheindividualJeanhasBirthMotherLilyandwealsosaythattheindividualJeanhasBirthMotherMary,thenbecausehasBirthMotherisafunctionalproperty,wecaninferthatLilyandMarymustbethesameindividual•但是女［1果Lily和Mary明确的声明为两个不同的Individuals，那么就会出现矛盾（inconsistency）。

Figure4.19:

AnExampleOfAFimctionalProperty:

hasBirthMother

（2）InverseFunctionalProperties

就是FunctionalProperties的inverse如下：

ure4.20:

AaExanrpleOfAnInverseFunctionalProperty7：

JSBirthMothGrOf

（3）TransitiveProperties

thatindividualaisrelatedtoindividualcviapropertyP.如］下：

Figure4.21:

AnExampleOfATransitiveProperty:

hasAncestOf注：

:

a）Ifa

William

propertyistransitivethenitsinversepropertyshouldalsobe

b）ifapropertyistransitivethenitcannotbefunctional.

（4）Symmetric（对称）Properties

IfapropertyPissymmetric,andthepropertyrelatesindividual

atoindividualbthenindividualbisalsorelatedtoindividualaviapropertyP.女吓：

Figure4.22:

AnExampleOfASymmetricProperty:

hasSibling

（5）Antisymmetric（反对称）

properties

individualaviapropertyP.如下：

Figure4.24:

AnexampleoftheantisymmetricpropertyhasCliildOf

（6）Re?

exive（自反）properties

ApropertyPissaidtobere?

exivewhenthepropertymustrelate

individualatoitself.如下:

Figure4<

25iAnexampleofaReflexivePropertv:

knows

（7）lrre?

exive（非自反）properties

IfapropertyPisirre?

exive,itcanbedescribedasapropertythat

relatesanindividualatoindividual