Sign inSign up
Goal-Directed Tracing of Inferences in EL Ontologies thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Goal-Directed Tracing of Inferences in EL Ontologies

Published on Dec 19, 20141846 Views

Pavel Klinov

ELis a family of tractable Description Logics (DLs) that is the basis of the OWL 2 EL profile. Unlike for many expressive DLs, reasoning inELcan be performed by computing a deductively-closed set of lo

ISWC 2014 - Trentino

Related categories

Semantic Web

Chapter list

Goal Directed Tracing of Inferences in OWL EL Ontologies00:00
Summary of this talk00:06
Consequence-based reasoning in EL: example - 100:38
Consequence-based reasoning in EL: example - 202:51
Approaches to explanations03:26
Problem statement04:23
Goal-directed tracing: main ideas - 105:00
Goal-directed tracing: main ideas - 205:48
Goal-directed tracing: main ideas - 306:38
Goal-directed tracing: example07:35
Goal-directed tracing: the general procedure08:21
EL partitions for goal-directed tracing09:27
Evaluation10:09
Goal-directed tracing: experimental setup - 110:52
Goal-directed tracing: experimental setup - 211:07
Summary12:09
Thank you!12:53