Matches in Nanopublications for { <http://purl.org/np/RAAO434XLpqIYczgMcmn9DwSj6TdFbd5QE66UpexgbI9M#paragraph> ?p ?o ?g. }
Showing items 1 to 2 of
2
with 100 items per page.
- paragraph type Paragraph assertion.
- paragraph 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)." assertion.