Description logic inference technology: Lessons learned in the trenches (2005)

by V Haarslev, R Möller, M Wessel
Venue:Proc. International Workshop on Description Logics