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). Moreover, to support interaction with third-party tools such as OWL 2 reasoners and editors like Protégé, Eddy is able to export the produced Graphol ontology into an OWL 2 ontology.