UOR Queries
- IRI
https://uor.foundation/query/- Prefix
query:- Space
- bridge
- Comment
- Information extraction queries. Users initiate queries; the kernel resolves them against the ring substrate.
Imports
https://uor.foundation/schema/https://uor.foundation/u/https://uor.foundation/type/https://uor.foundation/partition/https://uor.foundation/morphism/https://uor.foundation/state/
Classes
| Name | IRI | Subclass Of | Disjoint With | Comment |
|---|---|---|---|---|
| Query | https://uor.foundation/query/Query | http://www.w3.org/2002/07/owl#Thing | A request for information from the UOR kernel. The root abstraction for all query types. | |
| CoordinateQuery | https://uor.foundation/query/CoordinateQuery | https://uor.foundation/query/Query | A query for the ring-coordinate position of a datum: its stratum, spectrum, and address within the ring geometry. | |
| MetricQuery | https://uor.foundation/query/MetricQuery | https://uor.foundation/query/Query | A query for a metric value between two datums: ring distance, Hamming distance, or their divergence (curvature). | |
| RepresentationQuery | https://uor.foundation/query/RepresentationQuery | https://uor.foundation/query/Query | A query for the canonical representation of a datum or term: its normal form under the active resolver strategy. | |
| RelationQuery | https://uor.foundation/query/RelationQuery | https://uor.foundation/query/Query | A Query with a known source address, a typed relation constraint, and an open target partition:FreeRank. Represents any question of the form: given this source symbol and relation type, what is the target? The relation type is read from the observable coordinate triple (d_R, d_H, d_I) — not externally supplied. Applies across NLP, ARC-AGI grids, music, images, sensor streams, and logical formulae. | |
| TriadProjection | https://uor.foundation/query/TriadProjection | http://www.w3.org/2002/07/owl#Thing | A classification of coordinate types that a CoordinateQuery can extract. Each TriadProjection individual names a specific coordinate system (stratum, spectrum, address) replacing the string-valued query:coordinate property. | |
| SessionQuery | https://uor.foundation/query/SessionQuery | https://uor.foundation/query/RelationQuery | A RelationQuery that explicitly declares its session membership, allowing the conformance suite to validate session-scoped site reduction across multi-turn Prism deployments. |
Properties
| Name | Kind | Functional | Domain | Range | Comment |
|---|---|---|---|---|---|
| inputType | Object | true | https://uor.foundation/query/Query | http://www.w3.org/2002/07/owl#Class | The type of input the query accepts. |
| outputType | Object | true | https://uor.foundation/query/Query | http://www.w3.org/2002/07/owl#Class | The type of output the query produces. |
| hasTriadProjection | Object | true | https://uor.foundation/query/CoordinateQuery | https://uor.foundation/query/TriadProjection | The typed coordinate kind this query extracts. Replaces the string-valued query:coordinate property with a typed reference to a TriadProjection individual. |
| sourceAddress | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/u/Element | The ring address of the grounded source symbol. |
| relationType | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/type/Constraint | The transformation type, expressed as a type:CompositeConstraint composed from the primitive basis. At inference time this is the output of an observable coordinate read on example pairs — computed from (d_R, d_H, d_I). Not an externally supplied input; read from the representation space. |
| targetSite | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/partition/FreeRank | The open site budget for the unknown target. Begins fully free; closes to isClosed = true upon resolution. |
| groundingMap | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/morphism/GroundingMap | The GroundingMap that resolved the source symbol to its ring address. |
| projectionMap | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/morphism/ProjectionMap | The ProjectionMap that will render the resolved address neighbourhood back to surface symbols. |
| sessionContext | Object | true | https://uor.foundation/query/RelationQuery | https://uor.foundation/state/Context | Accumulated session state carrying all state:Binding instances produced by prior queries. Each binding records a resolved address, its datum, and the type under which it was resolved. Prior bindings monotonically reduce the free site space for subsequent queries. |
| sessionMembership | Object | true | https://uor.foundation/query/SessionQuery | https://uor.foundation/state/Session | The session this query belongs to. |
Named Individuals
| Name | Type | Properties | Comment |
|---|---|---|---|
| TwoAdicValuation | https://uor.foundation/query/TriadProjection | — | The stratum coordinate: the layer position of a datum within the ring's stratification. |
| WalshHadamardImage | https://uor.foundation/query/TriadProjection | — | The spectrum coordinate: the spectral decomposition of a datum under the ring's Fourier analysis. |
| RingElement | https://uor.foundation/query/TriadProjection | — | The address coordinate: the content-addressable position of a datum in the Braille glyph encoding. |