@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