Publications
“Complexities of Horn Description Logics”, ACM Trans. Comput. Log., vol. 14, p. 2, 2013.
Hitzler-HornDLs-2013.pdf (764.32 KB)
, 
“Computational Complexity and Anytime Algorithm for Inconsistency Measurement”, International Journal of Software and Informatics, vol. 4, pp. 3–21, 2010.
CompComplexity-IJSI2010.pdf (478.9 KB)
, 