Optimisation of Terminological Reasoning

Has publishing details pp. 183-192, 2000

Has title Optimisation of Terminological Reasoning

Has url http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2000.html#HorrocksT00a

Has where published Description Logics

Has year 2000

Has author Ian Horrocks +, Stephan Tobies +

Has identifier Optimisation of Terminological Reasoning +

Categories Proceeding Paper +