A formal ontology for metaverse concepts using an innovative hybrid approach that combines Logseq markdown for human readability with OWL Functional Syntax for formal reasoning.
- Orthogonal Classification: Two-dimensional design (Physicality Γ Role) enabling automatic inference of 9 intersection classes
- Logseq-Native Format: Pure outline format with collapsed blocks, queryable properties, and section IDs
- Automated Extraction: Rust tool to parse Logseq files and generate complete OWL ontology
- OWL 2 DL Compliant: Full support for formal reasoning and consistency checking
- Dual Purpose: Human-readable in Logseq, machine-extractable for reasoners
- ETSI Aligned: Domain classification based on ETSI metaverse standards
OntologyDesign/
βββ README.md # This file
β
βββ docs/ # π Documentation
β βββ guides/
β β βββ QUICKSTART.md # 5-minute setup guide
β β βββ MIGRATION_GUIDE.md # How to migrate concepts
β βββ reference/
β β βββ TEMPLATE.md # Standard concept format template
β β βββ FORMAT_STANDARDIZED.md # Complete format specification
β β βββ URIMapping.md # Wikilink β IRI conversion rules
β β βββ LOGSEQ_TAG_USAGE.md # Using metaverseOntology tag
β βββ IMPLEMENTATION_STATUS.md # Feature completion status
β βββ MIGRATION_STATUS.md # 260+ concept migration progress
β βββ task.md # Original design requirements
β
βββ OntologyDefinition.md # π― Core ontology header & base classes
βββ PropertySchema.md # π All object/data/annotation properties
βββ ETSIDomainClassification.md # ποΈ ETSI domain taxonomy
βββ ValidationTests.md # β
Test cases for reasoning
β
βββ Avatar.md # π Example: VirtualAgent class
βββ DigitalTwin.md # π Example: HybridObject class
β
βββ VisioningLab/ # π¬ 260+ concept files
β βββ Game Engine.md # Example: VirtualObject class
β βββ [...] # (migration in progress)
β
βββ logseq-owl-extractor/ # π¦ Rust extraction tool
βββ Cargo.toml # Dependencies
βββ README.md # Tool documentation
βββ src/
βββ main.rs # CLI interface
βββ parser.rs # Markdown parser
βββ converter.rs # Wikilink β IRI conversion
βββ assembler.rs # Ontology assembly & validation
cd logseq-owl-extractor
cargo build --release./logseq-owl-extractor/target/release/logseq-owl-extractor \
--input . \
--output metaverse-ontology.ofn \
--validate# Open in ProtΓ©gΓ© (GUI)
protege metaverse-ontology.ofn
# Or classify with whelk-rs (CLI)
whelk classify metaverse-ontology.ofnπ See docs/guides/QUICKSTART.md for detailed instructions.
The ontology uses two independent dimensions:
| Physicality | Role | β Result |
|---|---|---|
| Physical | Agent | PhysicalAgent (e.g., Human) |
| Virtual | Agent | VirtualAgent (e.g., Avatar) |
| Hybrid | Agent | HybridAgent (e.g., Cyborg) |
| Physical | Object | PhysicalObject (e.g., VR Headset) |
| Virtual | Object | VirtualObject (e.g., 3D Model) |
| Hybrid | Object | HybridObject (e.g., Digital Twin) |
| ... | ... | ... (9 total combinations) |
This allows:
- Natural multiple inheritance
- Automatic classification by reasoners
- Clean separation of concerns
Each concept is defined in a pure Logseq outline format:
- ### OntologyBlock
id:: avatar-ontology
collapsed:: true
- metaverseOntology:: true
- term-id:: 20067
- preferred-term:: Avatar
- definition:: Digital representation of a person...
- owl:class:: mv:Avatar
- owl:physicality:: VirtualEntity
- owl:role:: Agent
- owl:inferred-class:: mv:VirtualAgent
- #### Relationships
id:: avatar-relationships
- has-part:: [[Visual Mesh]], [[Animation Rig]]
- requires:: [[3D Rendering Engine]]
- #### OWL Axioms
id:: avatar-owl-axioms
collapsed:: true
- ```clojure
Declaration(Class(mv:Avatar))
SubClassOf(mv:Avatar mv:VirtualEntity)
SubClassOf(mv:Avatar mv:Agent)
```
- ## About Avatars
- Human-readable description and examples...Benefits:
- β Tidy: Everything collapses into ### OntologyBlock
- β
Queryable:
metaverseOntology:: truetag enables Logseq queries - β Referenceable: Section IDs allow block references
- β Readable: Clojure syntax highlighting for OWL code
- β Extractable: Parser extracts properties and OWL blocks
- β Documented: Human context in "About" section
- β Linked: WikiLinks create knowledge graph
| Document | Description |
|---|---|
| QUICKSTART.md | Get started in 5 minutes |
| MIGRATION_GUIDE.md | How to migrate VisioningLab concepts |
| Document | Description |
|---|---|
| TEMPLATE.md | Standard concept format template |
| FORMAT_STANDARDIZED.md | Complete format specification |
| URIMapping.md | Wikilink to IRI conversion rules |
| LOGSEQ_TAG_USAGE.md | Using metaverseOntology tag for queries |
| Document | Description |
|---|---|
| CONSOLIDATED_KNOWLEDGEBASE.md | Complete project overview |
| FORWARD_IMPLEMENTATION_PLAN.md | Future enhancements roadmap |
| SOLUTION_ARCHITECTURE_STRATEGY.md | Technical architecture details |
| Document | Description |
|---|---|
| logseq-owl-extractor/README.md | Extractor tool documentation |
Avatar.md - VirtualAgent
Classification:
owl:physicality:: VirtualEntityowl:role:: Agentowl:inferred-class:: mv:VirtualAgentβ
Key Properties:
- Represents exactly one user or AI agent
- Requires 3D Rendering Engine
- Enables User Embodiment and Social Presence
- Has parts: Visual Mesh, Animation Rig
OWL Axioms:
Declaration(Class(mv:Avatar))
SubClassOf(mv:Avatar mv:VirtualEntity)
SubClassOf(mv:Avatar mv:Agent)
SubClassOf(mv:Avatar
ObjectExactCardinality(1 mv:represents mv:Agent)
)β‘οΈ Reasoner infers: Avatar β VirtualAgent
DigitalTwin.md - HybridObject
Classification:
owl:physicality:: HybridEntityowl:role:: Objectowl:inferred-class:: mv:HybridObjectβ
Key Properties:
- Binds physical entity to virtual representation
- Synchronizes data in real-time
- Requires IoT sensors and data streams
- Implemented in Infrastructure Layer
OWL Axioms:
Declaration(Class(mv:DigitalTwin))
SubClassOf(mv:DigitalTwin mv:HybridEntity)
SubClassOf(mv:DigitalTwin mv:Object)
SubClassOf(mv:DigitalTwin
ObjectExactCardinality(1 mv:synchronizesWith mv:PhysicalEntity)
)β‘οΈ Reasoner infers: DigitalTwin β HybridObject
VisioningLab/Game Engine.md - VirtualObject
Classification:
owl:physicality:: VirtualEntityowl:role:: Objectowl:inferred-class:: mv:VirtualObjectβ
Key Properties:
- Software platform for real-time 3D experiences
- Has parts: Rendering Pipeline, Physics Engine, Asset Manager
- Belongs to InfrastructureDomain and CreativeMediaDomain
β‘οΈ Reasoner infers: GameEngine β VirtualObject
The ontology includes test cases for:
- β Inference: Avatar β VirtualAgent classification
- β Consistency: Valid Digital Twin with proper bindings
β οΈ Inconsistency Detection: Digital Twin missing required binding- β Disjointness Violation: Entity in both Physical and Virtual
See ValidationTests.md for details.
- Define common vocabulary for cross-platform metaverse systems
- Enable semantic interoperability between virtual worlds
- Support ETSI and ISO metaverse standardization efforts
- Build queryable knowledge base of metaverse concepts
- Link related concepts through formal relationships
- Support semantic search and discovery
- Reference ontology for metaverse platform architects
- Semantic validation of system designs
- Documentation and communication tool for teams
- Classify emerging metaverse technologies
- Track evolution of metaverse concepts over time
- Identify gaps and opportunities in the metaverse stack
- Automatically infer concept classifications
- Detect inconsistencies in system designs
- Validate architectural constraints
| Component | Technology | Purpose |
|---|---|---|
| Ontology Language | OWL 2 DL | Formal knowledge representation |
| Syntax | OWL Functional Syntax | Machine-readable axioms |
| Source Format | Logseq Markdown | Human-readable editing |
| Parser/Validator | horned-owl (Rust) | OWL parsing and validation |
| Reasoner | HermiT, Pellet, whelk-rs | Automatic classification and consistency checking |
| Knowledge Editor | Logseq | Visual outliner for navigation |
| Ontology Viewer | ProtΓ©gΓ© | GUI for visualizing class hierarchy |
| Extraction Tool | Custom Rust tool | Convert Logseq β OWL |
| Version Control | Git + Markdown | Track changes over time |
The logseq-owl-extractor Rust tool provides:
- π Parse Logseq markdown - Extracts properties and OWL blocks from outline format
- π Combine OWL blocks - Assembles axioms from multiple concept files
- ποΈ Build complete ontology - Includes header from OntologyDefinition.md
- β Validate syntax - Uses horned-owl to check OWL 2 DL compliance
- π Convert wikilinks - Transforms
[[Page Name]]tomv:PageNameIRIs - π― Property conversion - Optional conversion of Logseq properties to OWL axioms
- π Two format support - Handles both code fence and direct indented OWL blocks
- π Error reporting - Clear messages for syntax errors with line numbers
Example usage:
logseq-owl-extractor --input . --output ontology.ofn --validateSee logseq-owl-extractor/README.md for full documentation.
Production Ready - Full 281-concept metaverse ontology with OWL 2 DL compliance
| Component | Status |
|---|---|
| Metaverse Concepts | β 281 concepts fully migrated |
| OWL Validation | β Zero errors, OWL 2 DL compliant |
| Multi-format Export | β OWL/XML, Turtle, JSON-LD |
| Visualization | β WebVOWL ready |
| Documentation | β Complete |
Contributions welcome! To add a new concept:
- Use the template: Copy docs/reference/TEMPLATE.md
- Follow exemplars: Study Avatar.md, DigitalTwin.md, or VisioningLab/Game Engine.md
- Classify correctly: Use Physicality Γ Role dimensions (see docs/guides/MIGRATION_GUIDE.md)
- Add metaverseOntology tag: Include
metaverseOntology:: trueproperty - Validate: Run the extractor to check OWL syntax
- Submit PR: Include description of concept and its classification
- Filename matches concept name (spaces OK)
- ### OntologyBlock heading with
collapsed:: true -
metaverseOntology:: trueis first property - Unique term-id assigned
- Clear definition provided
- owl:physicality dimension correct (Physical/Virtual/Hybrid)
- owl:role dimension correct (Agent/Object/Process)
- owl:inferred-class matches physicality + role
- At least one ETSI domain assigned
- OWL Axioms in code fence with ```clojure syntax
- File extracts successfully with logseq-owl-extractor
- Human-readable "About" section included
See docs/reference/TEMPLATE.md for full validation checklist.
- ETSI GR MEC 039: Multi-access Edge Computing (MEC) Framework
- ISO 23247: Automation systems and integration β Digital Twin framework
- Web3D Consortium - H-Anim
- ProtΓ©gΓ© - Ontology editor
- whelk-rs - Fast OWL 2 EL reasoner in Rust
- ROBOT - OWL tool for command line
This project is licensed under the Mozilla Public Licence 2.0. See the LICENSE file for details.
John O'Hare for DreamLab - AI Ltd based on VisioningLab open Metaverse Ontology
- Built with horned-owl by Phillip Lord
- Inspired by the Logseq knowledge management approach
- Aligned with ETSI and ISO metaverse standards
Visualize the Ontology:
- Download metaverse-ontology-webvowl.owl
- Visit WebVOWL
- Upload and explore 281+ metaverse concepts interactively!
Additional Documentation:
- Complete Knowledge Base - Detailed project overview
- Implementation Roadmap - Future enhancements
- Architecture Details - Technical design