Here is a simple example to understand the meaning of DL Safety.
In a DL Safe rule execution, only explicitly named individuals are bound to the variables in the rule.
Lets say we have a transitive object property named ancestorOf.
Can we simulate this transitivity using a DL-Safe SWRL rule rather than defining the ancestorOf property as transitive?
At [...]