Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and

First Page		Document Content
Date: 2012-01-26 05:37:50		Complexities of Horn Description Logics MARKUS KRÖTZSCH Department of Computer Science, University of Oxford, United Kingdom SEBASTIAN RUDOLPH Institute AIFB, Karlsruhe Institute of Technology, Germany and Add to Reading List Source URL: tocl.acm.org Download Document from Source Website File Size: 914,83 KB Share Document on Facebook