protege構(gòu)建本體教程ppt課件

1、protege構(gòu)建本體教程構(gòu)建本體教程11.什么是本體（什么是本體（Ontologie） Ontologies are used to capture knowledge about some domain of interest.本體是用來獲得你所感興趣的領(lǐng)域的知識；22.OWL Ontologies The most recent development in standard ontology languages is OWL from the World Wide Web Consortium (W3C) 由w3c從斯坦福大學(xué)的本體語言發(fā)展而來的。3 3.OWL Ontologies的

2、組成的組成OWL Ontologies與基于Protege frame的本體語言在組成上比較相似，但是從專業(yè)術(shù)語上來描述時他們又有著細(xì)微的不同。OWL Ontologies是由個體（Individuals），屬性（Properties），類（Classes）組成,大致對應(yīng)于Protege frame的Instances，Slots ，Classes.4 3.1 Individuals（個體）指的是在域（domain）中我們感興趣的對象。類中的一個實(shí)例。Individuals必須明確的聲明彼此之間是否相同。不同的名字可能指的是相同的Individuals。53.2 Properties（屬性）指

3、的是Individuals上二元關(guān)系，他連接著兩個Individuals。如：小三的父親叫大三。其中，“的父親叫”就連接著小三和大三兩個Individuals。Properties可以存在reverse，如上所示，“的父親叫”的reverse就是“的兒子叫”。Properties可以被限定成單值，此時Properties是functional的。（后面介紹）Properties也可以是transitive （可傳遞的）或symmetric（對稱的）（后面介紹）6 3.3 Classes可以看作是包含Individuals的集合。我們使用正式而精準(zhǔn)的形式來描述Classes。Classes通常被

4、組織成supperclasssubclass形式的層狀結(jié)構(gòu)，比如，動物和狗。74 創(chuàng)建本體創(chuàng)建本體myPizza (PizzaBase是Pizza結(jié)構(gòu)之一，中文叫“餅底”，主要由面粉做成，是Pizza的主體，和pizza toppings（比薩餅面）一起構(gòu)成整個Pizza)8 4.1 命名一個命名一個Classes（采用單詞首字母大寫方式，類似于java中類的命名） 一個初始化的本體包含一個名字叫做Thing的classes，他表示包含所有individuals的集合，所以，所有的其他classes都是他的subclasses。94.2 Disjoint（解體）（解體） Classes 如果任

5、意一個Individuals（或Object）僅僅是眾多Classes中某一個的實(shí)例（instance），那么這些Classes是Disjoint的。104. 3 Using The OWL Tools To Create Classes【PizzaBase 子類 ThinAndCrispy 和 DeepPan】PizzaTopping子類如下CheeseMozzarellaParmezanMeatHamPepperoniSalamiSpicyBeefSeaFoodAnchovyPrawnTunaVegtableCaperMushroomOliveOnionPepperRedPepperGre

6、enPepperJalapenoPepperTomato114.4 subclass到底是什么意思呢到底是什么意思呢？ 例如“狗”是“動物”的subclass。那么“狗”的instance也是“動物”的instance，一個東西是狗，那么他一定是動物。（這和java中的子類父類貌似是一樣的） 12134.5. OWL Properties（概述）OWL Properties represent relationships. There are two main types of properties, Object properties and Datatype properties. Obj

7、ect properties are relationships between two individuals. （先介紹Object properties）如下是Object properties 和 Datatype properties14Object properties link an individual to an individual.【hasIngredien 子 hasBase hasTopping】我們可以創(chuàng)建Sub properties，它用來限定Supper properties的范圍。For example, the property hasFather migh

8、t specialise（限定范圍）the more general property of hasParent. 小明有父親大明，那么我們也可以說小明的雙親有大明?！坝懈赣H”就是“有雙親”的subproperty。15 4.6 Inverse Properties（逆屬性） 【isIngredientOf 子 isBaseOf isToppingOf】 如該例中： hasBase 和 isBaseOf就是一對Inverse PropertiesFor example：if Matthew hasParent Jean, then the inverse property we can inf

