Description logic based reasoning on programming languages / von Ronald de Haan. 2012
Inhalt