Sign inSign up
Bag Semantics of DL-Lite with Functionality Axioms thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Bag Semantics of DL-Lite with Functionality Axioms

Published on Dec 10, 201971 Views

Egor V. Kostylev

18th International Semantic Web Conference (ISWC), Auckland 2019

Related categories

Semantic Web

Chapter list

Bag Semantics of DL-Lite with Functionality Axioms00:00
Motivation: Ontology-based data access (OBDA)00:21
Motivation: Ontology-based data access (OBDA)02:06
Motivation: Ontology-based data access (OBDA)02:34
Motivation: Ontology-based data access (OBDA)02:57
Motivation: Ontology-based data access (OBDA)03:33
Overview04:22
Overview05:15
DL-Lite ontologies05:43
Queries over DL-Lite07:02
Bags08:16
DL-LiteBcore: bag version of DL-Litecore09:19
What about functionality axioms?10:53
What about functionality axioms?11:21
What about functionality axioms?11:40
What about functionality axioms?12:25
Two alternative semantics12:35
Satisfiability of DL-Lite ontologies12:47
Query answering under bag semantics13:41
Query answering under bag semantics13:43
Query answering under bag semantics13:45
Query answering under bag semantics13:52
Query answering under bag semantics13:53
Query answering under bag semantics13:54
Query answering in DL-Lite13:59
Negative results14:55
Existing positive results15:13
Existing positive results15:50
Positive results for SQL semantics15:52
Results for MR semantics16:04
Summary and future work16:49