Daniel J. Buehrer Chee-Hwa Lee Class Algebra for Ontology Reasoning. 2-13 1999 conf/tools/31-1999 TOOLS (31) http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.796462 db/conf/tools/tools31-1999.html#BuehrerL99