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/ ast update: October 15, 2014
32
Embed
1 Berendt: Knowledge and the Web, 1st semester 2014/2015, berendt/teaching/ 1 Knowledge and the Web Inference on the Semantic.
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
1Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/
21Berendt: 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
22Berendt: 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)
23Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/
23
Primitive and defined classes
24Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/
24
Open world reasoning (1)
25Berendt: 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?
26Berendt: 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?
27Berendt: Knowledge and the Web, 1st semester 2014/2015, http://www.cs.kuleuven.be/~berendt/teaching/
27Domain and range restrictions are axioms – or: when should you not use domain/range, but restrictions instead?
28Berendt: 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?
29Berendt: 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?
30Berendt: 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?
32Berendt: 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
33Berendt: 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/ 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/
OWL Abstract Syntax: A short summary here: 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
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.