Optimized Description Logic Reasoning via Core Blocking
Birte Glimm‚ Ian Horrocks and Boris Motik
Details
| 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 |