computational model
- CURIE:
gmeow:methodComputationalModel - IRI: https://blackcatinformatics.ca/gmeow/methodComputationalModel
- Category: individual
- Defined by:
gmeow:slices/observations - Box roles: ABox role (What is this?)
Observation derived from a computational or mathematical model.
Structure
Types: gmeow:ObservationMethod
Practical Pattern
Use gmeow:methodComputationalModel as a controlled value typed as gmeow:ObservationMethod.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Deduction
- Source:
slices/core/inference/examples/deduction.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-deduction
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
# --- The conclusion — flat spine: mode + inferredFrom on the claim itself ---- #
ex:conclSocratesMortal a gmeow:StandpointClaim ;
rdfs:label "Therefore, Socrates is mortal"@en ;
gmeow:vantage ex:reasoner ;
gmeow:observedFeature ex:propSocratesMortal ;
gmeow:observationMethod gmeow:methodComputationalModel ; # a logic: proof-trace
gmeow:claimModality gmeow:unequivocal ; # truth-preserving → unequivocal
gmeow:inferenceMode gmeow:modeDeduction ;
gmeow:inferredFrom ex:premMajor , ex:premMinor . # non-functional: two premises
Dataset Completeness
- Source:
slices/core/quality/examples/dataset-completeness.ttl - Examples catalog: open in catalog#example-slices-core-quality-examples-dataset-completeness
# --- The assessment: which entity, which dimension, by what method, from whom.
ex:assessment a gmeow:QualityAssessment ;
gmeow:assessedEntity ex:dataset ;
gmeow:qualityDimension gmeow:qualityDimensionCompleteness ;
gmeow:observationMethod gmeow:methodComputationalModel ;
gmeow:vantage ex:auditor ;
gmeow:observationResult ex:completeness .