9、er that Jean hasChild Matthew.164.7 OWL Object Property Characteristics（特征）（特征） OWL允許通過使用property characteristics來增強(qiáng)properties的含義（內(nèi)涵）。17（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

10、. 也就是說，Properties是單值的。例如：hasBirthMother ，這個就是functional的，因?yàn)橐粋€人他只能有一個生母。18另外：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 indi

11、vidual.但是如果Lily和Mary明確的聲明為兩個不同的Individuals，那么就會出現(xiàn)矛盾（inconsistency）。19（2） Inverse Functional Properties 就是Functional Properties 的 inverse 如下：20（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 c

12、an infer that individual a is related to individual c via property P.如下：注：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.21（4） Symmetric（對稱） Properties If a property P is symmetric, and the propert

13、y relates individual a to individual b then individual b is also related to individual a via property P.如下：22（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.如下

14、：23（6） Reflexive（自反） properties A property P is said to be reflexive when the property must relate individual a to itself.如下：24（7） Irreflexive（非自反） properties 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 indivi

15、dual b are not the same.也就是說，這種properties只能連接不同的individuals。如： 小明的父親是大明，那么我們不能說小明的父親是小明254.8 Property Domains and Ranges【定義 hasTopping 的 Range PizzaTopping domain Pizza】【定義 isToppingOf 的 Range Pizza domain PizzaTopping 】Properties may have a domain and a range specified（指定的）. Properties link individ

16、uals from the domain to individuals from the range.例如：in myPizza 本體， the property hasTopping would probably link individuals belonging the the class Pizza to individuals belonging to the class of PizzaTopping. In this case the domain of the hasTopping property is Pizza and the range is PizzaTopping。

17、另外： 如果有 a hasTopping b ，并且a與b都是individuals，那么我們就可以說a屬于class Pizza，b屬于class PizzaTopping。通常來說，domain for a property is the range for its inverse, and the range for a property is the domain for its inverse264.9描述和定義描述和定義Classes 4.9.1 Property RestrictionsOwl的restriction有三種： Quantifier Restrictions Car

18、dinality Restrictions hasValue Restrictions.271. quantifier restrictions（existential restrictions 和 universal restrictions） Existential restrictions ： describe classes of individuals that participate in at least one relationship along a specified property to individuals that are members of a specifi

19、ed class. 例子：我至少（at least one）買了一袋餅干從好又多超市。再比如：我做的蛋糕，上面至少覆蓋了一層紫色奶酪28【Pizza 限制 hasBase some PizzaBase 】29universal restrictions ：describe classes of individuals that for a given property only have relationships along this property to individuals that are members of a specified class.例子：我買的東西都是從好又多市（或

20、者我買東西只（only）從好又多超市） 注：A restriction describes an anonymous class (an unnamed class). The anonymous class contains all of the individuals that satisfy the restriction 。例如： Existential restrictions“上面至少覆蓋了一層紫色奶酪?！边@句話就描述了一個匿名類，任何上面覆蓋至少一層紫色奶酪的individuals都屬于該匿名類的，“我做的蛋糕”這個類也屬于這個匿名類。所以當(dāng)我們對一個類進(jìn)行限制時，在supper

21、class里定義。302 定義一些其他的類（一些使用技巧） 【 Pizza 子類 NamedPizza】 【NamedPizza 子類MargheritaPizza has at least one toppings of MozzarellaTopping and TomatoTopping】 【創(chuàng)建AmericanaPizza 通過克隆 MargheritaPizza 因?yàn)樗麛U(kuò)展了一個限制 PepperoniTopping】 【創(chuàng)建AmericanHotPizza 通過克隆 AmericanaPizza 增加限制JalapenoPepperTopping】 【創(chuàng)建SohoPizza 克隆M

