
238 Foundations of Semantic Web Technologies
optimized fashion. Examples of systems that currently support DL-safe rules
are KAON2 and Pellet (see Section 8.5).
It has been mentioned that there is a second perspective that one may take
on DL-safe rules. The above discussions have shown that, intuitively, DL-safe
rules are applicable only to elements that are denoted by constant symbols.
Instead of imposing a syntactic requirement to ensure this, we may directly
build this restriction into the semantics of datalog. One way to do that is
to change the definition of variable assignments, requiring that variables can
only be assigned to domain elements