protege構(gòu)建本體教程PPT

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

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

3、iduals。,5,2020/7/30,3.2 Properties（屬性） 指的是Individuals上二元關(guān)系，他連接著兩個(gè)Individuals。如：小三的父親叫大三。其中，“的父親叫”就連接著小三和大三兩個(gè)Individuals。 Properties可以存在reverse，如上所示，“的父親叫”的reverse就是“的兒子叫”。 Properties可以被限定成單值，此時(shí)Properties是functional的。（后面介紹） Properties也可以是transitive （可傳遞的）或symmetric（對(duì)稱的）（后面介紹）,6,2020/7/30,3.3 Classes

4、可以看作是包含Individuals的集合。 我們使用正式而精準(zhǔn)的形式來(lái)描述Classes。Classes通常被組織成supperclasssubclass形式的層狀結(jié)構(gòu)，比如，動(dòng)物和狗。,7,2020/7/30,4 創(chuàng)建本體myPizza,(PizzaBase是Pizza結(jié)構(gòu)之一，中文叫“餅底”，主要由面粉做成，是Pizza的主體，和pizza toppings（比薩餅面）一起構(gòu)成整個(gè)Pizza),8,2020/7/30,4.1 命名一個(gè)Classes（采用單詞首字母大寫(xiě)方式，類似于java中類的命名） 一個(gè)初始化的本體包含一個(gè)名字叫做Thing的classes，他表示包含所有individ

5、uals的集合，所以，所有的其他classes都是他的subclasses。,9,2020/7/30,4.2 Disjoint（解體） Classes 如果任意一個(gè)Individuals（或Object）僅僅是眾多Classes中某一個(gè)的實(shí)例（instance），那么這些Classes是Disjoint的。,10,2020/7/30,4. 3 Using The OWL Tools To Create Classes,【PizzaBase 子類 ThinAndCrispy 和 DeepPan】 PizzaTopping子類如下 Cheese Mozzarella Parmezan Meat H

6、am Pepperoni Salami SpicyBeef SeaFood Anchovy Prawn Tuna Vegtable Caper Mushroom Olive Onion Pepper RedPepper GreenPepper JalapenoPepper Tomato,11,2020/7/30,4.4 subclass到底是什么意思呢？,例如“狗”是“動(dòng)物”的subclass。那么“狗”的instance也是“動(dòng)物”的instance，一個(gè)東西是狗，那么他一定是動(dòng)物。（這和java中的子類父類貌似是一樣的）,12,2020/7/30,13,2020/7/30,4.5. OWL

7、 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,14,2020/7/30,Object properties link

8、 an individual to an individual. 【hasIngredien 子 hasBase hasTopping】 我們可以創(chuàng)建Sub properties，它用來(lái)限定Supper properties的范圍。For example, the property hasFather might specialise（限定范圍）the more general property of hasParent. 小明有父親大明，那么我們也可以說(shuō)小明的雙親有大明。“有父親”就是“有雙親”的subproperty。,15,2020/7/30,4.6 Inverse Properties

9、（逆屬性） 【isIngredientOf 子 isBaseOf isToppingOf】 如該例中： hasBase 和 isBaseOf就是一對(duì)Inverse Properties For example：if Matthew hasParent Jean, then the inverse property we can infer that Jean hasChild Matthew.,16,2020/7/30,4.7 OWL Object Property Characteristics（特征） OWL允許通過(guò)使用property characteristics來(lái)增強(qiáng)properti

10、es的含義（內(nèi)涵）。,17,2020/7/30,（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.也就是說(shuō)，Properties是單值的。例如：hasBirthMother ，這個(gè)就是functional的，因?yàn)橐粋€(gè)人他只能有一個(gè)生母。,18,2020/7/30,另外： If we say that the indiv

11、idual 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明確的聲明為兩個(gè)不同的Individuals，那么就會(huì)出現(xiàn)矛盾（inconsistency）。,19,2020/7/30,（2） Inverse Functio

12、nal Properties,就是Functional Properties 的 inverse 如下：,20,2020/7/30,（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.如下：,注：

13、a)If a property is transitive then its inverse property should also be transitive.(祖先那個(gè)例子) b) if a property is transitive then it cannot be functional.,21,2020/7/30,（4） Symmetric（對(duì)稱） Properties,If a property P is symmetric, and the property relates individual a to individual b then individual b is a

14、lso related to individual a via property P.如下：,22,2020/7/30,（5） Antisymmetric（反對(duì)稱） 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.如下：,23,2020/7/30,（6） Reexive（自反） properties,A prope

15、rty P is said to be reexive when the property must relate individual a to itself.如下：,24,2020/7/30,（7） Irreexive（非自反） properties,If a property P is irreexive, 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.也就是說(shuō)，這種pr

