sub:assertion {
sub:paragraph c4o:hasContent "Reasoning becomes undecidable for the combination of OWL + SWRL, therefore the expressivity of SWRL needs to be reduced in order to assure decidability. Although many procedures exists to guarantee decidability of SWRL, the DL-safe rules was adapted [25]. This procedure consists on restricting the number of possible variables assignments, i.e., restricting the application of rules only to known OWL individuals (named individuals)." ;
a doco:Paragraph .
}