Hypertableau Reasoning for Description Logics
Boris Motik‚ Rob Shearer and Ian Horrocks
Details
| Journal |
J. of Artificial Intelligence Research |
| Pages |
165–228 |
| Volume |
36 |
| Year |
2009 |