http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#Head
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://www.nanopub.org/nschema#hasAssertion
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#assertion
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://www.nanopub.org/nschema#hasProvenance
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#provenance
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://www.nanopub.org/nschema#hasPublicationInfo
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#pubinfo
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.nanopub.org/nschema#Nanopublication
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#assertion
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#paragraph
http://purl.org/spar/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.
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#paragraph
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://purl.org/spar/doco/Paragraph
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#provenance
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#assertion
http://www.w3.org/ns/prov#hadPrimarySource
http://dx.doi.org/10.3233/SW-180298
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#assertion
http://www.w3.org/ns/prov#wasAttributedTo
https://orcid.org/0000-0002-8429-8208
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8#pubinfo
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://purl.org/dc/terms/created
2019-11-07T12:47:11+01:00
http://purl.org/np/RAUt5VyIPb6Cvp-_e2Z82aa81OHHP6GbJFP3SqHJQInc8
http://purl.org/pav/createdBy
https://orcid.org/0000-0002-7114-6459