master's thesis
Reasoning in description logics

Tomislav Belcar (2011)
University of Zagreb
Faculty of Organization and Informatics Varaždin