@prefix dc: <http://purl.org/dc/terms/> .
@prefix this: <http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8> .
@prefix sub: <http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#> .
@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 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 {
  sub:paragraph c4o:hasContent "After having the complete terminology of the ontology, some constraints and characteristics of the class expressions and the property axioms need to be defined. Axioms are a set of formulas taken to be true and that every assignment of values should satisfied. Those constraints and characteristics will determine the expressiveness and decidability of the ontology, and their definition will depend on the description logic used." ;
    a doco: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-07T12:47:11+01:00"^^xsd:dateTime ;
    pav:createdBy <https://orcid.org/0000-0002-7114-6459> .
}