[ {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs",
    "@type" : [ "http://www.nanopub.org/nschema#Nanopublication" ],
    "http://www.nanopub.org/nschema#hasAssertion" : [ {
      "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#assertion"
    } ],
    "http://www.nanopub.org/nschema#hasProvenance" : [ {
      "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#provenance"
    } ],
    "http://www.nanopub.org/nschema#hasPublicationInfo" : [ {
      "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#pubinfo"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#Head"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#paragraph",
    "@type" : [ "http://purl.org/spar/doco/Paragraph" ],
    "http://purl.org/spar/c4o/hasContent" : [ {
      "@value" : "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."
    } ]
  } ],
  "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#assertion"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#assertion",
    "http://www.w3.org/ns/prov#hadPrimarySource" : [ {
      "@id" : "http://dx.doi.org/10.3233/SW-180298"
    } ],
    "http://www.w3.org/ns/prov#wasAttributedTo" : [ {
      "@id" : "https://orcid.org/0000-0002-8429-8208"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#provenance"
}, {
  "@graph" : [ {
    "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs",
    "http://purl.org/dc/terms/created" : [ {
      "@type" : "http://www.w3.org/2001/XMLSchema#dateTime",
      "@value" : "2019-11-07T12:47:11+01:00"
    } ],
    "http://purl.org/pav/createdBy" : [ {
      "@id" : "https://orcid.org/0000-0002-7114-6459"
    } ]
  } ],
  "@id" : "http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#pubinfo"
} ]