-
Notifications
You must be signed in to change notification settings - Fork 8
Validation
Eddy is equipped with validation features to help you during editing, assuring that the ontology is syntactically correct. Since Graphol is equivalent to OWL 2, this makes sure that a Graphol ontology can be correctly exported in a standard OWL 2 syntax.
This check takes place in real-time while you are modifying the ontology. Given the characteristics of Graphol, in Eddy a syntactic error can be produced only when drawing an edge between two nodes. Therefore, Eddy applies the check only when such an event takes place, and enables the change only if no errors are identified by the check.
While you are tracing an edge between two nodes, feedback regarding the correctness of the operation is displayed graphically by color-coding the target node when the mouse hovers over it. A valid connection is highlighted by surrounding the target node with a green frame, while an invalid connection is highlighted by surrounding the target node with a red frame, and with a message on the status bar indicating why the connection is not valid. In this second scenario, you will not be able to add the edge to the diagram.
At any given time, the syntactic check is performed with respect to the OWL 2 profile you have chosen from the Graphol section of the Toolbar.
Besides real-time validation, Eddy also allows you to check the entire ontology, through provides a one-shot syntactic validation feature. You can access this by pressing the button next to the drop-down menu which you use to select the OWL 2 profile, in the Graphol section of the Toolbar. A pop-up window will notify you of the outcome of the test, and in case of a malformed expression or axiom, you can see the error, ignore it and skip to the next one, or abort.
Even though in principle a diagram designed in Eddy does not contain errors, this feature can come in handy when the user wants to restrict to an OWL profile the expressiveness of an ontology initially written under the OWL 2 profile.
Eddy is also equipped with semantic reasoning capabilities through the integration of HermiT, an OWL 2 reasoner. This allows you to semantically validate the ontology by checking whether it is consistent or not, and whether any of the entities are not consistent.
Finally, Eddy also allows you to check whether your ontology is compliant to the OWL 2 DL Semantics.
Both these features are accessible through buttons in the Reasoner section of the Toolbar.