https://ontology.solveit-df.org/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.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| solveit-analysis:HypothesisSet | solveit-analysis:hasHypothesis | owl:Thing (inferred) |
@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/> .
solveit-analysis:hasHypothesis a owl:ObjectProperty ;
rdfs:label "has hypothesis"@en ;
rdfs:comment "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."@en ;
rdfs:domain solveit-analysis:HypothesisSet .