https://ontology.solveit-df.org/solveit/observable/recoveredFromPage
owl:ObjectProperty
The page from which this record was physically recovered. Deliberately has no rdfs:domain. Where bytes were found is a fact about them, true whether or not the reconstruction they support turns out to be correct, so it must be assertable of a solveit-analysis:HypothesisedRecord as readily as of an observed record. A domain of SQLiteRecord would not restrict that usage - rdfs:domain is an entailment rule, not a constraint - it would silently infer any hypothesis carrying this property to be an observed record, while still validating. A live record is in a page rather than recovered from one, so restricting the property to observed records would in any case have excluded the only case it was written for.
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| owl:Thing (inferred) | solveit-observable:recoveredFromPage | solveit-observable:SQLitePage |
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix solveit-observable: <https://ontology.solveit-df.org/solveit/observable/> .
solveit-observable:recoveredFromPage a owl:ObjectProperty ;
rdfs:label "recovered from page"@en ;
rdfs:comment "The page from which this record was physically recovered. Deliberately has no rdfs:domain. Where bytes were found is a fact about them, true whether or not the reconstruction they support turns out to be correct, so it must be assertable of a solveit-analysis:HypothesisedRecord as readily as of an observed record. A domain of SQLiteRecord would not restrict that usage - rdfs:domain is an entailment rule, not a constraint - it would silently infer any hypothesis carrying this property to be an observed record, while still validating. A live record is in a page rather than recovered from one, so restricting the property to observed records would in any case have excluded the only case it was written for."@en ;
rdfs:range solveit-observable:SQLitePage .