Description Logics, (2008)

by F Baader, I Horrocks, U Sattler