Roosta Pour, Laleh (2012) A hybrid ABox calculus using algebraic reasoning for the Description Logic SHIQ. Masters thesis, Concordia University.