Skip to main content

Optimized Description Logic Reasoning via Core Blocking

Birte Glimm‚ Ian Horrocks and Boris Motik

Book Title
Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2010)
Year
2010