Optimized DL Reasoning via Core Blocking
Birte Glimm, Ian Horrocks, Boris Motik · 2010
State of the art reasoners for expressive DLs are typically model building procedures that decide the (un)satisfiability of a knowledge base K via a constructive search for an abstraction of a model for K. Despite numerous optimizations, certain existing and emerging knowledge bases still pose significant challenges to such reasoners mainly