Class Algebra for Ontology Reasoning. - Daniel J. Buehrer; Chee-Hwa Lee (TOOLS (31), 1999)