Knowledge Proficiency
- CURIE:
gmeow:KnowledgeProficiency - IRI: https://blackcatinformatics.ca/gmeow/KnowledgeProficiency
- Category: class
- Defined by:
gmeow:slices/cognition - Box roles: TBox role (What is this?)
A reified, leveled depth-of-knowledge of an agent toward a subject — the gufo:Relator binding {agent} × {subject} × {level on a scale} × {interval}, mirroring expertise's gmeow:SkillProficiency. Founded on the gmeow:CognitiveState mode (documentation, not an axiom — Principle 12); the mode and this relator are DIFFERENT individuals, never double-typed. Flat-first: the four-level knowledge spectrum (gmeow:isAwareOf … gmeow:hasMastered) is the cheap surface; promote to a KnowledgeProficiency when level, scale, temporal scope, or standpoint matters. Suppression not deletion (Principle 10): lapsed knowledge is recorded as a closed interval / gmeow:displayable false, never deleted. Boundaries, documented WITHOUT axiom bridges (Principle 9): cognition (knowing, objectual) ⊥ epistemics (believing, propositional); cognition ⊥ expertise (knowing ⊥ can-do — gmeow:hasSkill ⊑ gmeow:knowsAbout touches the axes at one rung only).
Structure
Subclass of: gufo:Relator
Practical Pattern
Use gmeow:KnowledgeProficiency as a specialized kind of gufo:Relator. Add statement metadata or a standpoint when the assertion needs provenance, confidence, or vantage.
Example Snippets
These snippets are generated from canonical slice examples and trimmed to the Turtle blocks where this term appears.
Dunning Kruger
- Source:
slices/core/cognition/examples/dunning-kruger.ttl - Examples catalog: open in catalog#example-slices-core-cognition-examples-dunning-kruger
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: the Dunning–Kruger case, modelled as COEXISTING standpoint-indexed
# claims (Principle 9), never a global verdict. Sam self-assesses MASTERY of
# quantum computing; an external assessor rates the same knowledge merely as KNOWS-ABOUT.
# Two gmeow:KnowledgeProficiency relators over the same (agent, subject), at
# divergent gmeow:KnowledgeLevel values, each indexed by gmeow:accordingTo to a
# different vantage. GMEOW records the disagreement; it does not adjudicate it.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/cognition/> .
@prefix wd: <http://www.wikidata.org/entity/> .
# --- Self-attributed: Sam, by Sam's own lights, has MASTERED quantum computing.
ex:samQuantumSelf a gmeow:KnowledgeProficiency ;
gmeow:knowledgeProficiencyAgent ex:sam ;
gmeow:knowledgeProficiencySubject wd:Q192995 ; # quantum computing
gmeow:knowledgeProficiencyLevel gmeow:knowledgeMastered ;
gmeow:knowledgeProficiencyScale gmeow:scaleKnowledgeDepth ;
gmeow:accordingTo ex:sam . # self-attributed vantage
Knowledge Proficiency
- Source:
slices/core/cognition/examples/knowledge-proficiency.ttl - Examples catalog: open in catalog#example-slices-core-cognition-examples-knowledge-proficiency
# SPDX-FileCopyrightText: 2026 Blackcat Informatics® Inc. <paudley@blackcatinformatics.ca>
# SPDX-License-Identifier: CC-BY-4.0
#
# Worked example: the reified knowledge tier. The flat spectrum (gmeow:hasMastered
# &c.) says HOW DEEP; the reified gmeow:KnowledgeProficiency adds the SCALE it is
# read against, a temporal interval, and a standpoint — the promotion path when
# level, scale, time, or vantage matters (Principle 4). Suppression, not deletion:
# lapsed knowledge is a CLOSED interval with gmeow:displayable false, never removed
# (Principle 10). The mode (gmeow:CognitiveState) and the relator
# (gmeow:KnowledgeProficiency) are DIFFERENT individuals — never double-typed.
@prefix gmeow: <https://blackcatinformatics.ca/gmeow/> .
@prefix ex: <https://blackcatinformatics.ca/gmeow/examples/cognition/> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
# --- Promote to a reified proficiency: depth read on an explicit named SCALE,
# over a temporal interval. The flat hasMastered above and this relator
# coexist; gmeow:pairsWith links the two forms.
ex:adaPython a gmeow:KnowledgeProficiency ;
gmeow:knowledgeProficiencyAgent ex:ada ;
gmeow:knowledgeProficiencySubject wd:Q28865 ; # Python
gmeow:knowledgeProficiencyLevel gmeow:knowledgeMastered ;
gmeow:knowledgeProficiencyScale gmeow:scaleKnowledgeDepth ;
gmeow:knowledgeProficiencyInterval ex:adaPythonSince ;
gmeow:displayable true .
Usage Advice
Use when
- Use when a depth-of-knowledge fact needs its own level, rating scale, temporal scope, or standpoint to be first-class — the reify-on-demand promotion of the flat knowledge spectrum (Principle 4), and the construct that records lapsed knowledge by closing its interval rather than deleting it (Principle 10).
Avoid when
- Avoid for the 80% case where an agent simply knows a subject to some depth — assert the flat
gmeow:isAwareOf…gmeow:hasMasteredspectrum and promote only when context must be first-class; avoid double-typing it with thegmeow:CognitiveStatemode (different individuals, Principle 12); avoid it for the can-do axis (that is expertise'sgmeow:SkillProficiency).
How to use
- Mint one
KnowledgeProficiencyper (agent, subject, level, scale) tuple, binding the five roles (gmeow:knowledgeProficiencyAgent/ …Subject / …Level / …Scale / …Interval); readgmeow:pairsWithfrom the flat spectrum properties to surface the promotion path in gmeow describe, and carry contested or attributed depth on the statement layer viagmeow:accordingTo.
Examples
- ex:lillithPythonKP a
gmeow:KnowledgeProficiency;gmeow:knowledgeProficiencyAgentex:lillith;gmeow:knowledgeProficiencySubjectex:python;gmeow:knowledgeProficiencyLevelgmeow:knowledgeUnderstands;gmeow:knowledgeProficiencyScalegmeow:scaleKnowledgeDepth.