Presentation is loading. Please wait.

Presentation is loading. Please wait.

1 Berendt: Knowledge and the Web, 1st semester 2014/2015, 1 Knowledge and the Web Inference on the Semantic.

Published byMervyn Lee Modified over 8 years ago

Similar presentations

Presentation on theme: "1 Berendt: Knowledge and the Web, 1st semester 2014/2015, 1 Knowledge and the Web Inference on the Semantic."— Presentation transcript:

1 1 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 1 Knowledge and the Web Inference on the Semantic Web Bettina Berendt KU Leuven, Department of Computer Science http://people.cs.kuleuven.be/~bettina.berendt/teaching/ Last update: October 15, 2014

2 2 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 2 Agenda OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning

3 3 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 3 Agenda OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning

4 4 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 4 Motivation; deductive and inductive reasoning (ex.s) n Deductive reasoning l All swans are white. l Tilly is a swan.  Tilly is white. l Truth-preserving! n Inductive reasoning l Tilly and Edda and Edwin and … are swans. l Tilly and Edda and Edwin and … are white.  All swans are white. l „Bringing new knowledge into the world“

5 5 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 5 (OWL slides) http://people.cs.kuleuven.be/~bettina.berendt/teaching/2014-15-1stsemester/kaw/OWL.pdf

6 6 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 6 Agenda OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning

7 7 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 7 OWL Abstract Syntax / OWL Functional Syntax (ex. 1) Class(bus partial vehicle) XML/RDF Functional syntax Pro- tégé

8 8 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 8 OWL Abstract Syntax / OWL Functional Syntax (ex. 2) (in the Protégé editor: “Person and drives some Bus“ ) Class(bus_driver complete intersectionOf( person restriction(drives someValuesFrom (bus))))

9 9 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 9 Agenda OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning

10 10 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 10 Examples: Class inferences (1) Class(a:bus_driver complete intersectionOf( a:person restriction(a:drives someValuesFrom (a:bus)))) Class(a:driver complete intersectionOf( a:person restriction(a:drives someValuesFrom(a:vehicle)))) Class(a:bus partial a:vehicle) Note: a is the namespace used throughout these examples

11 11 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 11 Examples: Class inferences (2) Class(a:cat_owner complete intersectionOf( a:person restriction(a:has_pet someValuesFrom (a:cat)))) SubPropertyOf(a:has_pet a:likes) Class(a:cat_liker complete intersectionOf( a:person restriction(a:likes someValuesFrom (a:cat))))

12 12 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 12 Examples: Class inferences (3) Class(a:driver complete intersectionOf( a:person restriction(a:drives someValuesFrom(a:vehicle)))) Class(a:driver partial a:adult) Class(a:grownup complete intersectionOf( a:adult a:person))

13 13 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 13 Examples: Class inferences (4) Class(a:sheep partial a:animal restriction(a:eats allValuesFrom (a:grass))) Class(a:grass partial a:plant) DisjointClasses( unionOf(a:animal restriction(a:part_of someValuesFrom (a:animal))) unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant)))) Class(a:vegetarian complete intersectionOf( a:animal restriction(a:eats allValuesFrom (complementOf(a:animal))))) restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal))))) This was missing on your printouts

14 14 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 14 Examples: Class inferences (5) Class(a:giraffe partial a:animal restriction(a:eats allValuesFrom (a:leaf))) Class(a:leaf partial restriction(a:part_of someValuesFrom (a:tree))) Class(a:tree partial a:plant) DisjointClasses( unionOf(restriction(a:part_of someValuesFrom (a:animal)) a:animal) unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant)))) Class(a:vegetarian complete intersectionOf( a:animal restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal))))) restriction(a:eats allValuesFrom (complementOf(a:animal)))))

15 15 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 15 Examples: Class inferences (6) Class(a:old_lady complete intersectionOf(a:person a:female a:elderly)) Class(a:old_lady partial intersectionOf( restriction(a:has_pet someValuesFrom (a:animal)) restriction(a:has_pet allValuesFrom (a:cat)))) Class(a:cat_owner complete intersectionOf( a:person restriction(a:has_pet someValuesFrom (a:cat))))

16 16 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 16 Examples: Class inferences (7) Class(a:cow partial a:vegetarian) DisjointClasses( unionOf(a:animal restriction(a:part_of someValuesFrom (a:animal))) unionOf(a:plant restriction(a:part_of someValuesFrom (a:plant)))) Class(a:vegetarian complete intersectionOf( a:animal restriction(a:eats allValuesFrom (complementOf(restriction(a:part_of someValuesFrom (a:animal))))) restriction(a:eats allValuesFrom (complementOf(a:animal))))) Class(a:mad_cow complete intersectionOf( a:cow restriction(a:eats someValuesFrom (intersectionOf(restriction(a:part_of someValuesFrom (a:sheep)) a:brain))))) Class(a:sheep partial a:animal restriction(a:eats allValuesFrom (a:grass)))

