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