Optimizing Terminological Reasoning for Expressive Description Logics
Dmitry Tsarkov‚ Ian Horrocks and Peter F. Patel−Schneider
Details
| Journal |
J. of Automated Reasoning |
| Number |
3 |
| Pages |
277–316 |
| Volume |
39 |
| Year |
2007 |
Links
DOI (10.1007/s10817-007-9077-y)