Implementation and optimisation techniques (2003)

by I Horrocks
Venue:In The Description Logic Handbook: Theory, Implementation, and Applications