@prefix : . @prefix owl: . @prefix dcterms: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix sopropo: . @prefix rdfs: . @prefix sostrt: . @base . rdf:type owl:Ontology ; owl:imports ; rdfs:label "SWEET Ontology State Role Trust" ; dcterms:license ; owl:versionInfo "3.6.0" . ################################################################# # Classes ################################################################# ### http://sweetontology.net/propOrdinal/Trust sopropo:Trust rdf:type owl:Class . ################################################################# # Individuals ################################################################# ### http://sweetontology.net/stateRoleTrust/Acceptable sostrt:Acceptable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "acceptable"@en . ### http://sweetontology.net/stateRoleTrust/Accurate sostrt:Accurate rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "accurate"@en . ### http://sweetontology.net/stateRoleTrust/Analyzed sostrt:Analyzed rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "analyzed"@en . ### http://sweetontology.net/stateRoleTrust/Artifact sostrt:Artifact rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "artifact"@en . ### http://sweetontology.net/stateRoleTrust/Assessed sostrt:Assessed rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "assessed"@en . ### http://sweetontology.net/stateRoleTrust/Believable sostrt:Believable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "believable"@en . ### http://sweetontology.net/stateRoleTrust/Certain sostrt:Certain rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Certainty ; rdfs:label "certain"@en . ### http://sweetontology.net/stateRoleTrust/Certainty sostrt:Certainty rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "certainty"@en . ### http://sweetontology.net/stateRoleTrust/Confident sostrt:Confident rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "confident"@en . ### http://sweetontology.net/stateRoleTrust/DeepUncertainty sostrt:DeepUncertainty rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "deep uncertainty"@en . ### http://sweetontology.net/stateRoleTrust/Defendable sostrt:Defendable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "defendable"@en . ### http://sweetontology.net/stateRoleTrust/Defended sostrt:Defended rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "defended"@en . ### http://sweetontology.net/stateRoleTrust/Discrepancy sostrt:Discrepancy rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "discrepancy"@en . ### http://sweetontology.net/stateRoleTrust/Examined sostrt:Examined rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "examined"@en . ### http://sweetontology.net/stateRoleTrust/Forecasted sostrt:Forecasted rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "forecasted"@en . ### http://sweetontology.net/stateRoleTrust/Imprecise sostrt:Imprecise rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "imprecise"@en . ### http://sweetontology.net/stateRoleTrust/Inaccurate sostrt:Inaccurate rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "inaccurate"@en . ### http://sweetontology.net/stateRoleTrust/Investigated sostrt:Investigated rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Researched ; rdfs:label "investigated"@en . ### http://sweetontology.net/stateRoleTrust/Irregular sostrt:Irregular rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "irregular"@en . ### http://sweetontology.net/stateRoleTrust/Known sostrt:Known rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "known"@en . ### http://sweetontology.net/stateRoleTrust/Observed sostrt:Observed rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "observed"@en . ### http://sweetontology.net/stateRoleTrust/PeerReviewed sostrt:PeerReviewed rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "peer reviewed"@en . ### http://sweetontology.net/stateRoleTrust/Posterior sostrt:Posterior rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "posterior"@en . ### http://sweetontology.net/stateRoleTrust/Precise sostrt:Precise rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "precise"@en . ### http://sweetontology.net/stateRoleTrust/Predictable sostrt:Predictable rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Predictivee ; rdfs:label "predictable"@en . ### http://sweetontology.net/stateRoleTrust/Predictivee sostrt:Predictivee rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "predictivee"@en . ### http://sweetontology.net/stateRoleTrust/Prior sostrt:Prior rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "prior"@en . ### http://sweetontology.net/stateRoleTrust/Proven sostrt:Proven rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "proven"@en . ### http://sweetontology.net/stateRoleTrust/Published sostrt:Published rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "published"@en . ### http://sweetontology.net/stateRoleTrust/Questionable sostrt:Questionable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "questionable"@en . ### http://sweetontology.net/stateRoleTrust/Regular sostrt:Regular rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "regular"@en . ### http://sweetontology.net/stateRoleTrust/Reliable sostrt:Reliable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "reliable"@en . ### http://sweetontology.net/stateRoleTrust/Researched sostrt:Researched rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "researched"@en . ### http://sweetontology.net/stateRoleTrust/Reviewed sostrt:Reviewed rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "reviewed"@en . ### http://sweetontology.net/stateRoleTrust/Risk sostrt:Risk rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Risky ; rdfs:label "risk"@en . ### http://sweetontology.net/stateRoleTrust/Risky sostrt:Risky rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "risky"@en . ### http://sweetontology.net/stateRoleTrust/Safe sostrt:Safe rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "safe"@en . ### http://sweetontology.net/stateRoleTrust/Scheduled sostrt:Scheduled rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "scheduled"@en . ### http://sweetontology.net/stateRoleTrust/Spurious sostrt:Spurious rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "spurious"@en . ### http://sweetontology.net/stateRoleTrust/Sure sostrt:Sure rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "sure"@en . ### http://sweetontology.net/stateRoleTrust/Tenable sostrt:Tenable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "tenable"@en . ### http://sweetontology.net/stateRoleTrust/Tested sostrt:Tested rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "tested"@en . ### http://sweetontology.net/stateRoleTrust/Trusted sostrt:Trusted rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Trustworthy ; rdfs:label "trusted"@en . ### http://sweetontology.net/stateRoleTrust/Trustworthy sostrt:Trustworthy rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "trustworthy"@en . ### http://sweetontology.net/stateRoleTrust/Unacceptable sostrt:Unacceptable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unacceptable"@en . ### http://sweetontology.net/stateRoleTrust/Unbelievable sostrt:Unbelievable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unbelievable"@en . ### http://sweetontology.net/stateRoleTrust/Uncertain sostrt:Uncertain rdf:type owl:NamedIndividual , sopropo:Trust ; owl:sameAs sostrt:Uncertainty ; rdfs:label "uncertain"@en . ### http://sweetontology.net/stateRoleTrust/Uncertainty sostrt:Uncertainty rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "uncertainty"@en . ### http://sweetontology.net/stateRoleTrust/Unconfident sostrt:Unconfident rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unconfident"@en . ### http://sweetontology.net/stateRoleTrust/Undefendable sostrt:Undefendable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "undefendable"@en . ### http://sweetontology.net/stateRoleTrust/Unforecasted sostrt:Unforecasted rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unforecasted"@en . ### http://sweetontology.net/stateRoleTrust/Unknown sostrt:Unknown rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unknown"@en . ### http://sweetontology.net/stateRoleTrust/Unpredictable sostrt:Unpredictable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unpredictable"@en . ### http://sweetontology.net/stateRoleTrust/Unproven sostrt:Unproven rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unproven"@en . ### http://sweetontology.net/stateRoleTrust/Unreliable sostrt:Unreliable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unreliable"@en . ### http://sweetontology.net/stateRoleTrust/Unscheduled sostrt:Unscheduled rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unscheduled"@en . ### http://sweetontology.net/stateRoleTrust/Unsure sostrt:Unsure rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "unsure"@en . ### http://sweetontology.net/stateRoleTrust/Untenable sostrt:Untenable rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "untenable"@en . ### http://sweetontology.net/stateRoleTrust/Untested sostrt:Untested rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "untested"@en . ### http://sweetontology.net/stateRoleTrust/Untrusted sostrt:Untrusted rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "untrusted"@en . ### http://sweetontology.net/stateRoleTrust/Vague sostrt:Vague rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "vague"@en . ### http://sweetontology.net/stateRoleTrust/Validated sostrt:Validated rdf:type owl:NamedIndividual , sopropo:Trust ; rdfs:label "validated"@en . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Acceptable sostrt:Unacceptable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Accurate sostrt:Inaccurate ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Believable sostrt:Unbelievable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Certain sostrt:Uncertain ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Certainty sostrt:DeepUncertainty ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Confident sostrt:Unconfident ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Defendable sostrt:Undefendable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Forecasted sostrt:Unforecasted ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Imprecise sostrt:Precise ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Irregular sostrt:Regular ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Known sostrt:Unknown ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Precise sostrt:Vague ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Predictable sostrt:Unpredictable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Proven sostrt:Unproven ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Reliable sostrt:Unreliable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Risky sostrt:Safe ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Scheduled sostrt:Unscheduled ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Sure sostrt:Unsure ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Tenable sostrt:Untenable ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Tested sostrt:Untested ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostrt:Trusted sostrt:Untrusted ) ] . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi