0.25
0.5
0.75
1.25
1.5
1.75
2
Goal-Directed Tracing of Inferences in EL Ontologies
Published on Dec 19, 20141844 Views
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
Related categories
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