knowledge-modeling — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited knowledge-modeling (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
Knowledge modeling is the discipline of choosing a representation paradigm — knowledge graph (nodes + edges + properties), frames (structured records with slots and inheritance), semantic network (labelled IS-A/HAS-A concepts), production rules (IF→THEN decision logic), concept map (propositions for human reading), procedural ontology / PKO (decisions + state changes + triggers as first-class entities), or hybrid — that fits how the knowledge will be queried, reasoned over, and maintained. Drawing from Newell's knowledge level and Brachman & Levesque's KR&R tradition, it treats representation as a strategic choice with explicit expressiveness-tractability trade-offs rather than as a default.
Replaces "use whichever knowledge format is familiar" with paradigm choice driven by the dominant query pattern. Solves the problem that AI-agent systems are knowledge systems in disguise — every SKILL.md is a knowledge artefact, every reference doc, every routing rule, every memory file, every decision record. The question is never whether the workspace has a knowledge model (it always does, even when implicit), but whether the model fits the dominant query pattern. Multi-hop reasoning needs a graph. Decision logic needs production rules. Object-like domain entities need frames. "Why did the agent decide X?" needs a procedural ontology. Pick the wrong paradigm and the agent's reasoning breaks against the representation rather than against the domain. The expressiveness-vs-tractability trade-off is non-negotiable: more expressive representations (OWL-DL, full first-order logic) admit fewer fast queries; more tractable representations (property graphs, key-value) admit fewer formal proofs. For most product teams the right answer is "Markdown with conventions" — which is what a SKILL.md is — not formal ontology; escalate formality only when automated reasoning or multi-system interop genuinely requires it.
Distinct from conceptual-modeling, which is the human-readable domain analysis layer (entities, attributes, relationships, cardinality) — this skill is the representation-strategy layer above that (choosing between graphs, frames, rules, hybrids). Distinct from context-graph, which is one specific application of knowledge modeling (the multi-graph context architecture for skills + docs + memory + scripts) — this skill is the general theory it draws on. Distinct from skill-infrastructure, which is the live tooling that maintains the skill library — this skill is the theory of what kind of knowledge artefact a SKILL.md is and why frames are the right paradigm for one. Distinct from database-migration / entity-relationship-modeling (concerns data structure — tables, columns, FK constraints; this skill concerns meaning structure). Distinct from ontology-modeling (formal axioms with reasoning constraints — the layer above this skill) and from semantic-relations (typing individual concept edges). Knowledge modeling is to a knowledge artefact what choosing between blueprint, schematic, exploded view, flowchart, and storyboard is to documenting a complex device — the device hasn't changed, but each format makes different questions easy or impossible to answer. A blueprint answers 'where does this part go?'; a schematic answers 'what is connected to what?'; a flowchart answers 'what happens when?'. Showing a customer a wiring schematic when they want to know how the product is assembled is choosing the wrong representation, not failing at the documentation. The wrong mental model is that any structured format is a knowledge model — JSON files, Markdown docs, database tables are all "knowledge" in a loose sense. They are not, in the technical sense this skill cares about. Knowledge is not data: data records facts ("order #1247 has status refunded"); knowledge encodes the judgment and context needed to act on those facts ("refunds after 30 days require manager approval"; "the upstream fulfilment pipeline has a known 48-hour delay"). The agent with only the data hallucinates the policy; the agent with the knowledge applies it. Adjacent misconceptions: that one paradigm fits all (it does not — most real systems are hybrid: graph for entities and relationships, rules for decision logic, frames for stable domain objects, PKO when decision-trace replay matters); that more formal is more capable (it is not — OWL-DL admits fewer fast queries than property graphs; for most product teams Markdown with conventions is better than RDF triples); that GraphRAG always beats plain RAG (it does not — GraphRAG only wins when the underlying graph is well modelled; a sparse, mislabelled, or synonym-inconsistent graph retrieves worse than plain vector search because the structure becomes noise); and that knowledge once captured is durable (it is not — knowledge has a lifecycle: Create → Validate → Publish → Use → Monitor → Update → Retire; periodic currency checks are scheduled, not aspirational, because domain knowledge drifts faster than code).
The representation-strategy layer above conceptual modeling and below formal ontology. Names seven knowledge-representation paradigms — Knowledge Graph, Frames, Semantic Network, Production Rules, Concept Map, Process / Procedural Ontology (PKO), Hybrid — with structure, best-for, and weakness for each. Specifies the tacit-to-explicit knowledge acquisition pipeline that converts what experts know-but-cannot-articulate into computable form (elicitation → articulation → formalization → expert validation → encoding) and the five knowledge sources (domain experts, documentation, existing code, user behaviour, failure post-mortems). Lays out knowledge-graph design principles: reify when a relationship has properties, separate schema-level from instance-level, label edges precisely (created_by not related_to), enforce bidirectional naming, minimise redundancy. Covers the four validation types (completeness / consistency / relevance / currency) plus expert walkthrough. Walks the seven-phase knowledge lifecycle (Create → Validate → Publish → Use → Monitor → Update → Retire) with each phase's failure mode. Maps the theory to AI-agent systems: skills as frames, routing as production rules, memory as a knowledge graph with temporal properties. Devotes a full section to GraphRAG with five concrete patterns (entity-anchored retrieval, relationship-aware context, path-based reasoning, subgraph summarization, hybrid vector + graph) and the rules for when graph-grounded retrieval actually beats plain vector RAG. Closes with the representation-tradeoff matrix between expressiveness and tractability across reasoning, querying, maintenance, and human readability.
Knowledge is not data. Data records facts; knowledge encodes the judgment and context needed to _act_ on those facts. A database stores that an order has status refunded. Knowledge captures that a refund after thirty days requires manager approval, that the customer's lifetime value should influence the response, and that the upstream fulfilment pipeline has a known forty-eight-hour delay. The agent that has only the data hallucinates the policy; the agent that has the knowledge applies it.
AI-agent systems are knowledge systems in disguise. Every SKILL.md is a knowledge artefact. Every reference doc is a knowledge artefact. Every routing rule, every memory file, every decision record is a knowledge artefact. The question is not _whether_ the workspace has a knowledge model — it always does, even when implicit — but _whether the model fits the dominant query pattern_. Multi-hop reasoning needs a graph. Decision logic needs production rules. Object-like domain entities need frames. "Why did the agent decide X?" needs a procedural ontology. Pick the wrong paradigm and the agent's reasoning breaks against the representation rather than against the domain.
The representation-vs-reasoning tradeoff is non-negotiable. More expressive representations (OWL-DL, full first-order logic) admit fewer fast queries; more tractable representations (property graphs, key-value) admit fewer formal proofs. For most product teams the right answer is "Markdown with conventions" — which is what a SKILL.md is — not formal ontology. Escalate formality only when automated reasoning or multi-system interop demands it.
| Paradigm | Structure | Best for | Weakness |
|---|---|---|---|
| Knowledge Graph | Nodes (entities) + edges (relationships) + properties | Multi-hop reasoning, entity disambiguation, relationship discovery | Hard to express rules and constraints |
| Frames | Structured records with slots, default values, inheritance | Object-like domain modeling; defaults and exceptions | Limited relationship expressiveness |
| Semantic Network | Labelled graph of concepts with IS-A / HAS-A links | Concept navigation; vocabulary organisation | No formal semantics; ambiguous edges |
| Production Rules | IF condition THEN action | Decision logic; business rules; routing | Poor at representing structural knowledge |
| Concept Map | Propositions as labelled connections between concepts | Learning, communication, knowledge audit | Informal; not directly computable |
| Process / Procedural Ontology (PKO) | Decisions, state changes, procedural steps, and triggers as first-class entities | Agent memory with "why / how" traces; audit trails; workflow capture; multi-agent orchestration | Heavy to author; easy to over-instrument |
| Hybrid | Mix of graph + rules + frames | Real-world systems | Complexity management |
Pick the paradigm by the primary query pattern the system needs to answer:
Most real systems converge on a _hybrid_: a knowledge graph for entities and relationships, plus production rules for decision logic, plus frames for stable domain objects, plus a PKO layer when decision-trace replay matters.
| Source | Method | Output |
|---|---|---|
| Domain experts | Structured interviews, protocol analysis | Explicit rules, decision criteria |
| Documentation | Document analysis, extraction | Facts, procedures, constraints |
| Existing code | Code archaeology, pattern mining | Implicit rules, edge cases |
| User behaviour | Task analysis, usage logs | Tacit knowledge, workarounds |
| Failures | Post-mortem analysis, bug reports | _Negative_ knowledge — what NOT to do |
Tacit knowledge (in expert's head)
│
▼
Elicitation — interview, observation
│
▼
Articulation — natural-language rules
│
▼
Formalization — structured representation
│
▼
Validation — expert review against real scenarios
│
▼
Encoding — computable formRules:
| Element | Convention | Example |
|---|---|---|
| Entity node | Noun, PascalCase | Order, Product, Customer |
| Concept node | Noun phrase representing an idea | RefundPolicy, PricingStrategy |
| Relationship edge | Verb phrase, directed, labelled | Order -[placed_by]-> Customer |
| Property | Key-value on node or edge | Order.total_amount = 4599 |
| Type edge | IS-A classification | DigitalProduct -[is_a]-> Product |
| Part edge | Part-whole | LineItem -[part_of]-> Order |
| Principle | Rule |
|---|---|
| Reify when needed | If a relationship carries properties (date, amount, status), promote it to a node |
| Separate structure from content | Schema nodes (types, relations) vs instance nodes (specific entities) |
| Label precisely | created_by not related_to; specificity enables reasoning |
| Bidirectional naming | Every edge should read naturally in both directions: Order -[placed_by]-> Customer and Customer -[placed]-> Order |
| Minimal redundancy | Derive rather than duplicate; if a value can be computed from the graph, don't store it twice |
| Validation type | What it catches |
|---|---|
| Completeness check | Missing entities, relationships, or rules for known scenarios |
| Consistency check | Contradictory rules or overlapping categories |
| Relevance check | Knowledge that exists in the model but serves no real query or decision |
| Currency check | Knowledge that was true when captured but has since changed |
| Expert walkthrough | Expert reviews the model against real scenarios; catches implicit assumptions |
Rules:
Create → Validate → Publish → Use → Monitor → Update → (Retire)| Phase | Key activity | Failure mode |
|---|---|---|
| Create | Acquire from source; formalise | Incomplete capture; missing tacit knowledge |
| Validate | Expert review; scenario testing | Rubber-stamp approval; untested edge cases |
| Publish | Make available to consumers (agents, APIs, UIs) | Poor discoverability; stale indexes |
| Use | Runtime queries; decision support | Over-reliance on outdated knowledge |
| Monitor | Track usage, accuracy, relevance | No feedback loop; zombie knowledge |
| Update | Revise based on new information or feedback | Partial updates; inconsistencies between updated and stale parts |
| Retire | Remove or archive obsolete knowledge | Hoarding; false confidence in expired material |
| Agent component | Knowledge-modeling concern |
|---|---|
| Skill library | Each skill is a knowledge artefact; the skill index is a knowledge graph |
| Context engineering | Selecting which knowledge to load into a finite context window |
| Routing / dispatch | Production rules mapping inputs to skill / agent selection |
| Memory system | Long-term persistence with freshness management |
| Evaluation | Validating that knowledge actually improves agent output |
The mappings:
Plain Retrieval-Augmented Generation retrieves unordered text chunks by vector similarity. This fails on multi-entity questions, on disambiguation, and on questions whose answer depends on _how_ entities relate — vector similarity finds "topically close" passages, not "structurally connected" facts. GraphRAG grounds retrieval in a knowledge graph, so the model receives typed entities and labelled edges instead of a bag of passages.
| Pattern | What it does | When it beats plain RAG |
|---|---|---|
| Entity-anchored retrieval | Resolve prompt mentions to graph nodes, then expand N hops | Multi-entity questions; disambiguation across namespaces |
| Relationship-aware context | Include labelled edges alongside retrieved nodes | Questions about _how_ two things relate, not just what they are |
| Path-based reasoning | Return the concrete path between two nodes as context | "Why is X connected to Y?" questions |
| Subgraph summarization | Summarise a relevant subgraph into natural language before passing to the LLM | Reduces hallucination on multi-hop and aggregation questions |
| Hybrid (vector + graph) | Vector retrieval seeds entry points; graph expansion adds structure | Corpora where neither pure approach wins alone |
Rules:
| Dimension | More expressive | More tractable |
|---|---|---|
| Reasoning | OWL-DL, full first-order logic | Property graphs, key-value |
| Querying | SPARQL, Cypher | Simple lookups, keyword search |
| Maintenance | Formal schemas with constraints | Plain text with conventions |
| Human readability | Concept maps, Markdown | JSON-LD, RDF triples |
Rules:
| Use instead | When |
|---|---|
conceptual-modeling | Performing the _human-readable_ domain analysis (entities, attributes, relationships, cardinality) — that's the layer below this skill |
entity-relationship-modeling | Designing database tables, foreign keys, normalization — data structure, not meaning structure |
taxonomy-design | Building a pure IS-A classification hierarchy with no rules or graph behaviour |
ontology-modeling | Defining formal axioms with OWL / RDFS, class restrictions, automated-reasoning constraints — the layer above this skill |
semantic-relations | Picking exact edge labels — hypernymy, meronymy, synonymy, polysemy, troponymy |
skill-infrastructure | Maintaining the live skill library (census, overlap detection, drift checks) — knowledge-modeling is the theory, skill-infrastructure is the operations |
context-graph | Designing the multi-graph topology of a workspace — that is one application of this skill, not the theory itself |
<!-- skill-graph-context:start (generated — do not edit by hand) -->
Classification
knowledge-organizationtruefoundations/knowledgeWhen to use
knowledge-modeling, knowledge representation, knowledge graph modeling, GraphRAG modeling, representation paradigmNot for
ontology-modeling: paradigm choice and informal/hybrid representationsemantic-relations: graph structure and representation choicetaxonomy-design: multi-paradigm and graph modelingRelated skills
conceptual-modeling, ontology-modelingskill-infrastructure, entity-relationship-modeling, context-graph, context-engineering, conceptual-modeling, ontology-modeling, taxonomy-design, semantic-relationsConcept
Grounding
hybridhttps://doi.org/10.1016/0004-3702(82)90012-1, https://books.google.com/books/about/Knowledge_Representation_and_Reasoning.html?id=ln6Ux-EZm6YC, https://courses.media.mit.edu/2004spring/mas966/Minsky%201974%20Framework%20for%20knowledge.pdf, https://www.w3.org/TR/skos-reference/, https://arxiv.org/abs/2404.16130Keywords
knowledge representation, knowledge graph, frames and slots, production rules, semantic network, concept map, procedural ontology, hybrid knowledge representation, tacit to explicit knowledge, knowledge acquisition pipeline<!-- skill-graph-context:end -->
~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.