This repository contains the Structural Ontology of Law (SOoL) and its associated tools, diagrams, and ontological artifacts. SOoL is a realist, structural framework for understanding law as a system of relations, roles, obligations, and institutional processes rather than merely a collection of rules or norms.

The materials here support research, teaching, and computational modeling of legal systems, and serve as the technical companion to the book project The Architecture of Justice / The Ontology of Law.

SOoL provides:

• A formal ontology of law grounded in Basic Formal Ontology (BFO)
• A structural account of legal obligation, authority, and contradiction
• Visual and computational tools for analyzing legal coherence and failure
• A foundation for IRAC+, contradiction diagnostics, and computable legal reasoning

The aim is not to replace doctrine or jurisprudence, but to make the structure of legal systems explicit, inspectable, and testable.

/
├── IRACplus/
│   ├── Structural legal reasoning tools
│   ├── Minimum Legal Chain models
│   └── Contradiction diagnostics
│
├── SOoL-structural-toolkit/
│   ├── Visual explainers
│   ├── Diagrams and reference cards
│   └── Educational and analytic utilities
│
├── SOL.owl
├── SOoLKernelOntology.owl
│   └── Core OWL ontologies for the Structural Ontology of Law
│
├── *.svg / *.png
│   └── Canonical diagrams (legal chain, contradiction square, role structure)
│
├── *.pdf
│   └── Reference sheets and teaching aids
│
├── *.xlsx
│   └── Mapping tables for crimes, torts, and constitutional violations
│
└── README.md