conceivable (◊, possible)
- CURIE:
gmeow:conceivable - IRI: https://blackcatinformatics.ca/gmeow/conceivable
- Category: individual
- Defined by:
gmeow:slices/standpoint - Box roles: ABox role, CBox role (What is this?)
◊_S — possible according to the standpoint: the proposition holds in some precisification the standpoint admits, but is not settled (CRMinf belief value 'possible').
Structure
Types: gmeow:StandpointModality
Practical Pattern
Use gmeow:conceivable as a controlled value typed as gmeow:StandpointModality.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Conceptual Change
- Source:
slices/core/concepts/examples/conceptual-change.ttl - Examples catalog: open in catalog#example-slices-core-concepts-examples-conceptual-change
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/concepts/conceptual-change/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
ex:plutoCategorizationIAU a gmeow:ConceptCategorization ;
rdfs:label "Pluto categorized as a planet from the IAU 2006 standpoint"@en ;
gmeow:vantage ex:iau2006 ;
gmeow:observedFeature ex:pluto ;
gmeow:observationResult ex:planet ;
gmeow:observationMethod gmeow:methodExpertJudgement ;
gmeow:typicality "0.3"^^xsd:decimal ;
gmeow:claimModality gmeow:conceivable ;
gmeow:confidence "0.95"^^xsd:decimal .
Flagship Epistemic Ledger
- Source:
slices/core/epistemics/examples/flagship-epistemic-ledger.ttl - Examples catalog: open in catalog#example-slices-core-epistemics-examples-flagship-epistemic-ledger
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/epistemics/flagship/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
ex:opClaimRevised a gmeow:StandpointClaim ;
rdfs:label "revised operator claim: LLM recall is at best conceivable"@en ;
gmeow:vantage ex:operator ;
gmeow:observedFeature ex:propRecall ;
gmeow:claimModality gmeow:conceivable ;
gmeow:observationMethod gmeow:methodExpertJudgement .