Calì, et al.. A Logical Toolbox for Ontological Reasoning. Association for Computing Machinery (ACM), Nov. 2011, doi:10.1145/2070736.2070738.