16、operties只能連接不同的individuals。如： 小明的父親是大明，那么我們不能說(shuō)小明的父親是小明,25,2020/7/30,4.8 Property Domains and Ranges,【定義 hasTopping 的 Range PizzaTopping domain Pizza】 【定義 isToppingOf 的 Range Pizza domain PizzaTopping 】 Properties may have a domain and a range specied（指定的）. Properties link individuals from the domain

17、 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。 另外： 如果有 a hasToppi

18、ng b ，并且a與b都是individuals，那么我們就可以說(shuō)a屬于class Pizza，b屬于class PizzaTopping。通常來(lái)說(shuō)，domain for a property is the range for its inverse, and the range for a property is the domain for its inverse,26,2020/7/30,4.9描述和定義Classes,4.9.1 Property Restrictions Owl的restriction有三種： Quantifier Restrictions Cardinality R

19、estrictions hasValue Restrictions.,27,2020/7/30,1. quantifier restrictions（existential restrictions 和 universal restrictions）,Existential restrictions ： describe classes of individuals that participate in at least one relationship along a specied property to individuals that are members of a specied

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

21、class. 例子：我買的東西都是從好又多市（或者我買東西只（only）從好又多超市） 注：A restriction describes an anonymous class (an unnamed class). The anonymous class contains all of the individuals that satisfy the restriction 。例如： Existential restrictions“上面至少覆蓋了一層紫色奶酪。”這句話就描述了一個(gè)匿名類，任何上面覆蓋至少一層紫色奶酪的individuals都屬于該匿名類的，“我做的蛋糕”這個(gè)類也屬于這個(gè)匿名

22、類。所以當(dāng)我們對(duì)一個(gè)類進(jìn)行限制時(shí)，在supperclass里定義。,30,2020/7/30,2 定義一些其他的類（一些使用技巧）,【 Pizza 子類 NamedPizza】 【NamedPizza 子類MargheritaPizza has at least one toppings of MozzarellaTopping and TomatoTopping】 【創(chuàng)建AmericanaPizza 通過(guò)克隆 MargheritaPizza 因?yàn)樗麛U(kuò)展了一個(gè)限制 PepperoniTopping】 【創(chuàng)建AmericanHotPizza 通過(guò)克隆 AmericanaPizza 增加限制Jal

23、apenoPepperTopping】 【創(chuàng)建SohoPizza 克隆MargheritaPizza 增加OliveTopping 和ParmezanTopping】,31,2020/7/30,4.10 使用Reasoner（推理機(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 aut

24、omatically computed by the reasoner is called the inferred hierarchy. 主要功能： 1，判斷一個(gè)類是否是另一個(gè)類的子類 2，consistency checking（一致性檢測(cè)） 【為了使用推理機(jī)，我們先定義一個(gè)矛盾的類ProbeInconsistentTopping，讓他既是CheeseTopping 又是 VegetableTopping的子類，前提是這兩個(gè)類是disjoint的】 ：If a class has been found to be inconsistent its icon will be highligh

25、ted in red. 【將CheeseTopping VegetableTopping 設(shè)為非disjoint的之后，再Classify，觀察結(jié)果】,32,2020/7/30,4.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

26、this class then it is necessary to fulfill these conditions”. 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 CheeseTo

27、pping】 【將其轉(zhuǎn)化為充分必要條件】 【Classify 我們可以看出defined class 的不同】 總結(jié)： if 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 satises these conditions then

28、 it must be a member of class A.,33,2020/7/30,4.12 Automated Classification（自動(dòng)分類）,為什么要使用Reasoner。當(dāng)我們創(chuàng)建了成百上千的類時(shí)，使用Reasoner來(lái)自動(dòng)計(jì)算子類父類之間的關(guān)系將是十分必要的。沒(méi)有了Reasoner我們很難保證 大規(guī)模本體的健壯性和邏輯性。自動(dòng)分類這項(xiàng)技術(shù)，使得本體可維護(hù)并且模塊化，它不僅使得其他的本體和程序能夠reuse 我們定義的本體，而且還最大限度的減少了使用者在建立多繼承類時(shí)的錯(cuò)誤。 【使用OWLViz 顯示類的繼承層次結(jié)構(gòu)】,34,2020/7/30,4.13 Univers

29、al Restrictions （Quantifier Restrictions）,【創(chuàng)建一個(gè)Pizza的子類VegetarianPizza 】 【增加限制 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 quantier

30、) have toppings that are kinds of CheeseTopping or kinds of VegetableTopping，也可以沒(méi)有，比如，中國(guó)現(xiàn)在實(shí)行計(jì)劃生育，如果夫妻有了孩子那么只能有一個(gè)，但是這個(gè)夫妻也可以沒(méi)有孩子。那么就不存在only這個(gè)限制。 【將上面的必要條件轉(zhuǎn)化為充分條件】,35,2020/7/30,4.14 Automated Classification and Open World Reasoning,【使用推理機(jī)進(jìn)行自動(dòng)分類】 我們發(fā)現(xiàn)MargheritaPizza 和SohoPizza 并沒(méi)有被歸類為 VegetarianPizza的子類

