TY - RPRT TI - Class Algebra for Ontology Reasoning AU - Daniel Buehrer AU - Chee-Hwa Lee PY - 2013 UR - https://arxiv.org/abs/1302.0334 ID - 1302.0334 ER -