Presentation is loading. Please wait.

Presentation is loading. Please wait.

Internet Technologies An Introduction to Ontologies in OWL Bibliography The OWL Guide The OWL Overview Description Logic slides from Enrico Franconi Artificial.

Similar presentations


Presentation on theme: "Internet Technologies An Introduction to Ontologies in OWL Bibliography The OWL Guide The OWL Overview Description Logic slides from Enrico Franconi Artificial."— Presentation transcript:

1 Internet Technologies An Introduction to Ontologies in OWL Bibliography The OWL Guide The OWL Overview Description Logic slides from Enrico Franconi Artificial Intelligence A Modern Approach by Russel and Nordig

2 Internet Technologies What is an Ontology? A representation of terms and their interrelationships (OWL Overview) A formal conceptualization of the world Smart data

3 Internet Technologies Ontology Languages Typically introduce concepts, properties, relationships between concepts and constraints May be expressed with diagrams ER Diagrams and UML Class Diagrams are ontology languages OWL (The Web Ontology Language) is expressed in XML OWL is a distributed ontology language

4 Internet Technologies The OWL Language February 10, 2004 OWL and RDF become W3C Recommendations See Jena from Hewlett-Packard Research for an existing Java API See Protégé-2000 at Stanford University for an existing OWL editor Big names in this space include Jim Hendler, and Debra McGuiness A large example can be found at nciOncology.owl

5 Internet Technologies From the W3C

6 Internet Technologies The three sublanguages of OWL OWL Lite (decidable) OWL DL (Description Logic) (Decidable) OWL Full (Allows classes as instances) As we move from OWL Lite to OWL full we increase expressiveness and logical complexity.

7 Internet Technologies Decidability A proof procedure r is incomplete if there are true statements that the procedure cannot infer. Godel (1930’s) showed that, for first order logic, any statement entailed by a set of statements can be proved from the set. In other words, a proof procedure exists. In 1965, Robinson found the resolution method.

8 Internet Technologies Decidability But, entailment is semi-decidable. If a statement does not follow from the premises it may go on and on. Resolution is complete Premises Statment S If S follows the proof of S will emerge after some time. If S does not follow the procedure may loop forever.

9 Internet Technologies OWL Lite is a Decidable Language A Class is a set of individuals The class Thing is the superclass of all OWL classes The class Nothing is a subclass of all OWL classes and has no individuals members Classes may be defined as subClasses of other classes

10 Internet Technologies Three classes that subclass Thing These terms may be referred to from within this Document by ‘#Winery’,’ #Region’ and ‘#ConsumableThing’. Other ontologies may refer to these terms with ‘SomeURI#Winery’, ‘SomeURI#Region’ and so on.

11 Internet Technologies Class Hierarchies built with subClassOf … … Deduction: If x is a PotableLiquid then x is a ConsumableThing

12 Internet Technologies Wine and Pasta …

13 Internet Technologies SweetFruit and NonSweetFruit

14 Internet Technologies Defining Individuals Is identical to

15 Internet Technologies Another individual Deduction: CabernetSauvignon is a SweetFruit

16 So far we have… Thing WineryRegion ConsumableThing PotableLiquid EdibleThing SweetFruitNonSweetFruitPasta Grape WineGrape CabernetSauvignonGrape CentralCoastalRegion Wine

17 Internet Technologies So far we have … Classes Individuals We now need properties to state facts about classes and facts about individuals

18 Internet Technologies Properties Properties are binary relations A binary relation R from a set X to a set Y is a subset of the Cartesian product X x Y. If (x,y) ε R, we write xRy and say x is related to y.

19 Internet Technologies Binary Relations Suppose the set X has members {a,b} and the set Y has members {c,d,e}. XxY = {(a,c),(a,d),(a,e),(b,c),(b,d),(b,e)} Let R = {(a,c),(b,e)} Since (a,c) ε R and (b,e) ε R we write aRc and bRe. Notice that a binary relation is a set of ordered pairs.

20 Internet Technologies The set {x ε X | (x,y) ε R for some y ε Y} is called the domain of R. The domain of R = {(a,c),(b,e)} is {a,b}. The set {y ε Y | (x,y) ε R for some x ε X} is called the range of R. The range of R = {(a,c),(b,e)} is {c,e}. Domain and Range

21 Internet Technologies Properties R is Transitive if and only if xRy and yRz imply xRz locateIn is transitive in the wine ontology R is Symmetric if and only if xRy iff yRx adjacentTo is symmetric in the wine ontology

22 Internet Technologies Properties R is Functional if and only if xRy and xRz implies y = z hasVintageYear is functional in the wine ontology R 1 and R 2 are Inverse Properties if and only if xR 1 y iff yR 2 x hasMaker and producesWine are inverse relations in the wine ontology

23 Internet Technologies OWL’s Property Hierarchy Thing is a superset of Property Property is a superset of ObjectProperty Property is a superset of DataProperty An ObjectProperty associates a class instance with another class instance. A DataProperty associates a class instance with a datatype value

24 Internet Technologies OWL’s Property Hierarchy Example Thing Mammal Person Mike Sue ObjectProperty DataProperty Property hasRelative hasSibling (Mike,Sue) hasAge (Mike,23) Indentation shows subset relationships. Set elements are marked with dots.

25 Internet Technologies OWL Property Syntax “OWLURI” will actually appear as the official OWL URI.

26 Internet Technologies Adding pairs to locatedIn … Can we make a deduction?

27 Internet Technologies locatedIn locatedIn is defined as a set of ordered pairs. Each pair must contain an owl:Thing (maybe a Region) followed by value from the set Region. For example: locatedIn = {(SantaCruzMountainsRegion, CaliforniaRegion), (SantaCruzMountainVinyardCabernetSauvignon, SantaCruzMountainsRegion)…} A deduction like the following is not yet possible… The Thing SantaCruzMountainVinyardCabernetSauvignon is locatedIn CaliforniaRegion

28 Internet Technologies locatedIn is Transitive A deduction like the following is now possible… The Thing SantaCruzMountainVinyardCabernetSauvignon is locatedIn CaliforniaRegion

29 Internet Technologies Given the madeFromGrape property madeFromGrape (#Wine,#WineGrape)

30 Internet Technologies And… We can deduce that LindemansBin65Chardonnay is a Wine.

31 Internet Technologies Given a Property… …

32 Internet Technologies We can define a subproperty … hasWineDescriptor (#Wine,#WineDescriptor) (#Wine,#WineColor)

33 Internet Technologies And make it functional. … hasWineDescriptor (#Wine,#WineDescriptor) (#Wine,#WineColor) Now, for each Wine, there can be at most one WineColor.

34 Internet Technologies 1 … Anonymous Classes So, those Things that are in the PotableLiquid set that are also in the set of things made from at least one grape are Wines. If we know that x is a Wine then we know it has at least one madeFromGrape property defined.

35 Internet Technologies A Wine Individual : This says nothing about what grape it’s made from. To find that out we must look to the class CabernetSauvignon. There we learn all wines of this variety are madeFromGrape CabernetSauvignon. So, individuals inherit properties and property values from their class.

36 Internet Technologies What does this mean? 1

37 Internet Technologies And this?

38 Internet Technologies How about this one?


Download ppt "Internet Technologies An Introduction to Ontologies in OWL Bibliography The OWL Guide The OWL Overview Description Logic slides from Enrico Franconi Artificial."

Similar presentations


Ads by Google