![Page 1: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/1.jpg)
www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK www.sti-innsbruck.at
OWL: The Web Ontology Language
Semantic Web Lecture Lecture VII – xx 2009
Dieter FenselSlides by: Federico M. Facca
![Page 2: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/2.jpg)
www.sti-innsbruck.at
Where are we?
# Date Title
1 Introduction
2 Semantic Web Architecture
3 RDF and RDF Schema
4 Web of hypertext (RDFa, Microformats) and Web of data
5 Semantic Annotation
6 Repositories and SPARQL
7 The Web Ontology Language
8 Rule Interchange Format
9 Web-scale Reasoning
10 Social Semantic Web
11 Ontologies and the Semantic Web
12 Semantic Web Services
13 Tools
14 Applications
15 Exam
2
![Page 3: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/3.jpg)
www.sti-innsbruck.at
Overview
• Introduction and Motivation• Technical Solution
– Design of OWL – OWL Layering – OWL and Description Logics– OWL Syntaxes
• Illustration by a Large Example• Extensions
3
![Page 4: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/4.jpg)
www.sti-innsbruck.at
INTRODUCTION AND MOTIVATION
5
![Page 5: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/5.jpg)
www.sti-innsbruck.at
Overview
• Limitations of RDFS– Expressivity limitations – Layering problems
• Web Ontology Language OWL– Design of OWL – OWL Layering – OWL and Description Logics– OWL Syntaxes
6
![Page 6: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/6.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
7
![Page 7: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/7.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
8
RDF Vocabulary
Classes:rdf:Property, rdf:Statement, rdf:XMLLiteralrdf:Seq, rdf:Bag, rdf:Alt, rdf:List
Properties:rdf:type, rdf:subject, rdf:predicate, rdf:object, rdf:first, rdf:rest, rdf:_nrdf:value
Resources:rdf:nil
![Page 8: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/8.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
9
RDF Vocabulary
Classes:rdf:Property, rdf:Statement, rdf:XMLLiteralrdf:Seq, rdf:Bag, rdf:Alt, rdf:List
Properties:rdf:type, rdf:subject, rdf:predicate, rdf:object, rdf:first, rdf:rest, rdf:_nrdf:value
Resources:rdf:nilRDFS Vocabulary
RDFS Classes rdfs:Resource rdfs:Class rdfs:Literal rdfs:Datatype rdfs:Container rdfs:ContainerMembershipProperty
RDFS Vocabulary
RDFS Properties rdfs:domain rdfs:range rdfs:subPropertyOf rdfs:subClassOf rdfs:member rdfs:seeAlso rdfs:isDefinedBy rdfs:comment rdfs:label
![Page 9: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/9.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
10
![Page 10: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/10.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
11
![Page 11: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/11.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
12
![Page 12: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/12.jpg)
www.sti-innsbruck.at
What we discussed so far…
• RDF Schema– RDFS Vocabulary– RDFS Metadata– Literals and datatypes in RDFS
• Semantics of RDF and RDF Schema– Semantic notions– RDF(S) Entailment
• SPARQL– SPARQL Queries– Query answer
13
PREFIX vCard: <http://www.w3.org/2001/vcard-rdf/3.0#>SELECT ?fullNameWHERE {?x vCard:FN ?fullName}
![Page 13: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/13.jpg)
www.sti-innsbruck.at
Requirements for Ontology Languages
• Well-defined syntax• Convenience of expression• Formal semantics
– Needed in reasoning, e.g.:• Class membership• Equivalence of classes• Consistency• Classification
• Efficient reasoning support• Sufficient expressive power
14
![Page 14: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/14.jpg)
www.sti-innsbruck.at
Limitations of RDFS
• No semantics for:– Containers– Collections– Reification
• Domain and range of property infer information rather than check data– Conjunctive interpretation of multiple restrictions
• Use of properties as objects
• RDF/XML syntax very verbose
15
![Page 15: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/15.jpg)
www.sti-innsbruck.at
RDFS as an Ontology Language
• Classes• Properties• Class hierarchies• Property hierarchies• Domain and range restrictions
16
![Page 16: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/16.jpg)
www.sti-innsbruck.at
Expressiveness Limitations of RDF(S)
• Only binary relations
• Characteristics of Properties – E.g. inverse, transitive, symmetric
• Local range restrictions – E.g. for class Person, the property hasName has range
xsd:string• Complex concept descriptions
– E.g. Person is defined by Man and Woman• Cardinality restrictions
– E.g. a Person may have at most 1 name• Disjointness axioms
– E.g. nobody can be both a Man and a Woman
17
![Page 17: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/17.jpg)
www.sti-innsbruck.at
Layering Issues
• Syntax– Only binary relations in RDF
– Verbose syntax
– No limitations on graph in RDF• Every graph is valid
• Semantics– Malformed graphs
– Use of vocabulary in language• e.g. <rdfs:Class, rdfs:subClassOf, ex:a>
– Meta-classes• e.g. <rdfs:Class, rdfs:subClassOf, ex:a>, <rdfs:Class, rdfs:subClassOf, ex:b>, <ex:a, rdf:type, ex:b>
18
![Page 18: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/18.jpg)
www.sti-innsbruck.at
Stack of Languages
• XML– Surface syntax, no semantics
• XML Schema– Describes structure of XML documents
• RDF– Datamodel for “relations” between “things”
• RDF Schema– RDF Vocabulary Definition Language
• OWL– A more expressive Vocabulary Definition Language
19
This and following slides in part due to Frank van Harmelen http://www.cs.vu.nl/~frankh/spool/SemWebSlides/OWL.ppt
![Page 19: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/19.jpg)
www.sti-innsbruck.at
RDF Schema Recap
• RDFS provides– Classes– Class hierarchies– Properties– Property hierarchies– Domain and range restrictions
• RDFS does not provide– Property characteristics (inverse, transitive, ...)– Local range restrictions– Complex concept definitions– Cardinality restrictions– Disjointness axioms
20
![Page 20: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/20.jpg)
www.sti-innsbruck.at
Extending RDF Schema
• OWL extends RDF Schema to a full-fledged knowledge representation language for the Web– Logical expressions (and, or, not)– (In)equality– Local properties– Required/optional properties– Required values– Enumerated classes– Symmetry, inverse
21
![Page 21: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/21.jpg)
www.sti-innsbruck.at
TECHNICAL SOLUTIONThe Web Ontology Language
22
![Page 22: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/22.jpg)
www.sti-innsbruck.at
Design Goals for OWL
• Shareable• Changing over time• Interoperability• Inconsistency detection• Balancing expressivity and complexity• Ease of use• Compatible with existing standards• Internationalization
23
![Page 23: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/23.jpg)
www.sti-innsbruck.at
Requirements for OWL
• Ontologies are object on the Web with their own meta-data, versioning, etc...
• Ontologies are extendable
24
From Grigoris Antoniou and Frank van Harmelen: A Semantic Web Primer, MIT Press 2004
![Page 24: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/24.jpg)
www.sti-innsbruck.at
Requirements for OWL
• Ontologies are object on the Web with their own meta-data, versioning, etc...
• Ontologies are extendable• They contain classes, properties, data-types,
range/domain, individuals• Equality (for classes, for individuals)• Classes as instances• Cardinality constraints• XML syntax
25
![Page 25: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/25.jpg)
www.sti-innsbruck.at
Objectives for OWL
Objectives:– Layered language– Complex datatypes– Digital signatures– Decidability (in part)– Local unique names (in
part)
Disregarded:– Default values– Closed world option– Property chaining– Arithmetic– String operations– Partial imports– View definitions– Procedural attachments
26
A logical system or theory is decidable if there exists an effective method such that for every formula in the system the method is capable of deciding whether the formula is valid in the system or not. [http://www.wikipedia.org]
[http://www.w3.org/TR/webont-req/]
![Page 26: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/26.jpg)
www.sti-innsbruck.at
Language Layers of OWL
• OWL Lite– Classification hierarchy– Simple constraints
• OWL DL– Maximal expressiveness while maintaining tractability– Standard formalization in a DL
• OWL Full– Very high expressiveness– Losing tractability– All syntactic freedom of RDF (self-modifying)
27
![Page 27: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/27.jpg)
www.sti-innsbruck.at
Language Layers of OWL
• OWL Lite– Classification hierarchy– Simple constraints
• OWL DL– Maximal expressiveness while maintaining tractability– Standard formalization in a DL
• OWL Full– Very high expressiveness– Losing tractability– All syntactic freedom of RDF (self-modifying)
28
Problems that are solvable in theorybut cannot be solved in practice are called intractable.[http://www.wikipedia.org]
![Page 28: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/28.jpg)
www.sti-innsbruck.at
Features of OWL Language Layers
• OWL Lite– (sub)classes, individuals– (sub)properties, domain,
range– conjunction– (in)equality– cardinality 0/1– datatypes– inverse, transitive,
symmetric properties– someValuesFrom– allValuesFrom
• OWL DL– Negation– Disjunction– Full cardinality– Enumerated types– hasValue
• OWL Full– Meta-classes– Modify language
29
![Page 29: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/29.jpg)
www.sti-innsbruck.at
OWL Full
• No restriction on use of vocabulary (as long as legal RDF)– Classes as instances (and much more)
• RDF style model theory– Reasoning using FOL engine– Semantics should correspond to OWL DL for restricted KBs
30
![Page 30: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/30.jpg)
www.sti-innsbruck.at
OWL DL
• Use of vocabulary restricted– Can’t be used to do “nasty things” (e.g. modify OWL)– No classes as instances– Defined by abstract syntax
• Standard DL-based model theory– Direct correspondence with a DL– Partial reasoning via DL engines– Reasoning for full language via FOL engines
• No need for axiomatization• Built-in datatypes required for performance
31
![Page 31: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/31.jpg)
www.sti-innsbruck.at
OWL Lite
• No explicit negation or union
• Restricted cardinality (0/1)
• No nominals (oneOf)
• DL-based semantics– Reasoning via DL engines (+ datatypes)
• Semantically, only small restriction on OWL DL– No nominals– No arbitrary cardinality
32
![Page 32: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/32.jpg)
www.sti-innsbruck.at
OWL and Description Logics
• OWL Lite corresponds to the DL SHIN(D)– Named classes (A)– Named properties (P)– Individuals (C(o))– Property values (P(o, a))– Intersection (C ⊓ D)– Union(!) (C ⊔ D)– Negation(!) (¬C)– Existential value restrictions (∃P.C)– Universal value restrictions (∀P.C)– Unqualified number restrictions (≥ nP, ≤ nP, = nP)
• OWL DL corresponds to the DL SHOIN(D)– Property value (∃ P.{o})– Enumeration ({o1, ..., on})
33
![Page 33: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/33.jpg)
www.sti-innsbruck.at
OWL Constructs
34
+ XML Schema datatypes: int, string, real, etc...
∃
![Page 34: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/34.jpg)
www.sti-innsbruck.at
OWL Axioms
35
![Page 35: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/35.jpg)
www.sti-innsbruck.at
• OWL Full is not a Description Logic
• OWL Lite has strong syntactic restrictions, but only limited semantics restrictions, compared with OWL DL– Negation can be encoded using disjointness– With negation and conjunction, you can encode disjunction
Class(C complete unionOf(B C))
is equivalent to:
DisjointClasses(not B B)DisjointClasses(not C C)Class(not B and not C complete not B not C)DisjointClasses(notB and not C B or C)Class(C complete not B and not C)
More on OWL Species
36
![Page 36: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/36.jpg)
www.sti-innsbruck.at
More on Layering
• For an OWL DL-restricted KB, OWL Full semantics is not equivalent to OWL DL semantics
John friend Susan
OWL Full entails:
John rdf:type owl:ThingSusan rdf:type owl:Thingfriend rdf:type owl:ObjectProperty
John rdf:type _:x_:x owl:onProperty friend_:x owl: minCardinality ”1”ˆˆxsd:nonNegativeInteger
37
![Page 37: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/37.jpg)
www.sti-innsbruck.at
Syntaxes of OWL
• RDF– Official exchange syntax– Hard for humans– RDF parsers are hard to write!
• UML– Large user base
• XML– Not the RDF syntax– Better for humans– More XML than RDF tools available
• Abstract syntax– Not defined for OWL Full– Human readable
38
![Page 38: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/38.jpg)
www.sti-innsbruck.at
OWL in RDF/XML
Example from [OwlGuide]:
<!ENTITY vin ”http://www.w3.org/TR/2004/REC−owl−guide−20040210/wine#” ><!ENTITY food ”http://www.w3.org/TR/2004/REC−owl−guide−20040210/food#” >...<rdf:RDF xmlns:vin=”http://www.w3.org/TR/2004/REC−owl−guide−20040210/wine#”
xmlns:food=”http://www.w3.org/TR/2004/REC−owl−guide−20040210/food#”...
><owl:Class rdf:ID=”Wine”>
<rdfs:subClassOf rdf:resource=”&food;PotableLiquid”/><rdfs:label xml:lang=”en”>wine</rdfs:label><rdfs:label xml:lang=”fr”>vin</rdfs:label>...
</owl:Class>
<owl:Class rdf:ID=”Pasta”><rdfs:subClassOf rdf:resource=”#EdibleThing” />...
</owl:Class></rdf:RDF>
39
![Page 39: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/39.jpg)
www.sti-innsbruck.at
OWL in RDF/XML
Example from [OwlGuide]:
<!ENTITY vin ”http://www.w3.org/TR/2004/REC−owl−guide−20040210/wine#” ><!ENTITY food ”http://www.w3.org/TR/2004/REC−owl−guide−20040210/food#” >...<rdf:RDF xmlns:vin=”http://www.w3.org/TR/2004/REC−owl−guide−20040210/wine#”
xmlns:food=”http://www.w3.org/TR/2004/REC−owl−guide−20040210/food#”...
><owl:Class rdf:ID=”Wine”>
<rdfs:subClassOf rdf:resource=”&food;PotableLiquid”/><rdfs:label xml:lang=”en”>wine</rdfs:label><rdfs:label xml:lang=”fr”>vin</rdfs:label>...
</owl:Class>
<owl:Class rdf:ID=”Pasta”><rdfs:subClassOf rdf:resource=”#EdibleThing” />...
</owl:Class></rdf:RDF>
40
From Grigoris Antoniou and Frank van Harmelen: A Semantic Web Primer, MIT Press 2004
![Page 40: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/40.jpg)
www.sti-innsbruck.at
OWL Abstract Syntax
Class(professor partial )
Class(associateProfessor partial academicStaffMember)
DisjointClasses(associateProfessor assistantProfessor)
DisjointClasses(professor associateProfessor)
Class(faculty complete academicStaffMember)
41
![Page 41: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/41.jpg)
www.sti-innsbruck.at
OWL Abstract Syntax
• In DL syntax:
associateProfessor ⊑ academicStaffMemberassociateProfessor ⊑ ¬assistantProfessorprofessor ⊑ ¬associateProfessorfaculty ≡ academicStaffMember
42
Class(professor partial )Class(associateProfessor partial academicStaffMember)
DisjointClasses(associateProfessor assistantProfessor)DisjointClasses(professor associateProfessor)
Class(faculty complete academicStaffMember)
![Page 42: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/42.jpg)
www.sti-innsbruck.at
More Examples
DatatypeProperty(age range(xsd:nonNegativeInteger))ObjectProperty(lecturesIn)
ObjectProperty(isTaughtBy domain(course) range(academicStaffMember))
SubPropertyOf(isTaughtBy involves)
ObjectProperty(teaches inverseOf(isTaughtBy) domain(academicStaffMember)
range(course))
EquivalentProperties(lecturesIn teaches)
ObjectProperty(hasSameGradeAs Transitive Symmetricdomain(student)
range(student))
43
![Page 43: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/43.jpg)
www.sti-innsbruck.at
More Examples
• In DL syntax:
⊤ ⊑ ∀age.xsd:nonNegativeInteger⊤ ⊑ ∀isTaughtBy−.course⊤ ⊑ ∀isTaughtBy.academicStaffMember
isTaughtBy ⊑ involves
teaches ≡ isTaughtBy−
⊤ ⊑ ∀teaches−.academicStaffMember⊤ ⊑ ∀teaches.course
lecturesIn ≡ teaches
hasSameGradeAs+ ⊑ hasSameGradeAshasSameGradeAs ≡ hasSameGradeAs−
⊤ ⊑ ∀hasSameGradeAs−.student⊤ ⊑ ∀hasSameGradeAs.student
44
DatatypeProperty(age range(xsd:nonNegativeInteger))
ObjectProperty(lecturesIn)
ObjectProperty(isTaughtBy domain(course) range(academicStaffMember))
SubPropertyOf(isTaughtBy involves)
ObjectProperty(teaches inverseOf(isTaughtBy) domain(academicStaffMember) range(course))
EquivalentProperties(lecturesIn teaches)
ObjectProperty(hasSameGradeAs Transitive Symmetricdomain(student)
range(student))
![Page 44: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/44.jpg)
www.sti-innsbruck.at
More Examples
Individual(949318 type(lecturer))
Individual(949352 type(academicStaffMember)value(age ”39”ˆˆ&xsd;integer))
ObjectProperty(isTaughtBy Functional)
Individual(CIT1111 type(course) value(isTaughtBy 949352) value(isTaughtBy 949318))
DifferentIndividuals(949318 949352)DifferentIndividuals(949352 949111 949318)
45
![Page 45: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/45.jpg)
www.sti-innsbruck.at
More Examples
• In DL syntax:949318 : lecturer
949352 : academicStaffMember
949352, ”39”ˆˆ&xsd; integer:age⊤ ⊑ ≤1isTaughtByCIT1111 : course
CIT1111, 949352:isTaughtByCIT1111, 949318:isTaughtBy949318 ≠ 949352
949352 ≠ 949111
949111 ≠ 949318
949352 ≠ 949318
46
Individual(949318 type(lecturer))
Individual(949352 type(academicStaffMember) value(age ”39”ˆˆ&xsd;integer))
ObjectProperty(isTaughtBy Functional)
Individual(CIT1111 type(course) value(isTaughtBy 949352) value(isTaughtBy 949318))
DifferentIndividuals(949318 949352)DifferentIndividuals(949352 949111 949318)
![Page 46: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/46.jpg)
www.sti-innsbruck.at
More Examples
Class(firstYearCourse partial restriction(isTaughtBy allValuesFrom (Professor)))
Class(mathCourse partialrestriction(isTaughtBy hasValue (949352)))
Class(academicStaffMember partialrestriction (teaches someValuesFrom
(undergraduateCourse)))
Class(course partialrestriction (isTaughtBy minCardinality (1)))
Class(department partialrestriction (hasMember minCardinality(10))restriction (hasMember maxCardinality(30)))
47
![Page 47: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/47.jpg)
www.sti-innsbruck.at
More Examples
• In DL syntax:firstYearCourse ⊑ ∀isTaughtBy.ProfessormathCourse ⊑ ∃isTaughtBy.{949352}academicStaffMember ⊑ ∃teaches.undergraduateCoursecourse ⊑ ≥1isTaughtBy
department ⊑ ≥10hasMember ⊓ ≤30hasMember
48
Class(firstYearCourse partial restriction(isTaughtBy allValuesFrom (Professor)))Class(mathCourse partial restriction(isTaughtBy hasValue (949352)))Class(academicStaffMember partial restriction (teaches someValuesFrom (undergraduateCourse)))Class(course partial restriction (isTaughtBy minCardinality (1)))Class(department partial restriction (hasMember minCardinality(10))
restriction (hasMember maxCardinality(30)))
![Page 48: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/48.jpg)
www.sti-innsbruck.at
More Examples
Class(course partial complementOf(staffMember))
Class(peopleAtUni complete unionOf(staffMember student))
Class(facultyInCS complete intersectionOf(faculty
restriction (belongsTo hasValue (CSDepartment))))
Class(adminStaff complete intersectionOf(staffMember
complementOf(unionOf(faculty techSupportStaff))))
49
![Page 49: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/49.jpg)
www.sti-innsbruck.at
More Examples
• In DL syntax:
course ⊑ ¬staffMember
peopleAtUni ≡ staffMember ⊔ studentfacultyInCS ≡ faculty ⊓ ∃belongsTo.{CSDepartment}adminStaff ≡ staffMember ⊓
¬(faculty ⊔ techSupportStaff )
50
Class(course partial complementOf(staffMember))Class(peopleAtUni complete unionOf(staffMember student))Class(facultyInCS complete
intersectionOf(facultyrestriction (belongsTo hasValue (CSDepartment))))
Class(adminStaff complete intersectionOf(staffMember
complementOf(unionOf(faculty techSupportStaff))))
![Page 50: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/50.jpg)
www.sti-innsbruck.at
Tool Support for OWL
• Ontology editors– Protégé (http://protege.stanford.edu/)– OilED (http://oiled.man.ac.uk/)
• Reasoners– Hoolet (http://owl.man.ac.uk/hoolet/)– Fact++ (http://owl.man.ac.uk/factplusplus/)– KAON2 (http://kaon2.semanticweb.org/)– Pellet (http://clarkparsia.com/pellet/)
• APIs– OWL-API (http://owlapi.sourceforge.net/)– Jena (http://jena.sourceforge.net/)
51
![Page 51: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/51.jpg)
www.sti-innsbruck.at
ILLUSTRATION BY A LARGER EXAMPLE
An example of usage of OWL
52
![Page 52: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/52.jpg)
www.sti-innsbruck.at
The Wine Ontology
53
• An Ontology describing wine domain• One of the most widely used examples for OWL and
referenced by W3C.• There is also a wine agent associated to this ontology
that performs OWL queries using a web-based ontological mark-up language. That is, by combining a logical reasoner with an OWL ontology.
• The agent's operation can be described in three parts: consulting the ontology, performing queries and outputting results.
• Available here: http://www.w3.org/TR/owl-guide/
![Page 53: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/53.jpg)
www.sti-innsbruck.at
Wine Ontology Schema
54
[http://mysite.verizon.net/jflynn12/VisioOWL/VisioOWL.htm]
![Page 54: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/54.jpg)
www.sti-innsbruck.at
Wine Ontology OWL Example
<owl:Class rdf:ID="CheninBlanc">
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasColor"/>
<owl:hasValue rdf:resource="#White"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="#hasBody"/>
<owl:allValuesFrom>
<owl:Class>
<owl:oneOf rdf:parseType="Collection">
<owl:Thing rdf:about="#Full"/>
<owl:Thing rdf:about="#Medium"/>
</owl:oneOf>
</owl:Class>
</owl:allValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
<owl:intersectionOf rdf:parseType="Collection">
<owl:Class rdf:about="#Wine"/>
<owl:Restriction>
<owl:onProperty rdf:resource="#madeFromGrape"/>
<owl:hasValue rdf:resource="#CheninBlancGrape"/>
</owl:Restriction>
<owl:Restriction>
<owl:onProperty rdf:resource="#madeFromGrape"/>
<owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
</owl:Restriction>
</owl:intersectionOf>
…
</owl:Class>
<CheninBlanc rdf:ID="VentanaCheninBlanc">
<locatedIn rdf:resource="#CentralCoastRegion"/>
<hasMaker rdf:resource="#Ventana"/>
<hasSugar rdf:resource="#OffDry"/>
<hasFlavor rdf:resource="#Moderate"/>
<hasBody rdf:resource="#Medium"/>
</CheninBlanc>
55
![Page 55: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/55.jpg)
www.sti-innsbruck.at
EXTENSIONS
56
![Page 56: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/56.jpg)
www.sti-innsbruck.at
From Description Logic to Horn Logic
• The practical experience in building applications has revealed several shortcomings of OWL, and hence Description Logics for modeling knowledge
• Feature that ontology engineers are missing:– Higher Relational Expressivity– Polyadic Predicates– Close-World Reasoning– Integrity Constraints– Modeling Exceptions
• Proper combination of Description Logic and Horn Logic can define extensions of the language to support such features– OWL-Flight
57
![Page 57: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/57.jpg)
www.sti-innsbruck.at
WRAP-UPThat’s almost all for day…
58
![Page 58: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/58.jpg)
www.sti-innsbruck.at
Things to Keep in Mind(or Summary)
• Limitations of RDFS– Expressivity limitations– Problems with layering
• Web Ontology Language OWL– Design of OWL– OWL Layering– OWL and Description Logics– OWL Syntaxes
59
![Page 59: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/59.jpg)
www.sti-innsbruck.at
Further Reading
• Mandatory reading– Semantic Web Primer
• Chapters 4– [OWL Guide]
• http://www.w3.org/TR/owl-guide/– Ian Horrocks, Peter F. Patel-Schneider, and Frank van Harmelen. From SHIQ and RDF to
OWL: The making of a web ontology language. Journal of Web Semantics, 1(1):7, 2003. • http://www.cs.vu.nl/%7Efrankh/abstracts/JWS03.html
• Further reading– Jos de Bruijn: Using Ontologies. Enabling Knowledge Sharing and Reuse on the Semantic
Web. DERI Technical Report DERI-2003-10-29, 2003.• http://www.deri.org/publications/techpapers/documents/DERI-TR-2003-10-29.pdf
– [OWL Reference]• http://www.w3.org/TR/owl-ref/
– [OWL Abstract syntax and Semantics]• http://www.w3.org/TR/owl-semantics
– J. de Bruijn, A. Polleres, R. Lara, and D. Fensel: OWL DL vs. OWL Flight: Conceptual modeling and reasoning on the semantic web. In Proceedings of the 14th International World Wide Web Conference (WWW2005), Chiba, Japan, 2005. ACM.
60
![Page 60: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/60.jpg)
www.sti-innsbruck.at
Next Lecture
61
# Date Title
1 Introduction
2 Semantic Web Architecture
3 RDF and RDF Schema
4 Web of hypertext (RDFa, Microformats) and Web of data
5 Semantic Annotation
6 Repositories and SPARQL
7 The Web Ontology Language
8 Rule Interchange Format
9 Web-scale Reasoning
10 Social Semantic Web
11 Ontologies and the Semantic Web
12 Semantic Web Services
13 Tools
14 Applications
15 Exam
![Page 61: Www.sti-innsbruck.at © Copyright 2008 STI INNSBRUCK OWL: The Web Ontology Language Semantic Web Lecture Lecture VII – xx 2009 Dieter](https://reader033.vdocuments.us/reader033/viewer/2022051517/56649e7a5503460f94b7b57c/html5/thumbnails/61.jpg)
www.sti-innsbruck.at
Questions?
62