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