The Description Logic Handbook (2007)

by F Baader, D Calvanese, D L McGuinness, D Nardi, P F Patel-Schneider
Venue:Theory, Implementation, and Applications