17 17 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 17 Examples: Instance inferences (1) Individual(a:Spike type(owl:Thing) value(a:is_pet_of a:Pete)) Individual(a:Pete type(owl:Thing)) ObjectProperty(a:has_pet domain(a:person) range(a:animal)) ObjectProperty(a:is_pet_of inverseOf(a:has_pet))

18 18 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 18 Examples: Instance inferences (2) Individual(a:Daily_Mirror type(owl:Thing)) Individual(a:Nick type(a:male) value(a:drives a:Q123_ABC) value(a:reads a:Daily_Mirror)) Individual(a:Q123_ABC type(a:van) type(a:white_thing)) Class(a:white_van_man complete intersectionOf( a:man restriction(a:drives someValuesFrom (intersectionOf(a:van a:white_thing))))) Class(a:white_van_man partial restriction(a:reads allValuesFrom (a:tabloid)))

19 19 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 19 Examples: Instance inferences (3) Individual(a:Walt type(a:person) value(a:has_pet a:Huey) value(a:has_pet a:Louie) value(a:has_pet a:Dewey)) Individual(a:Huey type(a:duck)) Individual(a:Dewey type(a:duck)) Individual(a:Louie type(a:duck)) DifferentIndividuals(a:Huey a:Dewey a:Louie) Class(a:animal_lover complete intersectionOf( a:person restriction(a:has_pet minCardinality(3))))

20 20 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 20 Examples: Instance inferences (4) Individual(a:Minnie type(a:female) type(a:elderly) value(a:has_pet a:Tom)) Individual(a:Tom type(owl:Thing)) ObjectProperty(a:has_pet domain(a:person) range(a:animal)) Class(a:old_lady complete intersectionOf(a:person a:female a:elderly)) Class(a:old_lady partial intersectionOf( restriction(a:has_pet someValuesFrom (a:animal)) restriction(a:has_pet allValuesFrom (a:cat ))))

21 21 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 21 Agenda OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning

22 22 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 22 Properties and existential restrictions Yet another syntax: Read this as intersectionOf (Pizza restriction1 restriction2)

23 23 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 23 Primitive and defined classes

24 24 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 24 Open world reasoning (1)

25 25 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 25 Open world reasoning (2): Is this a Margherita Pizza?

26 26 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 26 Open world reasoning (3): closure restrictions/axioms – what does this exclude?

27 27 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 27 Domain and range restrictions are axioms – or: when should you not use domain/range, but restrictions instead?

28 28 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 28 „and“ and „or“ in logics vs. in natural language, “all“ vs. “some“ - what do these 2 definitions say? Is this the intention? How can it be expressed better?

29 29 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 29 Does „only“ ( allValuesFrom ) imply „some“ ( someValuesFrom )? Is an EmptyPizza a VegetarianPizza?

30 30 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 30 „some not …“ vs. „not some …“: what does this definition say? Is this the intention? How can it be expressed better?

31 31 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 31 Task for the next week n Find 3 ontological statements on the Semantic Web, for example using Sindice. n Paraphrase what they mean. n Find 1 statement involving owl:EquivalentClass. What problems are likely to arise when statements made about this class (with its two names) come from different knowledge sources?

32 32 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 32 Outlook OWL: Protégé interface, XML/RDF OWL viewed as a description logics: basics OWL: another syntax (for the examples that follow) OWL inference examples Common problems in using OWL reasoning Combining SW data: Schema/ontology matching

33 33 Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/ 33 Used sources OWL specification at http://www.w3.org/TR/owl-ref/http://www.w3.org/TR/owl-ref/ resp. http://www.w3.org/TR/owl2-overview/ Difference between OWL Lite, DL, and Full by Ritesh Agrawal (2007) at http://ragrawal.wordpress.com/2007/02/20/difference-between-owl-lite-dl-and-full/ http://ragrawal.wordpress.com/2007/02/20/difference-between-owl-lite-dl-and-full/ OWL Abstract Syntax: A short summary here: http://www.csee.umbc.edu/courses/691s/notes/12absyntax.pdf http://www.csee.umbc.edu/courses/691s/notes/12absyntax.pdf pp. 10ff.: Bechhofer, S. (2003). OWL Reasoning Examples. http://owl.man.ac.uk/2003/why/20031203 http://owl.man.ac.uk/2003/why/20031203 pp. 22ff.: Alan L. Rector, Nick Drummond, Matthew Horridge, Jeremy Rogers, Holger Knublauch, Robert Stevens, Hai Wang, Chris Wroe: OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns. EKAW 2004: 63-81. http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.107.7584 Picture credits: see PPT „comments“ field

