direct observation
- CURIE:
gmeow:methodDirectObservation - IRI: https://blackcatinformatics.ca/gmeow/methodDirectObservation
- Category: individual
- Defined by:
gmeow:slices/observations
Observation by unaided human perception.
Structure
Types: gmeow:ObservationMethod
Practical Pattern
Use gmeow:methodDirectObservation 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.
Analogy
- Source:
slices/core/inference/examples/analogy.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-analogy
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ex:premOrbits a gmeow:StandpointClaim ;
gmeow:vantage ex:physicist ;
gmeow:observedFeature ex:propLighterOrbitsHeavier ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal .
Belief Revision
- Source:
slices/core/inference/examples/belief-revision.ttl - Examples catalog: open in catalog#example-slices-core-inference-examples-belief-revision
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/inference/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# --- The original premise and conclusion ------------------------------------ #
ex:premDidNotPrint a gmeow:StandpointClaim ;
gmeow:vantage ex:operator ;
gmeow:observedFeature ex:propDidNotPrint ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal .
# --- The defeater (an undercutting one) ------------------------------------- #
ex:defeaterNeverQueued a gmeow:StandpointClaim ;
rdfs:label "Defeater: the document was never queued"@en ;
gmeow:vantage ex:operator ;
gmeow:observedFeature ex:propNeverQueued ;
gmeow:observationMethod gmeow:methodDirectObservation ;
gmeow:claimModality gmeow:unequivocal ;
gmeow:defeaterKind gmeow:defeaterUndercutting . # removes the warrant, not asserts the negation