# Semantic Links Semantic Links are hyperlinks that carry explicit meaning about the relationship between the linked items, going beyond simple "is connected to" associations. The concept emerged from [[Hypertext]] research in the 1980s, notably [[Randall Trigg]]'s PhD thesis (1983) which proposed a comprehensive taxonomy of link types, and [[Frank Halasz]]'s work on NoteCards at Xerox PARC. Unlike plain links, semantic links specify *how* things relate: "supports," "contradicts," "is-example-of," "is-part-of," enabling more sophisticated navigation and reasoning. Semantic linking has become increasingly relevant in [[Personal Knowledge Management (PKM)]], knowledge graphs, and the Semantic Web. Tools like Tana implement typed links natively, while users of [[Obsidian]] and [[Logseq]] create conventions using properties or prefixes. The approach enables queries like "show all notes that contradict this claim" or "find examples of this concept." Semantic links transform a simple network of connected notes into a structured knowledge base where relationships are first-class citizens, supporting argumentation, learning, and discovery. ## Plain Links vs Semantic Links ``` ┌─────────────────────────────────────────────────────────────┐ │ PLAIN LINKS vs SEMANTIC LINKS │ ├─────────────────────────────────────────────────────────────┤ │ │ │ PLAIN LINK │ │ ┌─────────┐ ┌─────────┐ │ │ │ Note A │───────────────────▶│ Note B │ │ │ └─────────┘ "links to" └─────────┘ │ │ │ │ SEMANTIC LINKS │ │ ┌─────────┐ "supports" ┌─────────┐ │ │ │ Note A │────────────────────▶│ Note B │ │ │ └─────────┘ └─────────┘ │ │ │ │ │ │ "is-example-of" ┌─────────┐ │ │ └─────────────────────────▶│ Note C │ │ │ └─────────┘ │ │ ┌─────────┐ "contradicts" ┌─────────┐ │ │ │ Note D │════════════════════▶│ Note A │ │ │ └─────────┘ └─────────┘ │ │ │ │ The link TYPE carries meaning that enables reasoning │ └─────────────────────────────────────────────────────────────┘ ``` ## Trigg's Link Taxonomy (1983) | Category | Link Types | |----------|------------| | **Commentary** | Supports, contradicts, questions, agrees-with | | **Elaboration** | Example-of, detail-of, explanation-of, specification | | **Organization** | Part-of, member-of, version-of, branch-of | | **Reference** | Citation, source-of, see-also, cf. | | **Rhetorical** | Background, motivation, conclusion, summary | | **Temporal** | Before, after, during, follows | ## Common Semantic Link Types | Link Type | Direction | Example | |-----------|-----------|---------| | **supports/supported-by** | Bidirectional | Evidence → Claim | | **contradicts** | Bidirectional | Counter-argument ↔ Claim | | **is-example-of/has-example** | Inverse pair | Instance → Concept | | **is-part-of/has-part** | Inverse pair | Component → System | | **is-source-of/derived-from** | Inverse pair | Origin → Derivative | | **extends/extended-by** | Inverse pair | Child → Parent idea | | **related-to** | Symmetric | Sibling concepts | | **prerequisite-of** | Directional | Foundational → Advanced | ## Implementation Approaches | Approach | Description | Tools | |----------|-------------|-------| | **Native typed links** | Built-in link types | Tana, TheBrain | | **Properties/metadata** | Relationship as property | Notion, Obsidian (Dataview) | | **Link prefixes** | Convention in link text | Any tool | | **Namespaced tags** | Tags that indicate relationship | Most PKM tools | | **Backlink context** | Surrounding text implies type | Roam, Logseq | | **RDF/Semantic Web** | Formal ontologies | Knowledge graphs | ## PKM Implementation Examples | Tool | Implementation | |------|----------------| | **Tana** | Native supertags with fields for link types | | **Obsidian** | Dataview properties: `supports:: [[Note]]` | | **Logseq** | Block properties: `supports:: [[Note]]` | | **Roam** | Attribute syntax: `supports::[[Note]]` | | **Notion** | Relation properties with names | | **TheBrain** | Link types as first-class feature | ## Benefits | Benefit | Description | |---------|-------------| | **Queryable relationships** | Find all supporting evidence | | **Reasoning support** | Trace argument structures | | **Better organization** | Multiple hierarchies coexist | | **Reduced ambiguity** | Clear relationship meaning | | **Knowledge discovery** | Surface unexpected connections | | **Structured learning** | Follow concept dependencies | ## Challenges | Challenge | Mitigation | |-----------|------------| | **Overhead** | Start with few types, expand as needed | | **Inconsistency** | Document your conventions | | **Tool support** | Choose tool with native support | | **Maintenance** | Review and refine periodically | | **Over-engineering** | Only type links that need it | ## Key Figures | Person | Contribution | | --------------------- | ------------------------- | | [[Randall Trigg]] | Link taxonomy (1983) | | [[Frank Halasz]] | NoteCards link types | | [[Tim Berners-Lee]] | Semantic Web vision | | [[Ted Nelson]] | Link types in Xanadu | | [[Douglas Engelbart]] | Early link categorization | ## Semantic Links in Note Types | Note Type | Useful Link Types | |-----------|-------------------| | **Arguments** | supports, contradicts, assumes | | **Concepts** | is-example-of, is-type-of, related-to | | **Projects** | blocks, depends-on, contributes-to | | **Literature** | cites, critiques, extends | | **Learning** | prerequisite-of, builds-on | ## References - Trigg, R.H. (1983). "A Network-Based Approach to Text Handling for the Online Scientific Community" - Halasz, F.G. (1988). "Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems" - https://en.wikipedia.org/wiki/Semantic_Web ## Related - [[Hypertext]] - [[Personal Knowledge Management (PKM)]] - [[Randall Trigg]] - [[Frank Halasz]] - [[NoteCards]] - [[Tim Berners-Lee]] - [[Douglas Engelbart]] - [[Bidirectional Links]] - [[Block references]] - [[Knowledge Graph (KG)]] - [[Obsidian]] - [[Tana]]