UOR Derivations

IRI: https://uor.foundation/derivation/
Prefix: derivation:
Space: bridge
Comment: Computation witnesses recording term rewriting sequences from original terms to their canonical forms.

Imports

https://uor.foundation/schema/
https://uor.foundation/op/

Classes

Name	IRI	Subclass Of	Disjoint With	Comment
Derivation	`https://uor.foundation/derivation/Derivation`	`http://www.w3.org/2002/07/owl#Thing`		A complete term rewriting witness: the full sequence of rewrite steps transforming an original term into its canonical form.
RewriteStep	`https://uor.foundation/derivation/RewriteStep`	`http://www.w3.org/2002/07/owl#Thing`		A single rewrite step in a derivation: the application of one rewrite rule to transform a term.
TermMetrics	`https://uor.foundation/derivation/TermMetrics`	`http://www.w3.org/2002/07/owl#Thing`		Metrics describing the size and complexity of a term.

Properties

Name	Kind	Functional	Domain	Range	Comment
originalTerm	Object	true	`https://uor.foundation/derivation/Derivation`	`https://uor.foundation/schema/Term`	The term at the start of the derivation, before any rewriting.
canonicalTerm	Object	true	`https://uor.foundation/derivation/Derivation`	`https://uor.foundation/schema/Term`	The canonical form produced at the end of the derivation.
result	Object	true	`https://uor.foundation/derivation/Derivation`	`https://uor.foundation/schema/Datum`	The datum value obtained by evaluating the canonical term.
step	Object	false	`https://uor.foundation/derivation/Derivation`	`https://uor.foundation/derivation/RewriteStep`	A rewrite step in this derivation.
termMetrics	Object	true	`https://uor.foundation/derivation/Derivation`	`https://uor.foundation/derivation/TermMetrics`	Metrics for the canonical term produced by this derivation.
from	Object	true	`https://uor.foundation/derivation/RewriteStep`	`https://uor.foundation/schema/Term`	The term before this rewrite step.
to	Object	true	`https://uor.foundation/derivation/RewriteStep`	`https://uor.foundation/schema/Term`	The term after this rewrite step.
rule	Datatype	true	`https://uor.foundation/derivation/RewriteStep`	`http://www.w3.org/2001/XMLSchema#string`	The rewrite rule applied in this step (e.g., 'critical_identity', 'involution', 'associativity').
stepCount	Datatype	true	`https://uor.foundation/derivation/TermMetrics`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The total number of rewrite steps in this derivation.
termSize	Datatype	true	`https://uor.foundation/derivation/TermMetrics`	`http://www.w3.org/2001/XMLSchema#nonNegativeInteger`	The number of nodes in the canonical term's syntax tree.