Class: ReasoningLayerClient

@kortexya/reasoninglayer / ReasoningLayerClient

Class: ReasoningLayerClient

Defined in: src/client.ts:307

Main client for the Reasoning Layer API.

Provides access to all resource clients through a shared HTTP connection with configured authentication, retry, and timeout behavior.

Example

import { ReasoningLayerClient } from '@kortexya/reasoning-layer';

const client = new ReasoningLayerClient({
  baseUrl: 'http://localhost:8085',
  tenantId: 'my-tenant-uuid',
});

const sort = await client.sorts.createSort({ name: 'employee' });
const term = await client.terms.createTerm({ sort_id: sort.id, features: {} });

Constructors

Constructor

new ReasoningLayerClient(config): ReasoningLayerClient

Defined in: src/client.ts:736

Create a new ReasoningLayerClient.

Parameters

config

ClientConfig

Client configuration. At minimum, baseUrl and tenantId are required.

Returns

ReasoningLayerClient

Throws

If baseUrl or tenantId is missing.

Properties

actionReviews

readonly actionReviews: ActionReviewsClient

Defined in: src/client.ts:381

Action review operations (approve, reject, modify autonomous actions).

actions

readonly actions: ActionsClient

Defined in: src/client.ts:473

Typed-action engine — apply a typed action transactionally with multi-term edits.

admin

readonly admin: AdminClient

Defined in: src/client.ts:423

Administrative operations (factory reset, tenant listing).

agui

readonly agui: AguiClient

Defined in: src/client.ts:548

AG-UI protocol — streaming agent runs as Server-Sent AG-UI events.

analysis

readonly analysis: AnalysisClient

Defined in: src/client.ts:402

Analysis and FCA operations (sort discovery, attribute exploration).

anonymization

readonly anonymization: AnonymizationClient

Defined in: src/client.ts:572

GDPR/HIPAA batch anonymization (k-anonymity or Safe Harbor).

authz

readonly authz: AuthzClient

Defined in: src/client.ts:542

Authorization policy dry-run — decide an action without enforcing it.

causal

readonly causal: CausalClient

Defined in: src/client.ts:339

Causal reasoning operations (Pearl’s hierarchy, interventions, counterfactuals).

cdl

readonly cdl: CdlClient

Defined in: src/client.ts:396

Categorical Deep Learning operations (differentiable FC, soft unification, safety).

chase

readonly chase: ChaseClient

Defined in: src/client.ts:518

Existential-rule (TGD) chase — fixpoint materialization with fresh witnesses.

cluster

readonly cluster: ClusterClient

Defined in: src/client.ts:530

Cluster-internal anti-entropy signalling (operational endpoint).

cognitive

readonly cognitive: CognitiveClient

Defined in: src/client.ts:321

Cognitive agent operations (BDI cycle, beliefs, goals, messaging).

coherence

readonly coherence: CoherenceClient

Defined in: src/client.ts:539

Coherence analysis over a document’s claims (certifying verdict with clash witnesses).

collections

readonly collections: CollectionsClient

Defined in: src/client.ts:333

Collection operations (CRUD, tagging).

communities

readonly communities: CommunitiesClient

Defined in: src/client.ts:372

Community detection operations (detect, memberships, search).

compliance

readonly compliance: ComplianceClient

Defined in: src/client.ts:467

Hash-chained audit ledger and prediction-snapshot validation.

complianceMarkings

readonly complianceMarkings: ComplianceMarkingsClient

Defined in: src/client.ts:476

Classification/clearance gating over the marking lattice (compliance markings).

conformal

readonly conformal: ConformalClient

Defined in: src/client.ts:566

Split-conformal prediction — calibrate a non-conformity threshold, then predict with coverage certificates.

conformance

readonly conformance: ConformanceClient

Defined in: src/client.ts:521

Ontology conformance checking and repair (rdfs:domain / rdfs:range axioms).

connectors

readonly connectors: ConnectorsClient

Defined in: src/client.ts:581

External data connectors — register / list / remove / connect / disconnect + OAuth callback.

constraints

readonly constraints: ConstraintsClient

Defined in: src/client.ts:327

Constraint operations (arithmetic solving, graph visualization).

context

readonly context: ContextClient

