eddy Files

This release introduced some major upgrades and fixed several bugs discovered in the previous version of Eddy. Here below the complete changelog. - Added plugin system (plugin developer documentation to appear soon). - Added the possibility to export ontology predicates in CSV format. - Added visual representation of Functionality and Inverse Functionality. - Added purge action: when triggered on a node (through the node contextual menu) it will delete all the diagram components which compose the Graphol expression whose sink node is the node itself. - Added possibility to completely remove a project (from the welcome screen). - Added possibility to perform actions on group of selected diagram elements (through a new compound item contextual menu), i.e: cut, copy, delete, purge. - Added invert role action: when triggered on a Role node it will swap all the domain/range nodes. - Added possibility to explore the application log from within the application (through the view menu). - Added Close Others action, to close all diagram tabs except the selected one (available in the MDI area tab contextual menu). - Added OWL 2 Profiles: OWL 2 QL, OWL 2 RL. The user can select the profile from the dropdown menu available in the application main toolbar. Each profile implements OWL 2 syntax validation rules plus some profile specific validation rules, hence the expressivity of the Graphol ontology changes according to the selected profile. - Added equivalence edge: previously it was possible to create an equivalence by toggling the equivalence flag of the inclusion edge. In the new version, the equivalence edge replaces this toggle. - Added possibility to generate only a specific set of axioms when exporting the ontology in OWL 2. - Added normalization flag in the OWL 2 translation panel. When checked, equivalence edges will be considered as 2 inverse inclusion edges, union operator nodes (OR) on the left-side of an inclusion and intersection operator nodes (AND) on the right-side of an inclusion will be normalized as a set of inclusion axioms between each of the operator's arguments and the opposite endpoint of the original inclusion edge. - Changed manual syntax validation utility: the new implementation allows the user to ignore errors and keep going with the validation of the ontology, to abort the validation procedure, or to show the syntax error found. - Changed PDF export to export single diagrams instead of the whole project (from the Save as... action in the File menu). - Changed GraphML importer to import also Functionality and Inverse Functionality. - Changed GraphML importer to adjust domain/range restriction node labels, to make sure they do not overlap any element in the diagram. - Changed GraphML importer not to import edges whose source and target are identified by the same node. - Completed the support for Mac OS retina display. - Increased Operating System compatibility: Windows 7/8/8.1/10, Mac OS 10.9/10.10/10.11/10.12 - Updated OWL 2 exporter to translate C1 ISA not C2 as DisjointClasses. Previously the axiom being generated was SubClassOf(C1 ObjectComplementOf(C2)) but this was not compliant with the axiom generated through the DisjointUnion node (shortcut) and was displayed differently in Protégé. - Updated OWL 2 exporter to translate R1 EQUIV inv R2 as InverseObjectProperty. Previously the axiom being generated was SubObjectPropertyOf(R1 ObjectInverseOf(R2)). - Updated OWL 2 exporter not to generate redundant axioms. - Updated OWL 2 exporter to correctly handle NegativeObjectPropertyExpression and NegativeDataPropertyExpression axioms. - Upon edge swap, make sure that the node identification algorithm is re-run on the endpoints of the edge. - Updated OWL api to version 4.2.6.