https://ontology.solveit-df.org/solveit/analysis/shapes/HypothesisSetShape
Validates that a hypothesis set offers two or more alternatives to choose between.
Focus nodes of this shape (solveit-analysis:HypothesisSet) can have the following properties:
| PROPERTY | DESCRIPTION | MIN | MAX | VALUE TYPE | OTHER CONSTRAINTS |
|---|---|---|---|---|---|
| solveit-analysis:hasHypothesis | 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 : <https://ontology.solveit-df.org/solveit/analysis/shapes/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sh: <http://www.w3.org/ns/shacl#> .
@prefix solveit-analysis: <https://ontology.solveit-df.org/solveit/analysis/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
:HypothesisSetShape a sh:NodeShape ;
rdfs:label "Hypothesis Set Shape"@en ;
rdfs:comment "Validates that a hypothesis set offers two or more alternatives to choose between."@en ;
sh:property [ sh:class solveit-analysis:Hypothesis ;
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."@en ;
sh:minCount 2 ;
sh:nodeKind sh:IRI ;
sh:path solveit-analysis:hasHypothesis ] ;
sh:targetClass solveit-analysis:HypothesisSet .