Graphol lite
A simplified version of Graphol.
| Expression | Example |
|---|---|
| Data types |  |
| Universal restrictions |  |
| Qualified existentials |  |
| Role chains |  |
| Negations |  |
| Complex Expressions¹ |  |
| Enumerations |  |
| Intersections with outgoing inclusions |  |
| Unions with incoming inclusions |  |
| Inclusions between existentials |  |
| Existentials as input of something |  |
¹ : constructor nodes as input of other constructor nodes are not allowed
| Edge | name | Description |
|---|---|---|
 |
Basic | Basic concept of relation between two elements. Input edges in hierarchies are now basic edges. Aattributes now are connected with basic edges |
 |
Role Domain | Denotes that the element connected participate in the domain of the role (the square connector is always placed toward the role) |
 |
Role Range | Denotes that the element connected participate in the range of the role (the square connector is always placed toward the role) |
 |
Union* | The union of the source nodes is in is-a relation with the target concept |
 |
Disjoint Union* | The disjoint union of the source nodes is in is-a relation with the target concept |
 |
Inclusion | The source node is in is-a relation with the target node |
* A C label will be added in case of complete unions (either disjoint or not disjoint)
Some common expressions have a direct translation from GRAPHOL to GRAPHOL-lite recalling notations used in other modelling languages such as UML or ER models.
| Graphol | Graphol-lite | Description |
|---|---|---|
 |
 |
Union |
 |
 |
Complete Union |
 |
 |
Disjoint Union |
 |
 |
Disjoint Complete Union |
 |
 |
Intersection: splitted in is-a relations |
 |
 |
Role Domain |
 |
 |
Role Range |
 |
 |
Role Inverse |