Class: ReasoningLayerClient

@kortexya/reasoninglayer / ReasoningLayerClient

Class: ReasoningLayerClient

Defined in: src/client.ts:226

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:8083',
  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:545

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:300

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

actions

readonly actions: ActionsClient

Defined in: src/client.ts:392

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

admin

readonly admin: AdminClient

Defined in: src/client.ts:342

Administrative operations (factory reset, tenant listing).

analysis

readonly analysis: AnalysisClient

Defined in: src/client.ts:321

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

causal

readonly causal: CausalClient

Defined in: src/client.ts:258

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

cdl

readonly cdl: CdlClient

Defined in: src/client.ts:315

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

cognitive

readonly cognitive: CognitiveClient

Defined in: src/client.ts:240

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

collections

readonly collections: CollectionsClient

Defined in: src/client.ts:252

Collection operations (CRUD, tagging).

communities

readonly communities: CommunitiesClient

Defined in: src/client.ts:291

Community detection operations (detect, memberships, search).

compliance

readonly compliance: ComplianceClient

Defined in: src/client.ts:386

Hash-chained audit ledger and prediction-snapshot validation.

complianceMarkings

readonly complianceMarkings: ComplianceMarkingsClient

Defined in: src/client.ts:395

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

constraints

readonly constraints: ConstraintsClient

Defined in: src/client.ts:246

Constraint operations (arithmetic solving, graph visualization).

context

readonly context: ContextClient

Defined in: src/client.ts:377

Knowledge graph context assembly operations (LLM prompt building).

control

readonly control: ControlClient

Defined in: src/client.ts:279

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

conversation

readonly conversation: ConversationClient

Defined in: src/client.ts:369

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

discovery

readonly discovery: DiscoveryClient

Defined in: src/client.ts:303

Causal discovery operations (effect discovery, prediction).

documents

readonly documents: DocumentsClient

Defined in: src/client.ts:309

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

execution

readonly execution: ExecutionClient

Defined in: src/client.ts:255

Execution session operations (backtracking, goal stack).

extract

readonly extract: ExtractClient

Defined in: src/client.ts:306

Entity extraction operations.

feasibility

readonly feasibility: FeasibilityClient

Defined in: src/client.ts:398

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

flowNetworks

readonly flowNetworks: FlowNetworksClient

Defined in: src/client.ts:363

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

functions

readonly functions: FunctionsClient

Defined in: src/client.ts:327

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

fuzzy

readonly fuzzy: FuzzyClient

Defined in: src/client.ts:243

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

generation

readonly generation: GenerationClient

Defined in: src/client.ts:351

Evidence-grounded document generation operations.

health

readonly health: HealthClient

Defined in: src/client.ts:339

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

ilp

readonly ilp: IlpClient

Defined in: src/client.ts:270

Inductive logic programming operations (pattern learning, synthesis).

imageExtraction

readonly imageExtraction: ImageExtractionClient

Defined in: src/client.ts:345

Image-based concept extraction operations (vision LLM).

inference

readonly inference: InferenceClient

Defined in: src/client.ts:234

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

ingestion

readonly ingestion: IngestionClient

Defined in: src/client.ts:261

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

namespaces

readonly namespaces: NamespacesClient

Defined in: src/client.ts:249

Namespace operations (hierarchy, imports, metadata).

neuroSymbolic

readonly neuroSymbolic: NeuroSymbolicClient

Defined in: src/client.ts:318

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

ontology

readonly ontology: OntologyClient

Defined in: src/client.ts:348

Ontology generation operations (LLM-powered scenario generation).

ontologyAlignment

readonly ontologyAlignment: OntologyAlignmentClient

Defined in: src/client.ts:404

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

ontologyBridge

readonly ontologyBridge: OntologyBridgeClient

Defined in: src/client.ts:410

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

ontologyFacade

readonly ontologyFacade: OntologyFacadeClient

Defined in: src/client.ts:407

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

operations

readonly operations: OperationsClient

Defined in: src/client.ts:389

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

optimize

readonly optimize: OptimizeClient

Defined in: src/client.ts:357

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

osfql

readonly osfql: OsfqlClient

Defined in: src/client.ts:366

OSFQL execution operations.

oversight

readonly oversight: OversightClient

Defined in: src/client.ts:312

FormalJudge oversight operations (safety verification, refinement).

preferences

readonly preferences: PreferencesClient

Defined in: src/client.ts:324

Bayesian preference learning operations (selection recording, prediction).

proofEngine

readonly proofEngine: ProofEngineClient

Defined in: src/client.ts:336

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

query

readonly query: QueryClient

Defined in: src/client.ts:237

Query operations (unification, structured search, validation).

rag

readonly rag: RagClient

Defined in: src/client.ts:354

Ontology RAG operations (embedding search + feature unification).

reasoning

readonly reasoning: ReasoningClient

Defined in: src/client.ts:273

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

research

readonly research: ResearchClient

Defined in: src/client.ts:375

Verified scientific research pipeline operations.

reviews

readonly reviews: ReviewsClient

Defined in: src/client.ts:264

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

rlTraining

readonly rlTraining: RlTrainingClient

Defined in: src/client.ts:380

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

row

readonly row: RowClient

Defined in: src/client.ts:285

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

scenarios

readonly scenarios: ScenariosClient

Defined in: src/client.ts:297

Scenario operations (CRUD, verification).

scheduling

readonly scheduling: SchedulingClient

Defined in: src/client.ts:360

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

solver

readonly solver: SolverClient

Defined in: src/client.ts:401

External constraint solver — classify and solve generic optimization problems.

sorts

readonly sorts: SortsClient

Defined in: src/client.ts:228

Sort (type hierarchy) operations.

sources

readonly sources: SourcesClient

Defined in: src/client.ts:288

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

spaces

readonly spaces: SpacesClient

Defined in: src/client.ts:282

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

statistical

readonly statistical: StatisticalClient

Defined in: src/client.ts:276

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

synthetic

readonly synthetic: SyntheticClient

Defined in: src/client.ts:333

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

terms

readonly terms: TermsClient

Defined in: src/client.ts:231

Psi-term CRUD operations.

ui

readonly ui: UiClient

Defined in: src/client.ts:383

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

utilities

readonly utilities: UtilitiesClient

Defined in: src/client.ts:294

Utility operations (strings, arithmetic, copy).

verification

readonly verification: VerificationClient

Defined in: src/client.ts:372

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

visualization

readonly visualization: VisualizationClient

Defined in: src/client.ts:267

Visualization operations (lattice, hypergraph, residuation state).

webhookActions

readonly webhookActions: WebhookActionsClient

Defined in: src/client.ts:330

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

Accessors

agents

Get Signature

get agents(): CognitiveClient

Defined in: src/client.ts:446

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

Returns

CognitiveClient

ai

Get Signature

get ai(): AiGroup

Defined in: src/client.ts:463

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:493

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

Returns

AnalysisGroup

core

Get Signature

get core(): CoreGroup

Defined in: src/client.ts:451

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

Returns

CoreGroup

data

Get Signature

get data(): DataGroup

Defined in: src/client.ts:505

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

Returns

DataGroup

reasoningOps

Get Signature

get reasoningOps(): ReasoningGroup

Defined in: src/client.ts:478

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:434

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:440

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:527

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

Returns

SystemGroup

types

Get Signature

get types(): SortsClient

Defined in: src/client.ts:428

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:517

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

Returns

WorkflowGroup