semantic data chapter 6 : the web ontology …binot/info8005/theory/semantic...semantic data chapter...
TRANSCRIPT
Semantic Data
Chapter 6 : The Web Ontology Language OWL
Jean-Louis Binot
1 11/03/2020Semantic Data
Sources and recommended readings
❑
❑
◼
◼
◼
◼
❑
◼
◼
◼
◼
2
Agenda
Species of OWL2
OWL-DL3
Why OWL ?1
OWL 2 Semantics5
OWL 24
3
OWL in the W3C standards stack
◼
◼
◼
RDF &
RDFSDescription
Logics
OWL
4
Agenda
Species of OWL2
OWL-DL3
Why OWL ?1
OWL 2 Semantics5
OWL 24
6
Species of OWL
❑
◼
◼
◼
❑
◼
◼
❑
7
Mapping with description logics
S ALC
◼ S ALCR
❑ SHIF
❑ SHOIN D
❑
❑ SROIQ D
8
OLW Syntaxes
❑
◼
❑
❑
◼
❑
❑
◼
❑
❑
Examples of the first 5 syntaxes
can be found in the OLW2 Primer
We will only cover Turtle
9
Agenda
Species of OWL2
OWL-DL3
Why OWL ?1
OWL Semantics4
OLW25
10
Namespaces and prefixes
❑
❑
❑
❑
11
Example ontology : the Wine ontology
12
Expressing DL in OWL, an example
❑
⊆ ⊓ ∀
❑
❑
◼
◼
❑
◼
◼
◼
13
Thing and Nothing
❑ ⊤
◼
◼
❑ ⊥
◼
14
Types of class restrictions
15
1. Constraints on the properties of the instances
❑
❑
◼
⊆ ∃
16
Constraints on the properties of the instances ./.
Constraint OWL DL
Property value type restrictions
Existential restriction [owl:onProperty r ;
owl:someValuesFrom C]
∃r.C
Universal restriction [owl:onProperty r ;
owl:allValuesFrom C]
∀r.C
Cardinality restrictions
Minimum cardinality [owl:onProperty r ;
owl:minCardinality n]
≤n r (*)
Maximum cardinality [owl:onProperty r ;
owl:maxCardinality n]
n r (*)
Property value restriction [owl:onProperty r ;
owl:hasValue v]
∃r.{v}
17
2. Enumerated classes
❑
◼
❑ O
≡ {
18
3. Class definitions using set relationships
❑ ⊆ D
❑ ≡
❑ ⊓ ⊆ ⊥
19
3. Class definitions using set relationships ./.
❑
◼ ⊓, ⊔,
◼
❑
❑
≡ ⊓ ∃
20
A larger example
❑
❑
◼ ⊆ PotableLiquid ⊓ ∃ ⊓ ∀ ⊓ ≥
21
Graph-based visualisation
22
Properties
❑
◼
❑
◼
23
OWL property characteristics
❑
◼ H ⊆
◼ ∃ ⊤ ⊆
◼ ⊤ ⊆ ∀
❑
◼ ∃ ⊤ ⊆ ⊔
24
Property axioms
❑
◼
◼ ≡
◼ ⊤ ⊆
❑
◼ ≡
25
Revisiting the example from chapter 1
✓
✓
✓
✗
✗
✗
❑
(example after Paulheim,
Semantic Web Technologies)
26
Revisiting the example from chapter 1 ./.
❑
⊆
❑
⊆ ⊓
❑
⊓ ⊆ ⊥
DL
OWL
27
Updated framework of reference for semantic applications
Data integration component
⊨
28
Ontology management
❑
◼
◼
◼
◼
❑
29
Ontology mapping
❑
◼
◼
❑
❑
◼
30
Agenda
Species of OWL2
OWL-DL3
Why OWL ?1
OWL 24
OWL 2 Semantics5
31
OLW 2
❑
◼
◼
❑
◼
32
OWL 2 Profiles
❑
◼
◼
◼
❑
◼
◼
◼
❑
◼
◼
◼
34
Compatibility of reasoners
❑
❑
35
Agenda
Species of OWL2
OWL-DL3
Why OWL ?1
OWL 24
OLW 2 Semantics5
36
OLW Semantics
❑
◼
◼
◼
◼
◼
◼
◼
37
Summary
❑
❑
❑
❑
❑
SROIQ D
❑
❑
39
References
❑
❑
❑
40
THANK YOU
41