https://ontology.solveit-df.org/solveit/analysis/HypothesisSet
A collection of competing alternative hypotheses considered together, for example the mutually exclusive explanations proposed for a single observation. Members are linked with solveit-analysis:hasHypothesis.
Instances of solveit-analysis:HypothesisSet can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|
By the associated SHACL property shapes, instances of solveit-analysis:HypothesisSet can have the following properties:
| PROPERTY | PROPERTY TYPE | DESCRIPTION | MIN | MAX | VALUE TYPE | OTHER CONSTRAINTS | GLOBAL RANGE |
|---|---|---|---|---|---|---|---|
| solveit-analysis:HypothesisSet | |||||||
| solveit-analysis:hasHypothesis | owl:ObjectProperty | Links a HypothesisSet to a member Hypothesis it groups as a competing alternative. Members must be a Hypothesis or a subclass of one, which is enforced by HypothesisSetShape rather than by an rdfs:range. A range would state the requirement without enforcing it: rdfs:range is an entailment rule, so under inference anything placed in a set would thereby be typed a Hypothesis, and putting an observable object in a set would silently make it one instead of being rejected. sh:message A hypothesis set groups alternatives, so it must hold at least two, each a Hypothesis and each referenceable. A single hypothesis needs no set. |
2 | * | solveit-analysis:Hypothesis sh:IRI |
-- | |
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix solveit-analysis: <https://ontology.solveit-df.org/solveit/analysis/> .
@prefix uco-analysis: <https://ontology.unifiedcyberontology.org/uco/analysis/> .
solveit-analysis:HypothesisSet a owl:Class ;
rdfs:label "Hypothesis Set"@en ;
rdfs:comment "A collection of competing alternative hypotheses considered together, for example the mutually exclusive explanations proposed for a single observation. Members are linked with solveit-analysis:hasHypothesis."@en ;
rdfs:subClassOf uco-analysis:AnalyticResult .