UOR Foundation Ontology

Version 0.5.2 — 34 namespaces, 474 classes, 947 properties, 3601 named individuals.

Prefix	Label	Classes	Properties	Individuals	Space
u	UOR Content Addressing	1	6	0	kernel
schema	UOR Schema	22	35	1974	kernel
op	UOR Operations	19	43	696	kernel
query	UOR Queries	7	10	3	bridge
resolver	UOR Resolvers	32	50	13	bridge
type	UOR Type System	36	93	31	user
partition	UOR Partitions	15	33	4	bridge
foundation	UOR Foundation Layout Invariants	1	1	4	bridge
observable	UOR Observables	57	58	14	bridge
carry	UOR Carry Algebra	6	15	0	kernel
homology	UOR Homology	14	35	5	bridge
cohomology	UOR Cohomology	10	20	4	bridge
proof	UOR Proofs	17	30	678	bridge
derivation	UOR Derivations	12	27	6	bridge
trace	UOR Computation Traces	8	30	7	bridge
cert	UOR Certificates	18	32	0	bridge
morphism	UOR Transforms and Morphisms	20	56	11	user
state	UOR State	15	45	7	user
reduction	UOR Euler Reduction	41	101	62	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	18	19	kernel
parallel	UOR Parallel Composition	5	12	0	kernel
stream	UOR Productive Streams	6	15	0	kernel
failure	UOR Failure Algebra	12	11	0	kernel
linear	UOR Linear Resources	6	9	0	kernel
recursion	UOR Bounded Recursion	7	10	0	kernel
region	UOR Address Regions	5	11	0	kernel
boundary	UOR IO Boundary	8	10	0	bridge
conformance	UOR Conformance Shapes	32	54	48	bridge