22、argheritaPizza 增加OliveTopping 和ParmezanTopping】314.10 使用使用Reasoner（推理機(jī)（推理機(jī)）the reasoner shipped with Protege is called Fact+.兩種hierarchy：In Protege 4 the manually constructed class hierarchy is called the asserted hierarchy. The class hierarchy that is automatically computed by the reasoner is calle

23、d the inferred hierarchy.主要功能：1，判斷一個類是否是另一個類的子類2，consistency checking（一致性檢測）【為了使用推理機(jī)，我們先定義一個矛盾的類ProbeInconsistentTopping，讓他既是CheeseTopping 又是 VegetableTopping的子類，前提是這兩個類是disjoint的】：If a class has been found to be inconsistent its icon will be highlighted in red.【將CheeseTopping VegetableTopping 設(shè)為非di

24、sjoint的之后，再Classify，觀察結(jié)果】324.11 充分必要條件充分必要條件（primitive class 和和 defined class）All of the classes that we have created so far have only used necessary conditions to describe them.Necessary conditions can be read as, “If something is a member of this class then it is necessary to fulfill these conditi

25、ons”. With necessary conditions alone, we cannot say that, “If something fulfills these conditions then it must be a member of this class”.只定義了必要條件的類叫做primitive class定義了充要條件的類叫做 defined class【定義Pizza的子類CheesyPizza定義限制hasTopping some CheeseTopping】【將其轉(zhuǎn)化為充分必要條件】【Classify 我們可以看出defined class 的不同】總結(jié)： if

26、 class A is now defined using necessary and sufficient conditions, we can say that if an individual is a member of the class A it must satisfy the conditions and we can now say that if any (random) individual satisfies these conditions then it must be a member of class A. 334.12 Automated Classifica

27、tion（自動分類）（自動分類） 為什么要使用Reasoner。當(dāng)我們創(chuàng)建了成百上千的類時，使用Reasoner來自動計(jì)算子類父類之間的關(guān)系將是十分必要的。沒有了Reasoner我們很難保證 大規(guī)模本體的健壯性和邏輯性。自動分類這項(xiàng)技術(shù)，使得本體可維護(hù)并且模塊化，它不僅使得其他的本體和程序能夠reuse 我們定義的本體，而且還最大限度的減少了使用者在建立多繼承類時的錯誤。 【使用OWLViz 顯示類的繼承層次結(jié)構(gòu)】344.13 Universal Restrictions （Quantifier Restrictions）【創(chuàng)建一個Pizza的子類VegetarianPizza 】【增加限制

28、hasTopping only (CheeseTopping or VegtableTopping)】This means that if something is a member of the class VegetarianPizza it is necessary for it to be a kind of Pizza and it is necessary for it to only (universal quantifier) have toppings that are kinds of CheeseTopping or kinds of VegetableTopping，也

29、可以沒有，比如，中國現(xiàn)在實(shí)行計(jì)劃生育，如果夫妻有了孩子那么只能有一個，但是這個夫妻也可以沒有孩子。那么就不存在only這個限制?！緦⑸厦娴谋匾獥l件轉(zhuǎn)化為充分條件】354.14 Automated Classification and Open World Reasoning 【使用推理機(jī)進(jìn)行自動分類】我們發(fā)現(xiàn)MargheritaPizza 和SohoPizza 并沒有被歸類為 VegetarianPizza的子類，但是按照我們的定義，MargheritaPizza 和 SohoPizza 都至少有個蔬菜的頂部和奶酪的頂部，再看VegetarianPizza 的充要條件， only have 蔬

30、菜的頂部和奶酪的頂部的pizza都是VegetarianPizza。但是Reasoning in OWL (Description Logics) is based on what is known as the open world assumption(OWA)，意思是，除非我們明確的說明某個事物的存在，否則我們就不能說他是存在的。分析上面的：因?yàn)槲覀儧]有明確的指定他們只有奶酪和蔬菜頂，那么他們就可以有其他的頂部。這樣的話，他們就不符合VegetarianPizza 的充要條件了。為了使這兩種pizza只有蔬菜和奶酪頂部，我們就得在hasTopping上使用closure axiom（封閉

