0.25
0.5
0.75
1.25
1.5
1.75
2
Abstraction Refinement for Ontology Materialization
Published on Dec 19, 20141765 Views
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
Related categories
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