OWLAx: A Protege Plugin to Support Ontology Axiomatization through Diagramming
The description logic handbook: theory, implementation, and applications