Eddy
An editor for the specification of Graphol ontologies
Eddy is equipped with design-time syntax validation functionalities which prevents ontology designers from constructing invalid Graphol expressions: feedback on the validity of the expression is given through color coding diagram elements. Eddy also supports the standard profiles of OWL 2, i.e. OWL 2 QL, OWL 2 RL, and OWL 2 EL (to appear).