0.25
0.5
0.75
1.25
1.5
1.75
2
Abstraction Refinement for Ontology Materialization
Published on Feb 4, 20251772 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
Presentation
Abstraction Refinement for Ontology Materialization00:00
Motivation00:33
Simple Merging Does Not Work01:23
Abstraction02:25
Refinement06:12
Materializing the Abstract ABox07:34
Abstraction Refinement07:56
Evaluation10:03
Conclusions10:22
Thank you!11:08