Fast Approximate A-box Consistency Checking using Machine Learning thumbnail
Pause
Mute
Subtitles
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Fast Approximate A-box Consistency Checking using Machine Learning

Published on Jul 28, 20161628 Views

Ontology reasoning is typically a computationally intensive operation. While soundness and completeness of results is required in some use cases, for many others, a sensible trade-off between comput

Related categories

Chapter list

Fast Approximate A-box Consistency Checking using Machine Learning00:00
How to Play Jazz Improvisation on the Piano00:25
Introduction - 100:58
Introduction - 202:29
Introduction - 302:51
Introduction - 403:16
Introduction - 503:57
Motivation05:28
Approach - 107:27
Approach - 208:34
Evaluation - 110:16
Evaluation - 211:40
Evaluation - 312:23
Evaluation - 413:34
Results - 114:59
Results - 216:05
Results - 316:49
Summary18:45
Outlook on Future Work20:19
Thank you22:52