The Description Logic Handbook: Theory, Implementation and Applications (0)

by F Baader, D McGuinness, D Nardi, P Patel-Schneider