Optimized Reasoning in Description Logics using Hypertableaux
Boris Motik‚ Rob Shearer and Ian Horrocks
Details
| Book Title |
Proc. of the 21st Int. Conf. on Automated Deduction (CADE−21) |
| Pages |
67–83 |
| Publisher |
Springer |
| Series |
Lecture Notes in Artificial Intelligence |
| Volume |
4603 |
| Year |
2007 |