Your English writing platform
Discover LudwigExact(3)
For each child pattern of the processed group pattern, the class registries of all other child patterns are merged by the class intersection operation.
Class registries of the child group patterns are merged by the union class operation into the class registry of the processed union pattern.
After the check phase, the class registries of all child patterns are merged by the class intersection operation into the class registry of the processed group pattern, and the child location registries are merged into the location registry of the processed group pattern.
Similar(57)
For each node, the class registry and the location registry are computed.
All obtained class information is stored in the class registry of the node.
Because the optional pattern is not mandatory, its class registry is kept empty.
The top part of each box contains the class registry, and the bottom part of the box contains the location registry.
The class registry contains maps between variable names and classes of resources to which variables can be bound (which are denoted classes of the variables).
In general, for a given variable name, the algorithm checks the consistency between variable classes stored in the location registry and classes stored in the class registry that are derived from the other parts of the checked query.
For each variable stored in the location registry of the child pattern, class consistency between the class of the variable and the class of the variable stored in the merged class registry is checked.
And vice versa, the location registry of node 2 is compared with the class registry of node 7. Class :Dog is consistent with :Mammal, but class :Bird is not consistent with :Mammal.
Write better and faster with AI suggestions while staying true to your unique style.
Since I tried Ludwig back in 2017, I have been constantly using it in both editing and translation. Ever since, I suggest it to my translators at ProSciEditing.

Justyna Jupowicz-Kozak
CEO of Professional Science Editing for Scientists @ prosciediting.com