University of Oxford Department of Computer Science

Optimisation of Terminological Reasoning

Ian Horrocks and Stephan Tobies

Institution

LuFg Theoretical Computer Science‚ RWTH Aachen‚ Germany

Number

99−14

Year

1999

Links

Back to Top