UOR Foundation Ontology
Version 0.2.0 — 33 namespaces, 441 classes, 891 properties, 3356 named individuals.
| Prefix | Label | Classes | Properties | Individuals | Space |
|---|---|---|---|---|---|
| u | UOR Content Addressing | 1 | 6 | 0 | kernel |
| schema | UOR Schema | 21 | 32 | 1878 | kernel |
| op | UOR Operations | 19 | 42 | 663 | kernel |
| query | UOR Queries | 7 | 10 | 3 | bridge |
| resolver | UOR Resolvers | 26 | 47 | 8 | bridge |
| type | UOR Type System | 39 | 86 | 17 | user |
| partition | UOR Partitions | 11 | 28 | 0 | bridge |
| observable | UOR Observables | 50 | 57 | 14 | bridge |
| carry | UOR Carry Algebra | 5 | 15 | 0 | kernel |
| homology | UOR Homology | 14 | 35 | 5 | bridge |
| cohomology | UOR Cohomology | 10 | 20 | 4 | bridge |
| proof | UOR Proofs | 16 | 27 | 656 | bridge |
| derivation | UOR Derivations | 8 | 22 | 6 | bridge |
| trace | UOR Computation Traces | 7 | 30 | 7 | bridge |
| cert | UOR Certificates | 13 | 26 | 0 | bridge |
| morphism | UOR Transforms and Morphisms | 20 | 56 | 7 | user |
| state | UOR State | 15 | 43 | 7 | user |
| reduction | UOR Euler Reduction | 38 | 93 | 44 | kernel |
| convergence | UOR Convergence Tower | 5 | 15 | 8 | kernel |
| division | UOR Division Algebras | 5 | 9 | 7 | kernel |
| interaction | UOR Interaction Algebra | 9 | 25 | 0 | bridge |
| monoidal | UOR Monoidal Composition | 3 | 8 | 0 | kernel |
| operad | UOR Operad Composition | 2 | 6 | 0 | kernel |
| effect | UOR Effect Algebra | 9 | 14 | 0 | kernel |
| predicate | UOR Predicates and Dispatch | 9 | 15 | 12 | kernel |
| parallel | UOR Parallel Composition | 5 | 10 | 0 | kernel |
| stream | UOR Productive Streams | 6 | 13 | 0 | kernel |
| failure | UOR Failure Algebra | 12 | 11 | 0 | kernel |
| linear | UOR Linear Resources | 6 | 8 | 0 | kernel |
| recursion | UOR Bounded Recursion | 7 | 10 | 0 | kernel |
| region | UOR Address Regions | 5 | 11 | 0 | kernel |
| boundary | UOR IO Boundary | 8 | 12 | 0 | bridge |
| conformance | UOR Conformance Shapes | 30 | 49 | 10 | bridge |