@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
> .
}