Full Citation:
Ronald de Haan. Description Logic Based Reasoning on Programming Languages. 2012, Master’s thesis, Technische Universität Wien.