Defined in: src/client.ts:458

Knowledge graph context assembly operations (LLM prompt building).

control

readonly control: ControlClient

Defined in: src/client.ts:360

Proof control operations (cut, findall, forall, NAF, conditionals).

conversation

readonly conversation: ConversationClient

Defined in: src/client.ts:450

Conversational AI operations (NL → OSFQL with self-correction).

corpus

readonly corpus: CorpusClient

Defined in: src/client.ts:509

Cross-document corpus analysis — bridges, communities, cross-cutting concerns.

demo

readonly demo: DemoClient

Defined in: src/client.ts:554

Demo substrate seeding — full SUMO + demo scenarios into the tenant substrate.

discovery

readonly discovery: DiscoveryClient

Defined in: src/client.ts:384

Causal discovery operations (effect discovery, prediction).

dl

readonly dl: DlClient

Defined in: src/client.ts:533

ALC Description Logic reasoning (concept satisfiability and subsumption).

documentCheck

readonly documentCheck: DocumentCheckClient

Defined in: src/client.ts:506

Contract correctness checking — extract, then analyze the OSF diff against references.

documents

readonly documents: DocumentsClient

Defined in: src/client.ts:390

Document compliance analysis (check document content against KB rules).

execution

readonly execution: ExecutionClient

Defined in: src/client.ts:336

Execution session operations (backtracking, goal stack).

extract

readonly extract: ExtractClient

Defined in: src/client.ts:387

Entity extraction operations.

feasibility

readonly feasibility: FeasibilityClient

Defined in: src/client.ts:479

Interactive constraint-model feasibility sessions (assume/retract with trichotomy classification).

flowNetworks

readonly flowNetworks: FlowNetworksClient

Defined in: src/client.ts:444

Generic flow-network resource: max-flow, min-cost max-flow, edge classification, min-cut over a persisted graph.

forecast

readonly forecast: ForecastClient

Defined in: src/client.ts:527

Certified forecasting over registered prediction domains (committed forecasts, abstention).

functions

readonly functions: FunctionsClient

Defined in: src/client.ts:408

LIFE-style user-defined function operations (register, evaluate).

fuzzy

readonly fuzzy: FuzzyClient

Defined in: src/client.ts:324

Fuzzy operations (unification, merge, subsumption, top-K search).

generation

readonly generation: GenerationClient

Defined in: src/client.ts:432

Evidence-grounded document generation operations.

guardrail

readonly guardrail: GuardrailClient

Defined in: src/client.ts:545

Hallucination guardrail — claim decomposition and certification against the knowledge base.

health

readonly health: HealthClient

Defined in: src/client.ts:420

Health check operations (status, components, build info).

ilp

readonly ilp: IlpClient

Defined in: src/client.ts:351

Inductive logic programming operations (pattern learning, synthesis).

imageExtraction

readonly imageExtraction: ImageExtractionClient

Defined in: src/client.ts:426

Image-based concept extraction operations (vision LLM).

inference

readonly inference: InferenceClient

Defined in: src/client.ts:315

Inference engine operations (backward/forward chaining, fuzzy, Bayesian, NAF).

ingestion

readonly ingestion: IngestionClient

Defined in: src/client.ts:342

Data ingestion operations (documents, markdown, RDF, session management).

ltn

readonly ltn: LtnClient

Defined in: src/client.ts:536

Logic Tensor Networks — fuzzy query, refutation, and predicate training.

marketplace

readonly marketplace: MarketplaceClient

Defined in: src/client.ts:494

Declarative plugin marketplace — catalog, publishing, installs, upgrades, yanks.

namespaces

readonly namespaces: NamespacesClient

Defined in: src/client.ts:330

Namespace operations (hierarchy, imports, metadata).

neuroSymbolic

readonly neuroSymbolic: NeuroSymbolicClient

Defined in: src/client.ts:399

Neuro-symbolic operations (training, embeddings, diagnostics).

ontology

readonly ontology: OntologyClient

Defined in: src/client.ts:429

Ontology generation operations (LLM-powered scenario generation).

ontologyAlignment

readonly ontologyAlignment: OntologyAlignmentClient

Defined in: src/client.ts:485

Ontology alignment to the upper ontology (BFO-2020).

ontologyBridge

readonly ontologyBridge: OntologyBridgeClient

Defined in: src/client.ts:491

Ontology bridge — OSF↔SQL bindings, OWL/Foundry import, OSFQL→SQL transpilation.

ontologyExport

readonly ontologyExport: OntologyExportClient

Defined in: src/client.ts:551

Ontology export — OWL ontology and SHACL shapes projected from the sort lattice.

ontologyFacade

readonly ontologyFacade: OntologyFacadeClient

Defined in: src/client.ts:488

Ontology facade — project object/link/interface/function/action types from the sort hierarchy.

operations

readonly operations: OperationsClient

Defined in: src/client.ts:470

Low-level term-graph operations (anti-unification / LGG).

optimize

readonly optimize: OptimizeClient

Defined in: src/client.ts:438

Linear program optimization (CLP(Q) simplex solver via backward chaining).

osfDiff

readonly osfDiff: OsfDiffClient

Defined in: src/client.ts:503

OSF structural diffing (terms, sequences, temporal snapshots, documents).

osfql

readonly osfql: OsfqlClient

Defined in: src/client.ts:447

OSFQL execution operations.

oversight

readonly oversight: OversightClient

Defined in: src/client.ts:393

FormalJudge oversight operations (safety verification, refinement).

preferences

readonly preferences: PreferencesClient

Defined in: src/client.ts:405

Bayesian preference learning operations (selection recording, prediction).

proofEngine

readonly proofEngine: ProofEngineClient

Defined in: src/client.ts:417

Proof engine operations (term store, rule store, built-in evaluation).

propertyGraph

readonly propertyGraph: PropertyGraphClient

Defined in: src/client.ts:497

Property-graph compatibility (GQL, Cypher, Gremlin) lowered to OSFQL.

query

readonly query: QueryClient

Defined in: src/client.ts:318

Query operations (unification, structured search, validation).

rag

readonly rag: RagClient

Defined in: src/client.ts:435

Ontology RAG operations (embedding search + feature unification).

reasoning

readonly reasoning: ReasoningClient

Defined in: src/client.ts:354

Advanced reasoning operations (entailment, subsumption, resource coordination).

research

readonly research: ResearchClient

Defined in: src/client.ts:456

Verified scientific research pipeline operations.

reviews

readonly reviews: ReviewsClient

Defined in: src/client.ts:345

Human-in-the-loop review operations (approve, reject, merge, re-extract).

reward

readonly reward: RewardClient

Defined in: src/client.ts:557

Execution-free reward scoring for candidate queries (recall / precision).

rlTraining

readonly rlTraining: RlTrainingClient

Defined in: src/client.ts:461

Reinforcement learning training operations (standalone and cognitive-RL).

row

readonly row: RowClient

Defined in: src/client.ts:366

Row polymorphism operations (schema-flexible search, unification, integration).

sat

readonly sat: SatClient

Defined in: src/client.ts:512

Native CDCL SAT solver (CNF satisfiability, models, unsat cores).

scenarios

readonly scenarios: ScenariosClient

Defined in: src/client.ts:378

Scenario operations (CRUD, verification).

scheduling

readonly scheduling: SchedulingClient

Defined in: src/client.ts:441

Scheduling feasibility via capacitated bipartite b-matching (staff rostering, assignment problems).

smt

readonly smt: SmtClient

Defined in: src/client.ts:515

Native DPLL(T) SMT solver over the EUF theory (equality with uninterpreted functions).

solver

readonly solver: SolverClient

Defined in: src/client.ts:482

External constraint solver — classify and solve generic optimization problems.

sorts

readonly sorts: SortsClient

Defined in: src/client.ts:309

Sort (type hierarchy) operations.

sources

readonly sources: SourcesClient

Defined in: src/client.ts:369

Data source operations (register, discover schema, ingest).

spaces

readonly spaces: SpacesClient

Defined in: src/client.ts:363

Computation space operations (create, clone, commit, search).

sparql

readonly sparql: SparqlClient

Defined in: src/client.ts:500

SPARQL 1.1 query and update over the OSF knowledge base.

speakers

readonly speakers: SpeakersClient

Defined in: src/client.ts:575

Speaker voiceprint enrollment + listing.

speech

readonly speech: SpeechClient

Defined in: src/client.ts:578

Speech synthesis / transcription / voice cloning + realtime session setup.

statistical

readonly statistical: StatisticalClient

Defined in: src/client.ts:357

Statistical analysis operations (correlation, causal discovery, independence tests).

streaming

readonly streaming: StreamingClient

Defined in: src/client.ts:563

Probabilistic streaming sketches (Count-Min frequency, Misra-Gries heavy hitters, Bloom membership).

synthetic

readonly synthetic: SyntheticClient

Defined in: src/client.ts:414

Synthetic data generation operations (generate, calibrate, verbalize, verify).

temporal

readonly temporal: TemporalClient

Defined in: src/client.ts:524

Temporal reasoning — CTL model checking and time-series derivation over terms.

terms

readonly terms: TermsClient

Defined in: src/client.ts:312

Psi-term CRUD operations.

translation

readonly translation: TranslationClient

Defined in: src/client.ts:560

Language translation (text → target language, markdown preserved).

ui

readonly ui: UiClient

Defined in: src/client.ts:464

Sort-driven UI descriptor operations (describe, action, catalog).

utilities

readonly utilities: UtilitiesClient

Defined in: src/client.ts:375

Utility operations (strings, arithmetic, copy).

verification

readonly verification: VerificationClient

Defined in: src/client.ts:453

Validity-certificate lookup (per-answer soundness seals).

vision

readonly vision: VisionClient

Defined in: src/client.ts:569

Video-clip encoding (V-JEPA substrate; per-frame predicted-sort labels).

visualization

readonly visualization: VisualizationClient

Defined in: src/client.ts:348

Visualization operations (lattice, hypergraph, residuation state).

webhookActions

readonly webhookActions: WebhookActionsClient

Defined in: src/client.ts:411

Webhook-based external action operations (register, invoke, complete, list).

Accessors

agents

Get Signature

get agents(): CognitiveClient

Defined in: src/client.ts:617

Cognitive agent operations (BDI cycle, beliefs, goals, messaging). Alias for cognitive.

Returns

CognitiveClient

ai

Get Signature

get ai(): AiGroup

Defined in: src/client.ts:636

AI and machine learning operations — agents, oversight, neuro-symbolic, RAG, generation, context, RL training.

Returns

AiGroup

analysisOps

Get Signature

get analysisOps(): AnalysisGroup

Defined in: src/client.ts:674

Analysis operations — causal, statistical, fuzzy, scenarios, communities, visualization.

Returns

AnalysisGroup

core

Get Signature

get core(): CoreGroup

Defined in: src/client.ts:622

Core knowledge base operations — types, records, rules, functions, constraints, and queries.

Returns

CoreGroup

data

Get Signature

get data(): DataGroup

Defined in: src/client.ts:691

Data ingestion and extraction operations — documents, sources, collections, images.

Returns

DataGroup

reasoningOps

Get Signature

get reasoningOps(): ReasoningGroup

Defined in: src/client.ts:653

Advanced reasoning operations — optimization, ILP, CDL, execution, preferences, discovery, scheduling, flow networks.

Returns

ReasoningGroup

records

Get Signature

get records(): TermsClient

Defined in: src/client.ts:605

Record CRUD operations. Alias for terms — “term” is logic programming jargon for a data record.

Returns

TermsClient

rules

Get Signature

get rules(): InferenceClient

Defined in: src/client.ts:611

Rule and fact operations (backward/forward chaining, fuzzy, Bayesian, NAF). Alias for inference.

Returns

InferenceClient

system

Get Signature

get system(): SystemGroup

Defined in: src/client.ts:714

System administration — health, admin, spaces, namespaces, utilities, ontology, snapshots.

Returns

SystemGroup

types

Get Signature

get types(): SortsClient

Defined in: src/client.ts:599

Type hierarchy operations. Alias for sorts — “sort” is domain jargon for “type” in order-sorted algebras.

Returns

SortsClient

workflow

Get Signature

get workflow(): WorkflowGroup

Defined in: src/client.ts:704

Workflow operations — control flow, reviews, action reviews, webhooks.

Returns

WorkflowGroup