semantic data chapter 6 : the web ontology …binot/info8005/theory/semantic...semantic data chapter...

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

Why not just build OWL as an extension of RDFS ?

❑

◼

◼

❑

❑

5

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

OLW 2 relationship to OWL 1

❑

❑

◼

◼

◼

◼

◼

◼

33

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

Mapping between OWL and description logics

38

Summary

❑

❑

❑

❑

❑

SROIQ D

❑

❑

39

References

❑

❑

❑

40

THANK YOU

41