video 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 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