31、公理）364.14.1 Closure Axioms（封閉公理）it can only be filled by the specified fillers. The restriction has a filler that is the union of the fillers that occur in the existential restrictions for the property?！緸镸argheritaPizza 的 hasTopping 添加封閉公理 】【hasTopping only (MozzarellaTopping or TomatoTopping)】【為其他幾

32、個pizza使用更方便的方法添加封閉公理】現(xiàn)在我們可以說，MargheritaPizza 至少有一個MozzarellaTopping和TomatoTopping，并且the toppings must only be kinds of MozzarellaTopping or TomatoTopping?！綜lassify之后我們看結(jié)果】374.15 Value Partitions Value Partitionsare他并不屬于任何一種本體語言的一部分，而是一種設(shè)計(jì)模式，類似于面向?qū)ο蟪绦蛟O(shè)計(jì)中的設(shè)計(jì)模式。它可以改善我們對類的描述。 【創(chuàng)建thing的子類ValuePartition 】

33、 【ValuePartition的子類SpicinessValuePartition（Hot Medium Mild）】 【創(chuàng)建Object Property hasSpiciness 并使其functional】 【為SpicinessValuePartition 增加covering axiom 在equivalent里面輸入Hot or Medium or Mild】38這種設(shè)計(jì)模式的效果我們可以看個對比圖：disjoint(關(guān)鍵詞) 394.16 Adding Spiciness to Pizza Toppings【對PepperTopping的所有子類設(shè)置必要條件 hasSpicin

34、ess some Hot】【定義Pizza的子類SpicyPizza 設(shè)置必要條件：hasTopping some (PizzaTopping and hasSpiciness some Hot)】【將必要條件化為充要條件】Fillter描述了一個匿名類，這個頂是Pizzatopping，并且特別辣。 【Classifiy之后我們發(fā)現(xiàn)AmericanHotPizza 成為了SpicyPizza的子類】404.17 Cardinality Restrictions （Owl的的restriction中的中的第二種）第二種）describe the class of individuals tha

35、t have at least(min), at most(max)or exactly a specified number(exactly) of relationships with other individuals or datatype values.【創(chuàng)建Pizza的子類InterestingPizza 定義必要條件hasTopping min 3】注意：我們這里3后面并沒有指定fillter是什么，代表可以是任意的individuals，等價(jià)于：hasTopping min 3 Thing【轉(zhuǎn)化為充要條件】【Classify之后觀察?！?14.18 Qualified（受限的）

36、（受限的） Cardinality Restrictions他比上面的more specify 【定義NamedPizza的子類FourCheesePizza 定義必要條件hasTopping exactly 4 CheeseTopping】425. Datatype Propertiesdescribe relationships between an individual and data values.【現(xiàn)在來描述pizza所含的熱量】【增加Datatype Properties hasCalorificContentValue】【增加individual ExampleMargheri

37、ta其 type是MargheritaPizza】【為該對象增加Data Property assertion 其中type選擇integer 值填寫250】【增加individual ExampleSoho其 type是SohoPizza 】【為該對象增加Data Property assertion 其中type選擇integer 值填寫800】43我們聲明所有的pizza都有熱量值【選定Pizza類 ，增加Supperclass 選擇Data restriction creator】 我們對pizza的熱量值進(jìn)行分類，產(chǎn)生不同的pizza【創(chuàng)建HighCaloriePizza 和LowCaloriePizza 作為Pizza的子類】【創(chuàng)建SupperClass 選擇Class expression editor 】【鍵入Pizza that hasCalorificContentValue some integer= 400】【同理LowCaloriePizza應(yīng)當(dāng)是 400】【分別將他們設(shè)為充要條件】【Classify之后我們看他們的members 】 某一確定的Pizza他所含的熱量是固定的，也就是說是單值的，我們可以使用