Optimisation of Terminological Reasoning
Ian Horrocks and Stephan Tobies
Details
| Institution |
LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany |
| Number |
99−14 |
| Year |
1999 |
Ian Horrocks and Stephan Tobies
| Institution |
LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany |
| Number |
99−14 |
| Year |
1999 |