31、，但是按照我們的定義，MargheritaPizza 和 SohoPizza 都至少有個(gè)蔬菜的頂部和奶酪的頂部，再看VegetarianPizza 的充要條件， only have 蔬菜的頂部和奶酪的頂部的pizza都是VegetarianPizza。 但是Reasoning in OWL (Description Logics) is based on what is known as the open world assumption(OWA)，意思是，除非我們明確的說(shuō)明某個(gè)事物的存在，否則我們就不能說(shuō)他是存在的。分析上面的：因?yàn)槲覀儧](méi)有明確的指定他們只有奶酪和蔬菜頂，那么他們就可以有其他

32、的頂部。這樣的話，他們就不符合VegetarianPizza 的充要條件了。 為了使這兩種pizza只有蔬菜和奶酪頂部，我們就得在hasTopping上使用closure axiom（封閉公理）,36,2020/7/30,4.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

33、property。 【為MargheritaPizza 的 hasTopping 添加封閉公理 】 【hasTopping only (MozzarellaTopping or TomatoTopping)】 【為其他幾個(gè)pizza使用更方便的方法添加封閉公理】 現(xiàn)在我們可以說(shuō)，MargheritaPizza 至少有一個(gè)MozzarellaTopping和TomatoTopping，并且the toppings must only be kinds of MozzarellaTopping or TomatoTopping。 【Classify之后我們看結(jié)果】,37,2020/7/30,4.1

34、5 Value Partitions,Value Partitionsare他并不屬于任何一種本體語(yǔ)言的一部分，而是一種設(shè)計(jì)模式，類似于面向?qū)ο蟪绦蛟O(shè)計(jì)中的設(shè)計(jì)模式。它可以改善我們對(duì)類的描述。 【創(chuàng)建thing的子類ValuePartition 】 【ValuePartition的子類SpicinessValuePartition（Hot Medium Mild）】 【創(chuàng)建Object Property hasSpiciness 并使其functional】 【為SpicinessValuePartition 增加covering axiom 在equivalent里面輸入Hot or Med

35、ium or Mild】,38,2020/7/30,這種設(shè)計(jì)模式的效果我們可以看個(gè)對(duì)比圖：disjoint(關(guān)鍵詞),39,2020/7/30,4.16 Adding Spiciness to Pizza Toppings,【對(duì)PepperTopping的所有子類設(shè)置必要條件 hasSpiciness some Hot】 【定義Pizza的子類SpicyPizza 設(shè)置必要條件：hasTopping some (PizzaTopping and hasSpiciness some Hot)】 【將必要條件化為充要條件】 Fillter描述了一個(gè)匿名類，這個(gè)頂是Pizzatopping，并且特別

36、辣。 【Classifiy之后我們發(fā)現(xiàn)AmericanHotPizza 成為了SpicyPizza的子類】,40,2020/7/30,4.17 Cardinality Restrictions （Owl的restriction中的第二種）,describe the class of individuals that have at least(min), at most(max)or exactly a specified number(exactly) of relationships with other individuals or datatype values. 【創(chuàng)建Pizza的子

37、類InterestingPizza 定義必要條件hasTopping min 3】 注意：我們這里3后面并沒(méi)有指定fillter是什么，代表可以是任意的individuals，等價(jià)于：hasTopping min 3 Thing 【轉(zhuǎn)化為充要條件】 【Classify之后觀察。】,41,2020/7/30,4.18 Qualified（受限的） Cardinality Restrictions,他比上面的more specify 【定義NamedPizza的子類FourCheesePizza 定義必要條件hasTopping exactly 4 CheeseTopping】,42,2020/7

38、/30,5. Datatype Properties,describe relationships between an individual and data values. 【現(xiàn)在來(lái)描述pizza所含的熱量】 【增加Datatype Properties hasCalorificContentValue】 【增加individual ExampleMargherita其 type是MargheritaPizza】 【為該對(duì)象增加Data Property assertion 其中type選擇integer 值填寫(xiě)250】 【增加individual ExampleSoho其 type是So

39、hoPizza 】 【為該對(duì)象增加Data Property assertion 其中type選擇integer 值填寫(xiě)800】,43,2020/7/30,我們聲明所有的pizza都有熱量值 【選定Pizza類 ，增加Supperclass 選擇Data restriction creator】 我們對(duì)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】 【分別將他們?cè)O(shè)為充要條件】 【Classify之后我們看他們的members 】 某一確定的Pizza他所含的熱量是固定的，也就是說(shuō)是單值的，我們可以使用functional來(lái)限定Data