The PROMPT Suite: Interactive Tools for Ontology Merging and Mapping
Formal Concept Analysis: Mathematical Foundations