Optimized Description Logic Reasoning via Core Blocking
Birte Glimm‚ Ian Horrocks and Boris Motik
Book Title
Proc. of the Int. Joint Conf. on Automated Reasoning (IJCAR 2010)
Editor
Jürgen Giesl and Reiner Hähnle
Pages
457–471
Publisher
Springer
Series
Lecture Notes in Artificial Intelligence
Volume
6173
Year
2010