Nanopublications

@prefix dc: <http://purl.org/dc/terms/> .
@prefix this: <http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo> .
@prefix sub: <http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#> .
@prefix p1: <http://purl.org/np/RAKNTsKC_8yEfF984-ezD3GP9Ty-lnSvwp8EUbMZrMNfI> .
@prefix p2: <http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs> .
@prefix p3: <http://purl.org/np/RAoPBfkJJcLcZq1pLT6XBfwlstCEXIzxdGgLVWVt1kZS0> .
@prefix p4: <http://purl.org/np/RAAO434XLpqIYczgMcmn9DwSj6TdFbd5QE66UpexgbI9M> .
@prefix p5: <http://purl.org/np/RAU89ViUgld7M409ZNbj_x8nd7pwtLKsDgqAy0syR05aU> .
@prefix p6: <http://purl.org/np/RAoF3OmfYqhQQBpZ1-t-vVS7evDyLlo4db3ZGRpcYt1I4> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix prov: <http://www.w3.org/ns/prov#> .
@prefix pav: <http://purl.org/pav/> .
@prefix np: <http://www.nanopub.org/nschema#> .
@prefix npx: <http://purl.org/nanopub/x/> .
@prefix po: <http://www.essepuntato.it/2008/12/pattern#> .
@prefix co: <http://purl.org/co/> .
@prefix doco: <http://purl.org/spar/doco/> .
@prefix c4o: <http://purl.org/spar/c4o/> .

sub:Head {
  this: np:hasAssertion sub:assertion ;
    np:hasProvenance sub:provenance ;
    np:hasPublicationInfo sub:pubinfo ;
    a np:Nanopublication .
}

sub:assertion {
  p4: npx:introduces <http://purl.org/np/RAAO434XLpqIYczgMcmn9DwSj6TdFbd5QE66UpexgbI9M#paragraph> .
  sub:_1 co:itemContent sub:section-3.2-title ;
    co:nextItem sub:_2 .
  sub:_2 co:itemContent <http://purl.org/np/RAKNTsKC_8yEfF984-ezD3GP9Ty-lnSvwp8EUbMZrMNfI#paragraph> ;
    co:nextItem sub:_3 .
  sub:_3 co:itemContent <http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#paragraph> ;
    co:nextItem sub:_4 .
  sub:_4 co:itemContent <http://purl.org/np/RAoPBfkJJcLcZq1pLT6XBfwlstCEXIzxdGgLVWVt1kZS0#paragraph> ;
    co:nextItem sub:_5 .
  sub:_5 co:itemContent <http://purl.org/np/RAAO434XLpqIYczgMcmn9DwSj6TdFbd5QE66UpexgbI9M#paragraph> ;
    co:nextItem sub:_6 .
  sub:_6 co:itemContent <http://purl.org/np/RAU89ViUgld7M409ZNbj_x8nd7pwtLKsDgqAy0syR05aU#paragraph> ;
    co:nextItem sub:_7 .
  sub:_7 co:itemContent <http://purl.org/np/RAoF3OmfYqhQQBpZ1-t-vVS7evDyLlo4db3ZGRpcYt1I4#paragraph> .
  sub:section co:firstItem sub:_1 ;
    po:contains <http://purl.org/np/RAAO434XLpqIYczgMcmn9DwSj6TdFbd5QE66UpexgbI9M#paragraph> , <http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#paragraph> , <http://purl.org/np/RAKNTsKC_8yEfF984-ezD3GP9Ty-lnSvwp8EUbMZrMNfI#paragraph> , <http://purl.org/np/RAU89ViUgld7M409ZNbj_x8nd7pwtLKsDgqAy0syR05aU#paragraph> , <http://purl.org/np/RAoF3OmfYqhQQBpZ1-t-vVS7evDyLlo4db3ZGRpcYt1I4#paragraph> , <http://purl.org/np/RAoPBfkJJcLcZq1pLT6XBfwlstCEXIzxdGgLVWVt1kZS0#paragraph> ;
    po:containsAsHeader sub:section-3.2-title ;
    a doco:Section .
  sub:section-3.2-title c4o:hasContent "Ontology decidability" ;
    a doco:SectionTitle .
  p2: npx:introduces <http://purl.org/np/RAH9XwS9HzJX6W85YMEXjW1g2n_BdIdVw3-8Fa50ahKSs#paragraph> .
  p1: npx:introduces <http://purl.org/np/RAKNTsKC_8yEfF984-ezD3GP9Ty-lnSvwp8EUbMZrMNfI#paragraph> .
  p5: npx:introduces <http://purl.org/np/RAU89ViUgld7M409ZNbj_x8nd7pwtLKsDgqAy0syR05aU#paragraph> .
  p6: npx:introduces <http://purl.org/np/RAoF3OmfYqhQQBpZ1-t-vVS7evDyLlo4db3ZGRpcYt1I4#paragraph> .
  p3: npx:introduces <http://purl.org/np/RAoPBfkJJcLcZq1pLT6XBfwlstCEXIzxdGgLVWVt1kZS0#paragraph> .
}

sub:provenance {
sub:assertion prov:hadPrimarySource <http://dx.doi.org/10.3233/SW-180298> ;
prov:wasAttributedTo <https://orcid.org/0000-0002-8429-8208> .
}

sub:pubinfo {
this: dc:created "2019-11-08T18:05:11+01:00"^^xsd:dateTime ;
pav:createdBy <https://orcid.org/0000-0002-7114-6459> .
}