Implementation and optimisation techniques (2003)

by I Horrocks
Venue:In Description Logic Handbook