Matches in Nanopublications for { ?s ?p ?o <http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#assertion>. }
Showing items 1 to 2 of
2
with 100 items per page.
- paragraph type Paragraph assertion.
- paragraph hasContent "Horrocks and Sattler presented a tableau decision procedure for SHOIQ(D) that solves the ontology consistency problem and allows the use of reasoning services, thus demonstrating the decidability of SHOIQ(D) [19]. One of the few requirements to preserve the decidability in SHOIQ(D) is to restrict the application of the qualified number restriction to simple roles, i.e., roles that are neither transitive nor have a transitive subrole [19]. This restriction is satisfy in the WiseNET ontology." assertion.