Download ppt "1 Berendt: Knowledge and the Web, 1st semester 2014/2015, 1 Knowledge and the Web Inference on the Semantic."

Similar presentations

A Controlled Natural Language Interface for Semantic MediaWiki Jie Bao Rensselaer Polytechnic Institute Paul R. Smart, Nigel R. Shadbolt University of.

A Controlled Natural Language Interface for Semantic MediaWiki Jie Bao Rensselaer Polytechnic Institute Paul R. Smart, Nigel R. Shadbolt University of.
1 ISWC-2003 Sanibel Island, FL IMG, University of Manchester Jeff Z. Pan 1 and Ian Horrocks 1,2 {pan | 1 Information Management.

1 ISWC-2003 Sanibel Island, FL IMG, University of Manchester Jeff Z. Pan 1 and Ian Horrocks 1,2 {pan | 1 Information Management.
Brief History of Knowledge Representation, Description Logics and OWL OpenGALEN BioHealth Informatics Group © University of Manchester.

Brief History of Knowledge Representation, Description Logics and OWL OpenGALEN BioHealth Informatics Group © University of Manchester.
SPARQL Dimitar Kazakov, with references to material by Noureddin Sadawi ARIN, 2014.

SPARQL Dimitar Kazakov, with references to material by Noureddin Sadawi ARIN, 2014.
CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.

CH-4 Ontologies, Querying and Data Integration. Introduction to RDF(S) RDF stands for Resource Description Framework. RDF is a standard for describing.
Chronos: A Tool for Handling Temporal Ontologies in Protégé

Chronos: A Tool for Handling Temporal Ontologies in Protégé
An Introduction to RDF(S) and a Quick Tour of OWL

An Introduction to RDF(S) and a Quick Tour of OWL
Based on “A Practical Introduction to Ontologies & OWL” © 2005, The University of Manchester A Practical Introduction to Ontologies & OWL Session 3: Additional.

Based on “A Practical Introduction to Ontologies & OWL” © 2005, The University of Manchester A Practical Introduction to Ontologies & OWL Session 3: Additional.
1 OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns Alan Rector 1, Nick Drummond 1, Matthew Horridge 1, Jeremy Rogers.

1 OWL Pizzas: Practical Experience of Teaching OWL-DL: Common Errors & Common Patterns Alan Rector 1, Nick Drummond 1, Matthew Horridge 1, Jeremy Rogers.
Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.

Of 27 lecture 7: owl - introduction. of 27 ece 627, winter ‘132 OWL a glimpse OWL – Web Ontology Language describes classes, properties and relations.
OWL TUTORIAL APT CSA 3003 OWL ANNOTATOR Charlie Abela CSAI Department.

OWL TUTORIAL APT CSA 3003 OWL ANNOTATOR Charlie Abela CSAI Department.
Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
Protégé Classes, Properties and Instances Susana R. de Novoa UNIK4710.

Protégé Classes, Properties and Instances Susana R. de Novoa UNIK4710.
1 CSC 9010 Spring, 2011. Paula MatuszekSome slides taken from www.cs.man.ac.uk/~drummond/.../IntroductionToOWL50mins.pptwww.cs.man.ac.uk/~drummond/.../IntroductionToOWL50mins.ppt.

1 CSC 9010 Spring, Paula MatuszekSome slides taken from
The Semantic Web – WEEK 11: Description Logic + OWL Featuring..MAD COWS.

The Semantic Web – WEEK 11: Description Logic + OWL Featuring..MAD COWS.
1 An Introduction To The Semantic Web. 2 Information Access on the Web Find an mp3 of a song that was on the Billboard Top Ten that features a cowbell.

1 An Introduction To The Semantic Web. 2 Information Access on the Web Find an mp3 of a song that was on the Billboard Top Ten that features a cowbell.
Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.

Chapter 8: Web Ontology Language (OWL) Service-Oriented Computing: Semantics, Processes, Agents – Munindar P. Singh and Michael N. Huhns, Wiley, 2005.
Storing and Retrieving Biological Instances with the Instance Store Daniele Turi, Phillip Lord, Michael Bada, Robert Stevens.

Storing and Retrieving Biological Instances with the Instance Store Daniele Turi, Phillip Lord, Michael Bada, Robert Stevens.
The Semantic Web Week 15 Reasoning with (and Visualising) Ontologies Module Website: Practical :Protégé-2000 WITH.

The Semantic Web Week 15 Reasoning with (and Visualising) Ontologies Module Website: Practical :Protégé-2000 WITH.
COMP 6703 eScience Project Semantic Web for Museums Student : Lei Junran Client/Technical Supervisor : Tom Worthington Academic Supervisor : Peter Strazdins.

COMP 6703 eScience Project Semantic Web for Museums Student : Lei Junran Client/Technical Supervisor : Tom Worthington Academic Supervisor : Peter Strazdins.

Similar presentations

Ads by Google