Y. Ma, G. Qi, G. Xiao, P. Hitzler, Z. Lin:
"Computational Complexity and Anytime Algorithm for Inconsistency Measurement";
Int. J. Software and Informatics, 1 (2010), 3 - 21.
http://publik.tuwien.ac.at/files/PubDat_190871.pdf
Project Head Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs