Sign inSign up
Abstraction Refinement for Ontology Materialization thumbnail
Pause
Mute
Subtitles not available
Playback speed
0.25
0.5
0.75
1
1.25
1.5
1.75
2
Full screen

Abstraction Refinement for Ontology Materialization

Published on Dec 19, 20141766 Views

Trung-Kien Tran

We present a new procedure for ontology materialization (computing all entailed instances of every atomic concept) in which reasoning over a large ABox is reduced to reasoning over a smaller “abstract

ISWC 2014 - Trentino

Related categories

Semantic Web

Chapter list

Abstraction Refinement for Ontology Materialization00:00
Motivation00:18
Motivation00:33
Simple Merging Does Not Work01:23
Abstraction02:25
Materializing the Abstract ABox04:10
Refinement06:12
Materializing the Abstract ABox07:03
Materializing the Abstract ABox07:34
Abstraction Refinement07:56
Evaluation08:49
Evaluation09:31
Evaluation10:03
Conclusions10:22
Thank you!11:08