Skip to content
Reasoning Layer SDK
Search
Ctrl
K
Cancel
Select theme
Dark
Light
Auto
Select language
English
Français
Getting Started
Installation
Quick Start
Configuration
Concepts
What is the Reasoning Layer?
Sorts and Hierarchy
Psi-Terms and Features
Unification
Values and Formats
Inference
Recursive Rules
Homoiconicity
Open-World Reasoning
Constraint Programming
Fuzzy Logic Fundamentals
Cognitive Agents and BDI
Oversight
Error Handling
Builders
Guides
Creating Sorts
Working with Terms
Running Inference
Querying Data
Constrained Variables
Cognitive Agents
Causal Reasoning
Fuzzy Logic
Optimization
Scheduling
Flow Networks
Workshop
Instructor Guide
Setup
Exercises
Slides (Fullscreen)
Tutorials
Clinical Trial Knowledge Graph
Loan Approval Engine
Incident Response Agent
API Reference
@kortexya/reasoninglayer
@kortexya
namespaces
ActionReviews
interfaces
Interface: ActionReviewResponse
Interface: ActionReviewSummaryDto
Interface: ApproveActionRequest
Interface: BulkActionReviewResponse
Interface: BulkApproveActionsRequest
Interface: BulkRejectActionsRequest
Interface: FailedReviewDto
Interface: ListActionReviewsResponse
Interface: ModifyActionRequest
Interface: PendingActionReviewDto
Interface: RejectActionRequest
type-aliases
Type Alias: ActionReviewReasonDto
Type Alias: ActionReviewStatusDto
ActionReviews
Actions
interfaces
Interface: ActionSideEffect
Interface: ActionTypeDef
Interface: ApplyActionRequest
Interface: ParamSpec
type-aliases
Type Alias: ActionParamRule
Type Alias: ApplyActionResponse
Type Alias: TermEdit
Actions
Admin
interfaces
Interface: ClearTenantResponse
Interface: CreateTenantRequest
Interface: CreateTenantResponse
Interface: FactoryResetResponse
Interface: ListTenantsResponse
Interface: TenantInfoDto
Admin
Agui
interfaces
Interface: AguiContextItem
Interface: AguiEvent
Interface: AguiFunctionCall
Interface: AguiMessage
Interface: AguiRunOptions
Interface: AguiTool
Interface: AguiToolCall
Interface: RunAgentRequest
type-aliases
Type Alias: AguiRole
Agui
Analysis
interfaces
Interface: ConfirmResponse
Interface: ExplorationCompleteResponse
Interface: ExplorationProgress
Interface: ExplorationQuestion
Interface: ExplorationStatusResponse
Interface: FuzzyConceptLevel
Interface: Implication
Interface: RefuteRequest
Interface: RefuteResponse
Interface: SortDiscoveryRequest
Interface: SortDiscoveryResponse
Interface: SortRecommendation
Interface: StartExplorationRequest
Interface: StartExplorationResponse
Analysis
Anonymization
interfaces
Interface: AnonymizeRequest
Interface: AnonymizeResponse
Interface: EquivalenceClass
Interface: KAnonymityResult
Interface: KAnonymityViolation
Interface: RecordSafeHarborStatus
Interface: SafeHarborSummary
type-aliases
Type Alias: AnonymizationMode
Type Alias: EnforcementStrategy
Type Alias: HipaaIdentifier
Type Alias: QuasiIdentifier
Anonymization
Authz
interfaces
Interface: AuthzDryRunRequest
Interface: AuthzDryRunResponse
type-aliases
Type Alias: AuthzAction
Type Alias: AuthzEffect
Authz
Causal
interfaces
Interface: ActValueDto
Interface: AddCausalRelationRequest
Interface: AddCausalRelationResponse
Interface: AssignmentRowDto
Interface: AssumptionAuditRequest
Interface: AssumptionAuditResponse
Interface: AteEstimateRequest
Interface: AteEstimateResponse
Interface: AuditedAssumptionDto
Interface: CategoryProbabilityDto
Interface: CausalActionSpecDto
Interface: CausalAnalyzeAssumptionsDto
Interface: CausalAnalyzeDataDto
Interface: CausalAnalyzeIndependenceTestDto
Interface: CausalAnalyzePolicyDto
Interface: CausalAnalyzeQuestionDto
Interface: CausalAnalyzeRegressionDto
Interface: CausalAnalyzeRequest
Interface: CausalAncestorRequest
Interface: CausalAncestorResponse
Interface: CausalAssumptionDto
Interface: CausalChainDto
Interface: CausalDecisionSpecDto
Interface: CausalDerivationStepDto
Interface: CausalEdgeDto
Interface: CausalHedgeDto
Interface: CausalProofTreeDto
Interface: CausalRelationshipDto
Interface: CausationProbabilitiesRequest
Interface: CausationProbabilitiesResponse
Interface: CausesRequest
Interface: CausesResponse
Interface: ClusteredAteRequest
Interface: ClusteredObservationDto
Interface: ContinuousMediationObservationDto
Interface: ContinuousObservationDto
Interface: ContinuousTreatmentObservationDto
Interface: CounterfactualRequest
Interface: CounterfactualResponse
Interface: CounterfactualTraceDto
Interface: DecisionAuditRequest
Interface: DecisionAuditResponse
Interface: DeclareLatentVariableRequest
Interface: DeclareLatentVariableResponse
Interface: DensityRatioDiagnosticDto
Interface: DiDValidationRequest
Interface: DiDValidationResponse
Interface: DmlAteRequest
Interface: DoseResponseRequest
Interface: DoseResponseResponse
Interface: DSeparatedRequest
Interface: DSeparatedResponse
Interface: ExogenousNoiseDto
Interface: FrontDoorObservationDto
Interface: FrontDoorRequest
Interface: FrontDoorResponse
Interface: GetCausalModelResponse
Interface: IdentificationRefDto
Interface: IdentifyEffectRequest
Interface: IdentifyEffectResponse
Interface: InterventionRequest
Interface: InterventionResponse
Interface: MediationDmlRequest
Interface: MediationEffectDto
Interface: MediationObservationDto
Interface: MediationRequest
Interface: MediationResponse
Interface: MultiMediationObservationDto
Interface: MultiMediationRequest
Interface: ObservationalProbabilitiesDto
Interface: ObservationDto
Interface: OverlapDiagnosticDto
Interface: PolicyRowDto
Interface: PolicyRuleDto
Interface: PolicyValueRequest
Interface: PolicyValueResponse
Interface: ProbabilityBoundDto
Interface: ProofNodeDto
Interface: ProofStatisticsDto
Interface: QueryResultDto
Interface: RefutationCheckDto
Interface: RefutationObservationDto
Interface: RefuteEstimateRequest
Interface: RefuteEstimateResponse
Interface: RootCauseAnalysisRequest
Interface: RootCauseAnalysisResponse
Interface: RootCauseDto
Interface: RootCauseWithProofResponse
Interface: ScmCounterfactualRequest
Interface: ScmCounterfactualResponse
Interface: SensitivityDto
Interface: ShiftEffectRequest
Interface: ShiftEffectResponse
Interface: StructuralAssignmentDto
type-aliases
Type Alias: AssignmentMechanism
Type Alias: CausalAnalyzeQuestionKind
Type Alias: MeasurementRole
Type Alias: RegressionBasis
Causal
CDL
interfaces
Interface: ArchitectureInfoDto
Interface: CdlComponentStatus
Interface: CdlStatusResponse
Interface: CdlVerificationDto
Interface: ClassifySafetyRequest
Interface: ClassifySafetyResponse
Interface: DerivedInferenceRequest
Interface: DerivedInferenceResponse
Interface: DerivedInferenceResultDto
Interface: DifferentiableFcRequest
Interface: DifferentiableFcResponse
Interface: DynamicAddSortRequest
Interface: DynamicAddSortResponse
Interface: FeaturePair
Interface: IterationMetricDto
Interface: MonadicFactDto
Interface: MonadicFixpointRequest
Interface: MonadicFixpointResponse
Interface: SafetyModelInfoDto
Interface: SoftUnifyRequest
Interface: SoftUnifyResponse
Interface: SymbolicResultDto
Interface: TaggedFactDto
Interface: TaggedFcRequest
Interface: TaggedFcResponse
Interface: WeightedFactDto
CDL
Chase
interfaces
Interface: ChaseAtomDto
Interface: ChaseRunRequest
Interface: ChaseRunResponse
Interface: SimpleTgdDto
type-aliases
Type Alias: ChaseArgDto
Type Alias: ChaseStepKindDto
Chase
Cognitive
interfaces
Interface: ActivationDto
Interface: AdaptiveModifyRequest
Interface: AdaptiveModifyResponse
Interface: AddBeliefRequest
Interface: AddBeliefResponse
Interface: AddCognitiveRuleRequest
Interface: AddCognitiveRuleResponse
Interface: AddGoalRequest
Interface: AddGoalResponse
Interface: AddHtnMethodRequest
Interface: AddHtnMethodResponse
Interface: AgentBeliefDto
Interface: AgentConfigDto
Interface: AgentEventHandlers
Interface: AgentGoalDto
Interface: AgentRecallAsOfRequest
Interface: AgentRecallAsOfResponse
Interface: AgentStateDto
Interface: AgentSubscription
Interface: AgentTrajectoryRequest
Interface: AgentTrajectoryResponse
Interface: BeliefDto
Interface: BroadcastMessageRequest
Interface: BroadcastMessageResponse
Interface: CognitiveGoalDto
Interface: CognitiveTermInput
Interface: CreateAgentRequest
Interface: CreateAgentResponse
Interface: CreateCognitiveSortRequest
Interface: CreateCognitiveSortResponse
Interface: CuriosityTargetDto
Interface: CycleOutcomeDto
Interface: DeleteAgentResponse
Interface: DeletePlanRequest
Interface: DeletePlanResponse
Interface: DriveDeficitDto
Interface: DriveDto
Interface: EpisodeDto
Interface: EpisodeStatsResponse
Interface: ExtendedAgentStateDto
Interface: FindPlansRequest
Interface: FindPlansResponse
Interface: GetAgentDrivesRequest
Interface: GetAgentStateRequest
Interface: GetAgentStateResponse
Interface: GetEpisodeStatsRequest
Interface: GetExtendedAgentStateRequest
Interface: GetExtendedAgentStateResponse
Interface: GetInboxRequest
Interface: GetInboxResponse
Interface: HtnMethodDto
Interface: ImpasseDto
Interface: InboxMessageDto
Interface: IntegratedCycleOutcomeDto
Interface: IntegratedEngineConfigDto
Interface: IntentionDto
Interface: LearnFromCorrectionRequest
Interface: LearnFromCorrectionResponse
Interface: ListAgentsResponse
Interface: MarkMessagesReadRequest
Interface: MarkMessagesReadResponse
Interface: MotivationStateDto
Interface: PlanMatchDto
Interface: PredictionErrorDto
Interface: ProvideFeedbackRequest
Interface: ProvideFeedbackResponse
Interface: RecalledEpisodeDto
Interface: RecallEpisodesRequest
Interface: RecallEpisodesResponse
Interface: RecordEpisodeRequest
Interface: RecordEpisodeResponse
Interface: ReflectionQueryRequest
Interface: ReflectionQueryResponse
Interface: RuleUtilityDto
Interface: RunCycleRequest
Interface: RunCycleResponse
Interface: RunIntegratedCycleRequest
Interface: RunIntegratedCycleResponse
Interface: SendMessageRequest
Interface: SendMessageResponse
Interface: SetActionReviewConfigRequest
Interface: SetActionReviewConfigResponse
Interface: SetGoalStatusRequest
Interface: SetGoalStatusResponse
Interface: StorePlanRequest
Interface: StorePlanResponse
Interface: SubscribeToKbRequest
Interface: SubscribeToKbResponse
Interface: UpdatePlanStatsRequest
Interface: UpdatePlanStatsResponse
type-aliases
Type Alias: AgentEvent
Type Alias: AttentionTargetDto
Type Alias: EpisodeOutcomeDto
Type Alias: GoalStatusUpdate
Type Alias: KbChangeDto
Type Alias: KbChangeType
Cognitive
Coherence
interfaces
Interface: CoherenceAnalyzeRequest
Interface: CoherenceAnalyzeResponse
Interface: CoherenceClaimDto
Interface: CoherenceInlineDocumentDto
Interface: CoherenceSummaryDto
Coherence
Collections
interfaces
Interface: CollectionDto
Interface: CreateCollectionRequest
Interface: CreateTermInCollectionRequest
Interface: UpdateCollectionRequest
Collections
Communities
interfaces
Interface: CentralityRequest
Interface: CentralityResponse
Interface: CohesionRequest
Interface: CohesionResponse
Interface: CommunityDetectionConfigDto
Interface: CommunityDetectionStatsDto
Interface: CommunityDto
Interface: CommunityMatchDto
Interface: CommunityReportDto
Interface: CommunityReportSummaryDto
Interface: CommunitySearchStatsDto
Interface: DetectCommunitiesRequest
Interface: DetectCommunitiesResponse
Interface: GetMembershipsRequest
Interface: GetMembershipsResponse
Interface: LinkPredictionRequest
Interface: LinkPredictionResponse
Interface: MembershipDto
Interface: NodeScore
Interface: PathRequest
Interface: PathResponse
Interface: SearchCommunitiesRequest
Interface: SearchCommunitiesResponse
type-aliases
Type Alias: CommunitySearchModeDto
Communities
Compliance
interfaces
Interface: AppendRequest
Interface: AuditPage
Interface: AuditRecord
Interface: CaptureSnapshotRequest
Interface: ListAuditOptions
Interface: PredictionEntry
Interface: PredictionSnapshot
Interface: SnapshotFilter
Interface: SummaryResponse
Interface: ValidationReportDto
Interface: VerifyResponse
type-aliases
Type Alias: AuditSortField
Type Alias: AuditSortOrder
Type Alias: GroundTruthStatus
Compliance
ComplianceMarkings
interfaces
Interface: ClassificationLevelDto
Interface: GateRequest
Interface: GateResponse
Interface: ListLevelsResponse
Interface: ReadableTermDto
Interface: ReadableTermsResponse
ComplianceMarkings
Conformal
interfaces
Interface: CalibrationSample
Interface: ConformalCalibrateRequest
Interface: ConformalCalibrateResponse
Interface: ConformalPrediction
Interface: ConformalPredictRequest
Interface: ConformalPredictResponse
Interface: CoverageCertificate
Interface: TestInput
Conformal
Conformance
interfaces
Interface: ConformanceCheckResponse
Interface: ConformanceRepairResponse
Interface: ConformanceRequest
Interface: CorrectionRecordDto
Interface: ViolationCountsDto
Conformance
Connectors
interfaces
Interface: AddConnectorRequest
Interface: AddConnectorResponse
Interface: ConnectorInstance
Interface: ConnectorType
Interface: OAuthCallbackQuery
Interface: OAuthStartResponse
Connectors
Constraints
interfaces
Interface: AddConstraintsRequest
Interface: AddConstraintsResponse
Interface: BindVariablesRequest
Interface: BindVariablesResponse
Interface: CleanupSessionsResponse
Interface: ConstraintGraphRequest
Interface: ConstraintGraphResponse
Interface: ConstraintGraphStats
Interface: ConstraintSessionStatus
Interface: CreateConstraintSessionRequest
Interface: CreateConstraintSessionResponse
Interface: CycleDto
Interface: FdDomainStateDto
Interface: SolveConstraintRequest
Interface: SolveConstraintResponse
type-aliases
Type Alias: ArithmeticConstraintDto
Type Alias: ArithmeticExprDto
Type Alias: ArithOpDto
Type Alias: GeneralConstraintDto
Type Alias: RelOpDto
Constraints
Control
interfaces
Interface: AddSymbolRequest
Interface: AddSymbolResponse
Interface: BacktrackableAssignRequest
Interface: BacktrackableAssignResponse
Interface: CallOnceRequest
Interface: CallOnceResponse
Interface: CondRequest
Interface: CondResponse
Interface: ControlNafRequest
Interface: CreateModuleRequest
Interface: CreateModuleResponse
Interface: CutRequest
Interface: CutResponse
Interface: FindallRequest
Interface: FindallResponse
Interface: ForallRequest
Interface: ForallResponse
Interface: GlobalAssignRequest
Interface: GlobalAssignResponse
Interface: GlobalGetRequest
Interface: GlobalIncrementRequest
Interface: GlobalIncrementResponse
Interface: ImpliesRequest
Interface: ImpliesResponse
Interface: ImportModuleRequest
Interface: ImportModuleResponse
Interface: ListSymbolsRequest
Interface: ListSymbolsResponse
Interface: NafResponse
Interface: ResolveSymbolRequest
Interface: SymbolDto
Interface: UndoRequest
Interface: UndoResponse
type-aliases
Type Alias: AssignValueDto
Type Alias: GlobalGetResponse
Type Alias: ResolveSymbolResponse
Type Alias: SymbolKindDto
Control
Conversation
interfaces
Interface: ClaimAnnotationDto
Interface: CognitiveStrategyDto
Interface: CompareModelDto
Interface: ConversationMessageRequest
Interface: ConversationMessageResponse
Interface: ConversationSummaryDto
Interface: ConversationTurnsResponse
Interface: DerivationSummaryDto
Interface: FocusEntryDto
Interface: ListConversationsResponse
Interface: MatchedEntityDto
Interface: ProofTraceNodeDto
Interface: ReasoningStageDto
Interface: ReasoningTraceDto
Interface: RecordTurnRequest
Interface: RecordTurnResponse
Interface: ResolvedCoreferenceDto
Interface: SessionGraphDto
Interface: SourceExcerptDto
Interface: TurnDto
Interface: UICustomizationDto
Conversation
Corpus
interfaces
Interface: CorpusBridgeEdge
Interface: CorpusBridgesRequest
Interface: CorpusBridgesResponse
Interface: CorpusCommunitiesRequest
Interface: CorpusCommunitiesResponse
Interface: CorpusCommunity
Interface: CorpusCommunityDocumentShare
Interface: CorpusCrossCuttingItem
Interface: CorpusCrossCuttingRequest
Interface: CorpusCrossCuttingResponse
Interface: CorpusDocumentNode
Interface: CorpusEntityRef
Interface: CorpusScope
Interface: CorpusSharedEntity
Interface: CorpusTreemapRow
type-aliases
Type Alias: CorpusCrossCuttingItemKind
Type Alias: CorpusCrossCuttingKind
Corpus
Demo
interfaces
Interface: DemoSeedRequest
Interface: DemoSeedResponse
Demo
Discovery
interfaces
Interface: DataPointDto
Interface: DiscoverEffectsRequest
Interface: DiscoverEffectsResponse
Interface: DiscoverEmlRequest
Interface: DiscoverEmlResponse
Interface: DiscoveryConfigDto
Interface: EffectPredictionDto
Interface: EmlSample
Interface: HorizonDto
Interface: PredictFromDiscoveryRequest
Interface: PredictFromDiscoveryResponse
Discovery
DL
interfaces
Interface: DlSatisfiableRequest
Interface: DlSatisfiableResponse
Interface: DlSubsumesRequest
Interface: DlSubsumesResponse
type-aliases
Type Alias: AlcConcept
DL
DocumentCheck
interfaces
Interface: CheckDocumentRequest
Interface: CheckDocumentResponse
Interface: CheckFinding
Interface: CheckSummary
Interface: InlineDocument
type-aliases
Type Alias: FindingKind
Type Alias: FindingSeverity
DocumentCheck
Documents
interfaces
Interface: AnalyzeDocumentsRequest
Interface: AnalyzeOptions
Interface: DocumentAnalysisReport
Interface: DocumentExtractedEntity
Interface: DocumentGraph
Interface: DocumentGraphCommunity
Interface: DocumentGraphEdge
Interface: DocumentGraphNode
Interface: DocumentGraphQuery
Interface: DocumentInput
Interface: DocumentProofStep
Interface: DocumentQaPair
Interface: DocumentRecord
Interface: DocumentResult
Interface: DocumentRuleResult
Interface: DocumentSummary
Interface: DocumentVersionsResponse
Interface: ListDocumentsQuery
Interface: ListDocumentsResponse
type-aliases
Type Alias: DocumentRuleSeverity
Type Alias: DocumentRuleStatus
Type Alias: DocumentStatus
Documents
Execution
interfaces
Interface: AppendResiduationsRequest
Interface: AppendResiduationsResponse
Interface: ApplyCurriedRequest
Interface: BacktrackResponse
Interface: BindingsResponse
Interface: BindTermRequest
Interface: BindTermResponse
Interface: ChoicePointMarkerResponse
Interface: CleanupResponse
Interface: CleanupStaleSessionsParams
Interface: CreateCurriedFunctionRequest
Interface: CreateExecutionSessionRequest
Interface: CurriedFunctionResponse
Interface: CurryingContextResponse
Interface: DetectMissingAttributesRequest
Interface: EvaluatedValueDto
Interface: ExecutionSessionResponse
Interface: ExecutionSessionStatsResponse
Interface: FeatureBindingDto
Interface: GetBindingsRequest
Interface: GetResiduationsRequest
Interface: GetResiduationsResponse
Interface: GoalEvaluationResultDto
Interface: GoalStackEntryDto
Interface: GoalStackResponse
Interface: LazyEvalRequest
Interface: MarkChoicePointRequest
Interface: MarkPendingRequest
Interface: MarkPendingResponse
Interface: PositionalArgumentDto
Interface: PushGoalRequest
Interface: PushGoalResponse
Interface: ReleaseResiduationsRequest
Interface: ReleaseResiduationsResponse
Interface: ResiduateGoalRequest
Interface: ResiduateGoalResponse
Interface: ResiduationDetailDto
Interface: ResiduationGoalDto
Interface: TermBindingDto
type-aliases
Type Alias: ApplyCurriedResponse
Type Alias: ExecutionGoalDto
Type Alias: ExecutionValueDto
Type Alias: LazyEvalResponse
Type Alias: TrailEntryDto
Execution
Extract
interfaces
Interface: ExtractedEntityDto
Interface: ExtractEntitiesRequest
Interface: ExtractEntitiesResponse
Extract
Feasibility
interfaces
Interface: AssumptionRequest
Interface: Classification
Interface: EndSchedulingResponse
Interface: SchedulingDeltaResponse
Interface: SchedulingSessionResponse
Feasibility
FlowNetworks
interfaces
Interface: CommitFlowNetworkRequest
Interface: CreateFlowNetworkRequest
Interface: EdgeCapacityUpdate
Interface: EdgeClassification
Interface: EdgeFlow
Interface: EdgeSpec
Interface: FlowNetworkResponse
Interface: MinCutReport
Interface: SolveFlowNetworkRequest
Interface: SolveFlowNetworkResponse
type-aliases
Type Alias: EdgeClass
Type Alias: FlowAlgorithm
FlowNetworks
Forecast
interfaces
Interface: CommittedForecast
Interface: CompetitorForecast
Interface: CrossSectionForecast
Interface: ForecastAbstention
Interface: ForecastCertificate
Interface: ForecastCoveringSet
Interface: ForecastDomain
Interface: ForecastDomainsResponse
Interface: ForecastEntityInput
Interface: ForecastRequest
Interface: ForecastResponse
Interface: GroupedRankForecast
Interface: OrderedCombo
Interface: PredictionInterval
Interface: RankedInstrument
type-aliases
Type Alias: CertifiedForecast
Type Alias: ForecastBody
Forecast
Functions
interfaces
Interface: AuthoringClarificationQuestionDto
Interface: DraftFunctionRequest
Interface: EvaluateFunctionRequest
Interface: FunctionClauseDto
Interface: FunctionDraftDto
Interface: FunctionSummaryDto
Interface: ListFunctionsResponse
Interface: RegisterFunctionRequest
Interface: RegisterFunctionResponse
type-aliases
Type Alias: BinaryOperatorDto
Type Alias: DraftFunctionResponse
Type Alias: EvaluateFunctionResponse
Type Alias: ExpressionDto
Type Alias: FunctionBodyDto
Type Alias: FunctionGuardDto
Type Alias: FunctionKindDto
Type Alias: FunctionValueDto
Type Alias: PatternDto
Functions
Fuzzy
interfaces
Interface: FuzzyMergeRequest
Interface: FuzzyMergeResponse
Interface: FuzzySearchResultItem
Interface: FuzzySearchTopKResponse
Interface: FuzzySubsumptionRequest
Interface: FuzzySubsumptionResponse
Interface: FuzzyUnifyRequest
Interface: FuzzyUnifyResponse
Interface: PredictEffectResponse
Interface: ScoredTerm
Interface: ScoreTermsResponse
Interface: SimilarityMatch
Interface: SimilaritySearchResponse
type-aliases
Type Alias: EffectDto
Type Alias: FindSimilarRequest
Type Alias: FuzzySearchTopKRequest
Type Alias: PredictEffectRequest
Type Alias: QueryTerm
Type Alias: ScoreTermsRequest
Fuzzy
Generation
interfaces
Interface: ArtifactDto
Interface: ConstrainedGenerateRequest
Interface: ConstrainedGenerateResponse
Interface: ConstraintCheckDto
Interface: DiagnosticDto
Interface: GenerateDocumentRequest
Interface: GenerateDocumentResponse
Interface: GenerationProvenanceDto
Interface: GenerationVerificationDto
Interface: GroundedGenerateRequest
Interface: GroundedGenerateResponse
Interface: RawGenerateRequest
Interface: RawGenerateResponse
type-aliases
Type Alias: GenMode
Generation
Guardrail
interfaces
Interface: ClaimAssessment
Interface: ClaimCitation
Interface: GuardrailReport
Interface: GuardrailRequest
Interface: GuardrailSummary
type-aliases
Type Alias: ClaimSubtype
Type Alias: ClaimVerdict
Guardrail
Health
interfaces
Interface: BuildInfoDto
Interface: ComponentHealthDto
Interface: EnrichedHealthResponse
Health
Homoiconic
interfaces
Interface: FeatureInputConstrainedVariable
Interface: FeatureInputInlineTerm
Interface: FeatureInputInlineTermByName
Interface: FeatureInputSortRef
Interface: FeatureInputTermRef
Interface: FeatureInputVariable
Interface: PsiTermDto
Interface: TermInputInline
Interface: TermInputInlineByName
Interface: TermInputRef
type-aliases
Type Alias: FeatureInputValueDto
Type Alias: TermInputDto
Homoiconic
ILP
interfaces
Interface: EvaluatePatternRequest
Interface: EvaluatePatternResponse
Interface: EvaluationResult
Interface: GFlowNetSampleRequest
Interface: GFlowNetSampleResponse
Interface: LearnedPatternDto
Interface: LearnPatternConfigDto
Interface: LearnPatternRequest
Interface: LearnPatternResponse
Interface: ListPatternsResponse
Interface: PatternSummaryDto
Interface: SampledHypothesisDto
Interface: SynthesizeRequest
Interface: SynthesizeResponse
Interface: TrainingExample
type-aliases
Type Alias: ArithmeticRecursionOp
ILP
ImageExtraction
interfaces
Interface: ExtractImageRequest
Interface: ExtractImageResponse
Interface: ImageExtractedEntityDto
Interface: ImageExtractedRelationDto
Interface: ImageExtractionStatsDto
Interface: ImageSuggestedSortDto
ImageExtraction
Inference
interfaces
Interface: AddFactRequest
Interface: AddFactResponse
Interface: AddRuleRequest
Interface: AddRuleResponse
Interface: BackwardChainRequest
Interface: BackwardChainResponse
Interface: BayesianPredictRequest
Interface: BayesianPredictResponse
Interface: BindingDto
Interface: BulkAddFactsRequest
Interface: BulkAddFactsResponse
Interface: BulkAddRulesRequest
Interface: BulkAddRulesResponse
Interface: BulkFuzzyProveRequest
Interface: BulkFuzzyProveResponse
Interface: ClearFactsResponse
Interface: CreateGoalRequest
Interface: CreateGoalResponse
Interface: DeleteGoalResponse
Interface: DraftRulesRequest
Interface: FactConfidenceEntry
Interface: ForwardChainRequest
Interface: ForwardChainResponse
Interface: FuzzyProveRequest
Interface: FuzzyProveResponse
Interface: GetFactsResponse
Interface: GetRulesResponse
Interface: GoalDto
Interface: GoalSummaryDto
Interface: HomoiconicSubstitutionDto
Interface: ListGoalsResponse
Interface: LiteralInputDto
Interface: MetaSortsResponse
Interface: NafProveRequest
Interface: NafProveResponse
Interface: ProofDto
Interface: ProvenanceTagDto
Interface: RuleAggregatorDto
Interface: RuleDraftClarificationQuestionDto
Interface: RuleDraftDto
Interface: RuleEntryDto
Interface: RuleTermDraftDto
Interface: SolutionDto
Interface: TaggedDerivedFact
Interface: TaggedForwardChainRequest
Interface: TaggedForwardChainResponse
type-aliases
Type Alias: AllenRelation
Type Alias: BayesianEffectDto
Type Alias: ConstraintInputDto
Type Alias: DraftRulesResponse
Type Alias: GuardOp
Inference
Ingestion
interfaces
Interface: AsyncIngestionResponse
Interface: CandidateMatchDto
Interface: ChunkFailureDto
Interface: CommunityStatsDto
Interface: DocumentBatchItem
Interface: DocumentBatchResultDto
Interface: DocumentMetadataDto
Interface: DocumentParseStatsDto
Interface: DocumentProgressDto
Interface: DocumentStatsDto
Interface: EvidenceDerivationConfigDto
Interface: ExtractionStrategyAdaptive
Interface: ExtractionStrategyHybrid
Interface: ExtractionStrategyLlm
Interface: ExtractionStrategyLocalNer
Interface: ExtractionStrategySchemaGuided
Interface: GroundingStatsDto
Interface: IncompleteDocumentDto
Interface: IngestDocumentBatchRequest
Interface: IngestDocumentBatchResponse
Interface: IngestDocumentRequest
Interface: IngestDocumentResponse
Interface: IngestionConfigDto
Interface: IngestionPollOptions
Interface: IngestionSessionResponse
Interface: IngestionStatsDto
Interface: IngestKifRequest
Interface: IngestKifResponse
Interface: IngestMarkdownBatchRequest
Interface: IngestMarkdownRequest
Interface: IngestMarkdownResponse
Interface: IngestRdfRequest
Interface: IngestRdfResponse
Interface: ListIncompleteDocumentsResponse
Interface: ListIngestionSessionsResponse
Interface: MarkdownDocumentDto
Interface: OcrConfigDto
Interface: ParsedDocumentMetadataDto
Interface: PendingReviewDto
Interface: PipelineQualityStatsDto
Interface: ResumeDocumentIngestionRequest
Interface: ResumeDocumentIngestionResponse
Interface: SessionProgressResponse
Interface: SessionStatsResponse
Interface: StartIngestionSessionRequest
Interface: StepLogEntryDto
Interface: TokenUsageDto
Interface: TranslatedRdfTermDto
Interface: TranslateRdfRequest
Interface: TranslateRdfResponse
type-aliases
Type Alias: DocumentParser
Type Alias: DocumentSource
Type Alias: DocumentType
Type Alias: ExtractionStrategy
Type Alias: IngestionSessionStatusDto
Type Alias: RdfFormatDto
Ingestion
LTN
interfaces
Interface: LtnAggregator
Interface: LtnFeatureText
Interface: LtnInstance
Interface: LtnLearnedCertainty
Interface: LtnPredicateExample
Interface: LtnPredicateFit
Interface: LtnPredicateTraining
Interface: LtnQueryRequest
Interface: LtnQueryResponse
Interface: LtnRefuteRequest
Interface: LtnRefuteResponse
Interface: LtnRule
Interface: LtnTrainRequest
Interface: LtnTrainResponse
Interface: LtnWitnessEntry
type-aliases
Type Alias: LtnAggregatorKind
Type Alias: LtnQueryKind
LTN
Marketplace
interfaces
Interface: CascadeOptions
Interface: CatalogPage
Interface: InstallList
Interface: InstallPluginRequest
Interface: InstallPluginResponse
Interface: InstallState
Interface: InstallSummary
Interface: ListCatalogParams
Interface: ListInstallsParams
Interface: PluginDependency
Interface: PluginDetail
Interface: PluginManifest
Interface: PluginSummary
Interface: PluginVersion
Interface: PublishPluginRequest
Interface: PublishPluginResponse
Interface: SearchCatalogRequest
Interface: SearchCatalogResponse
Interface: UpgradeInstallRequest
Interface: YankPluginRequest
Interface: YankPluginResponse
type-aliases
Type Alias: MarketplaceScope
Marketplace
Namespaces
interfaces
Interface: AddExportRequest
Interface: AddImportRequest
Interface: CreateChildNamespaceRequest
Interface: CreateRootNamespaceRequest
Interface: NamespaceDto
Interface: NamespaceListResponse
Interface: NamespaceResponse
Interface: UpdateMetadataRequest
Interface: UpdateVisibilityRequest
type-aliases
Type Alias: VisibilityDto
Namespaces
NeuroSymbolic
interfaces
Interface: ContainmentVerificationDto
Interface: DiagnosticsResponse
Interface: E2ETrainingRequest
Interface: E2ETrainingResponse
Interface: EmbeddingVerificationResponse
Interface: GFlowNetTrainResponse
Interface: GroundTruthEntry
Interface: MeetPreservationDto
Interface: NeuroSymbolicStatusResponse
Interface: SaveWeightsResponse
Interface: SortBoxRequest
Interface: SortBoxResponse
Interface: SpecificityDto
Interface: TrainFromTracesResponse
Interface: TrainingTriggerResponse
NeuroSymbolic
Ontology
interfaces
Interface: GenerateOntologyRequest
Interface: OntologyClarificationQuestionDto
type-aliases
Type Alias: GenerateOntologyResponse
Ontology
OntologyAlignment
interfaces
Interface: AlignmentConflictDto
Interface: AlignmentMatchDto
Interface: AlignOntologyRequest
Interface: AlignOntologyResponse
Interface: ExternalMatchDto
OntologyAlignment
OntologyBridge
interfaces
Interface: BindingSummaryDto
Interface: BindSortRequest
Interface: BindSortResponse
Interface: BulkBindError
Interface: BulkBindSortsRequest
Interface: BulkBindSortsResponse
Interface: ColumnMappingDto
Interface: FoundryReviewItemDto
Interface: GroundedSchemaResponse
Interface: ImportFoundryRequest
Interface: ImportFoundryResponse
Interface: ImportOwlRequest
Interface: ImportOwlResponse
Interface: ListBindingsResponse
Interface: TranspileRequest
Interface: TranspileResponse
OntologyBridge
OntologyExport
interfaces
Interface: OntologyExportDocument
Interface: OntologyExportOptions
type-aliases
Type Alias: OntologyExportFormat
OntologyExport
OntologyFacade
interfaces
Interface: ActionParameter
Interface: ActionType
Interface: ActionTypeListResponse
Interface: FunctionType
Interface: FunctionTypeListResponse
Interface: InterfaceType
Interface: InterfaceTypeListResponse
Interface: LinkType
Interface: LinkTypeListResponse
Interface: ObjectType
Interface: ObjectTypeListResponse
Interface: Property
OntologyFacade
Operations
interfaces
Interface: AntiUnifyBatchRequest
Interface: AntiUnifyBatchResponse
Interface: AntiUnifyRequest
Interface: AntiUnifyResponse
Operations
Optimize
interfaces
Interface: InfeasibleResult
Interface: KBOptimizationConfig
Interface: KBOptimizationResult
Interface: KBResourceConstraint
Interface: KBVariableSpec
Interface: LinearConstraint
Interface: LinearProgramDefinition
Interface: ObjectiveFunction
Interface: OptimalResult
Interface: SolveOptions
Interface: VariableBounds
type-aliases
Type Alias: ConstraintOperator
Type Alias: LinearExpression
Type Alias: OptimizationDirection
Type Alias: OptimizationResult
Optimize
OsfDiff
interfaces
Interface: CompareDocumentsRequest
Interface: OsfDiffRequest
Interface: OsfDiffResponse
Interface: OsfDiffSequenceRequest
Interface: OsfDiffSequenceResponse
Interface: OsfDiffTemporalRequest
Interface: TemporalPoint
type-aliases
Type Alias: OsfDiffReport
Type Alias: OsfDiffSelector
Type Alias: OsfDiffSequenceReport
Type Alias: TermSetSelector
OsfDiff
Osfql
interfaces
Interface: OsfqlDiagnoseRequest
Interface: OsfqlDiagnoseResponse
Interface: OsfqlDiagnostic
Interface: OsfqlRange
Interface: OsfqlRequest
Interface: OsfqlResponse
Interface: OsfqlTermValue
type-aliases
Type Alias: OsfqlValue
Osfql
Oversight
interfaces
Interface: AgentSubVerdictDto
Interface: AttestationDto
Interface: CertificateDto
Interface: CreateOversightSessionRequest
Interface: CreateOversightSessionResponse
Interface: ExtractionStatsDto
Interface: FinalizeOversightSessionRequest
Interface: FixSuggestionDto
Interface: FormalJudgeRefinementResponse
Interface: FormalJudgeRequest
Interface: FormalJudgeResponse
Interface: IngestStepRequest
Interface: JudgeConfigDto
Interface: LayerResultDto
Interface: OversightAlertDto
Interface: OversightSessionStatusResponse
Interface: ProofTraceDto
Interface: StepVerificationResponse
Interface: TrajectoryStepDto
Interface: ViolationDto
Oversight
PlainValues
interfaces
Interface: ConstrainedPlainVar
Interface: PsiTermInputById
Interface: PsiTermInputByName
type-aliases
Type Alias: PlainFeatureMap
Type Alias: PlainFeatureValue
Type Alias: PsiTermInput
Type Alias: TermInputArg
PlainValues
Preferences
interfaces
Interface: ListPreferencesResponse
Interface: PredictPreferencesRequest
Interface: PredictPreferencesResponse
Interface: PreferenceDto
Interface: PreferencePrediction
Interface: RecordSelectionRequest
Interface: RecordSelectionResponse
Interface: SetPreferenceRequest
Preferences
ProofEngine
interfaces
Interface: AssertRuleRequest
Interface: AssertRuleResponse
Interface: BacktrackTermStoreRequest
Interface: BacktrackTermStoreResponse
Interface: BindVariableRequest
Interface: BindVariableResponse
Interface: CreateRuleStoreRequest
Interface: CreateStoreTermRequest
Interface: CreateTermStoreRequest
Interface: CreateVariableRequest
Interface: DereferenceRequest
Interface: DereferenceResponse
Interface: EvalBuiltinRequest
Interface: EvalFunctionInfoDto
Interface: FindRulesRequest
Interface: FindRulesResponse
Interface: GetStoreTermRequest
Interface: GetStoreTermResponse
Interface: ListEvalFunctionsRequest
Interface: ListEvalFunctionsResponse
Interface: MarkRuleStoreResponse
Interface: MarkTermStoreResponse
Interface: ProofEngineCreateTermResponse
Interface: ProofExportRequest
Interface: ProofExportResponse
Interface: ProofLiteralDto
Interface: RetractRuleRequest
Interface: RetractRuleResponse
Interface: RuleClauseDto
Interface: RuleDto
Interface: RuleStoreResponse
Interface: SetFeatureRequest
Interface: SetFeatureResponse
Interface: TermStoreSessionResponse
Interface: UndoRuleStoreRequest
Interface: UndoRuleStoreResponse
Interface: UnifyTermsRequest
Interface: UnifyTermsResponse
type-aliases
Type Alias: EvalBuiltinResponse
Type Alias: MarkRuleStoreRequest
Type Alias: MarkTermStoreRequest
Type Alias: ProofExportFormat
Type Alias: ProofExportResult
Type Alias: RuleConstraintDto
ProofEngine
PropertyGraph
interfaces
Interface: PropertyGraphErrorResponse
Interface: PropertyGraphExecuteResponse
Interface: PropertyGraphQueryRequest
Interface: PropertyGraphTranslateResponse
type-aliases
Type Alias: PropertyGraphValue
PropertyGraph
Query
interfaces
Interface: BySortQueryRequest
Interface: DiscoveredRelationDto
Interface: FindBySortRequest
Interface: MatchedEntityDto
Interface: MissingInfoDto
Interface: NlQueryRequest
Interface: NlQueryResponse
Interface: NlQueryResultItem
Interface: OsfSearchRequest
Interface: OsfSearchResponse
Interface: OsfSearchStatsDto
Interface: ResumptionOptionDto
Interface: SuspendedQueryDto
Interface: TermListResponse
Interface: TermPatternDto
Interface: ToolCallInfo
Interface: UnifiableQueryRequest
Interface: UnificationQueryResponse
Interface: ValidatedUnifyRequest
Interface: ValidateTermRequest
type-aliases
Type Alias: NlQueryMode
Query
RAG
interfaces
Interface: ConceptMatchDto
Interface: DependentInfoDto
Interface: FeatureConfigDto
Interface: OntologyRagRequest
Interface: OntologyRagResponse
Interface: OntologyRagStatsDto
Interface: PrerequisiteInfoDto
Interface: RelatedInfoDto
type-aliases
Type Alias: EvidenceSourceDto
Type Alias: RelationTypeDto
RAG
Reasoning
interfaces
Interface: CoordinatedResourceSet
Interface: DisentailmentRequest
Interface: DisentailmentResponse
Interface: EntailmentRequest
Interface: EntailmentResponse
Interface: EvidenceAssessmentRequest
Interface: EvidenceAssessmentResponse
Interface: EvidenceItemDto
Interface: GoalResiduationRequest
Interface: GoalResiduationResponse
Interface: ResiduatedEntryDto
Interface: ResiduationRequest
Interface: ResiduationResponse
Interface: ResourceCoordinationRequest
Interface: ResourceCoordinationResponse
Interface: ResourceSpec
Interface: TemporalPlanRequest
Interface: TemporalPlanResponse
Reasoning
Research
interfaces
Interface: ContradictionDto
Interface: CreateResearchSessionRequest
Interface: CreateResearchSessionResponse
Interface: EvidenceItemSummaryDto
Interface: IngestPaperRequest
Interface: IngestPaperResponse
Interface: KnowledgeGapDto
Interface: ListResearchSessionsResponse
Interface: PaperMetadataDto
Interface: PaperSearchResultDto
Interface: ProvenanceStepDto
Interface: ReportVerificationDto
Interface: ResearchContradictionsResponse
Interface: ResearchCycleResponse
Interface: ResearchCycleResultDto
Interface: ResearchFindingDto
Interface: ResearchFindingsResponse
Interface: ResearchGapsResponse
Interface: ResearchReportResponse
Interface: ResearchSessionResponse
Interface: ResearchSessionSummaryDto
Interface: ResearchStatisticsDto
Interface: RunResearchCycleRequest
Interface: SearchPapersRequest
Interface: SearchPapersResponse
Interface: VerifyClaimRequest
Interface: VerifyClaimResponse
type-aliases
Type Alias: PaperSource
Type Alias: ResearchSessionStatusDto
Research
Reviews
interfaces
Interface: AddPendingReviewRequest
Interface: ApproveEntityRequest
Interface: BulkApproveRequest
Interface: BulkMergeRequest
Interface: BulkRejectRequest
Interface: CorrectEntityRequest
Interface: MergeEntityRequest
Interface: PendingReviewDto
Interface: ReExtractRequest
Interface: RejectEntityRequest
Interface: ReviewCandidateMatchDto
Interface: SortSuggestionDto
type-aliases
Type Alias: ConflictResolution
Type Alias: ReviewReason
Reviews
Reward
interfaces
Interface: RewardScoreRequest
Interface: RewardScoreResponse
type-aliases
Type Alias: RewardObjective
Reward
Row
interfaces
Interface: DynamicQueryClauseDto
Interface: DynamicQueryGroupDto
Interface: DynamicQueryRequest
Interface: DynamicQueryResponse
Interface: DynamicQueryResultDto
Interface: FeatureRequirementDto
Interface: IntegrationGroupDto
Interface: RowIntegrateRequest
Interface: RowIntegrateResponse
Interface: RowMatchDto
Interface: RowSearchRequest
Interface: RowSearchResponse
Interface: RowSimilarityRequest
Interface: RowSimilarityResponse
Interface: RowTypeDto
Interface: RowUnifyRequest
Interface: RowUnifyResponse
type-aliases
Type Alias: FeatureTypeDto
Type Alias: ValuePatternDto
Row
Sat
interfaces
Interface: SatLiteralDto
Interface: SatSatisfiableResult
Interface: SatSolveRequest
Interface: SatSolverStatsDto
Interface: SatUnknownResult
Interface: SatUnsatisfiableResult
type-aliases
Type Alias: SatSolveResponse
Type Alias: SatVerdict
Sat
Scenarios
interfaces
Interface: ClarificationQuestionDto
Interface: CreateScenarioRequest
Interface: CycleOutcomeSummaryDto
Interface: FormalVerdictDto
Interface: GetScenarioResponse
Interface: LayerResultSummaryDto
Interface: ListScenariosResponse
Interface: MaterializationSummaryDto
Interface: MaterializeScenarioRequest
Interface: MaterializeScenarioResponse
Interface: ScenarioSummaryDto
Interface: UpdateScenarioRequest
Interface: UpdateScenarioResponse
Interface: VerificationStepDto
Interface: VerifyScenarioRequest
Interface: VerifyScenarioResponse
type-aliases
Type Alias: CreateScenarioResponse
Scenarios
Scheduling
interfaces
Interface: AgentSpec
Interface: Assignment
Interface: Pin
Interface: Preference
Interface: SchedulingFeasibilityRequest
Interface: SchedulingFeasibilityResponse
Interface: SchedulingOptimizeRequest
Interface: SchedulingOptimizeResponse
Interface: ShiftDemand
type-aliases
Type Alias: AssignmentStatus
Type Alias: SchedulingStatus
variables
Variable: ANY_ROLE
Scheduling
Smt
interfaces
Interface: EqLiteralDto
Interface: EqualityAtomDto
Interface: SmtCheckRequest
Interface: SmtFunctionApplicationDto
Interface: SmtSatResult
Interface: SmtUnknownResult
Interface: SmtUnsatResult
type-aliases
Type Alias: SmtCheckResponse
Type Alias: SmtVerdict
Smt
Solver
interfaces
Interface: ChoicePoint
Interface: ClassifyProblemRequest
Interface: ClassifyProblemResponse
Interface: GenericModelRequest
Interface: LinearConstraint
Interface: LinExpr
Interface: LinTerm
Interface: Lit
Interface: Objective
Interface: SolveProblemRequest
Interface: SolveProblemResponse
Interface: SolverHealthResponse
Interface: VariableSpec
type-aliases
Type Alias: BoolExpr
Type Alias: ConstraintSense
Type Alias: ObjectiveSense
Type Alias: RelOp
Type Alias: SolutionStatus
Type Alias: SolverHint
Type Alias: TemporalRule
Type Alias: TypedConstraint
Type Alias: VariableClassification
Type Alias: VarKind
Solver
Sorts
interfaces
Interface: ApproveLearnedSimilarityRequest
Interface: ApproveLearnedSimilarityResponse
Interface: BoundConstraintDto
Interface: BulkCreateSortsRequest
Interface: BulkCreateSortsResponse
Interface: BulkSetSimilaritiesRequest
Interface: BulkSetSimilaritiesResponse
Interface: BulkSortDefinition
Interface: BulkSortError
Interface: CreateSortRequest
Interface: DecodeGlbResponse
Interface: EquivalenceClassDto
Interface: FeatureDescriptorDto
Interface: GetEquivalenceClassesResponse
Interface: GetPreorderDegreeRequest
Interface: GetPreorderDegreeResponse
Interface: GetSortSimilarityRequest
Interface: GetSortSimilarityResponse
Interface: GlbRequest
Interface: GlbResponse
Interface: LearnedSimilarityDto
Interface: LearnedSimilarityListResponse
Interface: LearnedSimilarityProvenanceDto
Interface: LearnSortSimilaritiesRequest
Interface: LearnSortSimilaritiesResponse
Interface: LubRequest
Interface: LubResponse
Interface: RejectLearnedSimilarityRequest
Interface: RejectLearnedSimilarityResponse
Interface: SetSortSimilarityRequest
Interface: SetSortSimilarityResponse
Interface: SimilarityEntryDto
Interface: SortCompareRequest
Interface: SortCompareResponse
Interface: SortDto
Interface: SortIndexStatusResponse
Interface: SortInfoDto
Interface: SortListResponse
Interface: SortResponse
Interface: SortSimilarityResponse
Interface: UpdateReviewStatusRequest
type-aliases
Type Alias: ComputeGlbResponse
Type Alias: ComputeLubResponse
Type Alias: ConstraintDto
Type Alias: LearnedSimilarityStatusDto
Type Alias: SortCompareOperator
Type Alias: SortOriginDto
Type Alias: SortStatusDto
Sorts
Sources
interfaces
Interface: DiscoverableTypeDto
Interface: DiscoveredFeatureDto
Interface: DiscoveredSortDto
Interface: DiscoveredSourceRelationDto
Interface: DiscoverSchemaRequest
Interface: DiscoverSchemaResponse
Interface: IngestFromSourceRequest
Interface: IngestFromSourceResponse
Interface: ListSourcesResponse
Interface: ListSourceTypesResponse
Interface: ListTablesResponse
Interface: RegisterSourceRequest
Interface: RegisterSourceResponse
Interface: SourceDetailResponse
Interface: SourceSummaryDto
Interface: SourceTypeDto
Interface: StructuredIngestionStatsDto
type-aliases
Type Alias: SourceWriteMode
Sources
Spaces
interfaces
Interface: ChoicePointDto
Interface: ChoiceSelection
Interface: CommitRequest
Interface: CreateSpaceRequest
Interface: SearchStatsDto
Interface: SpaceResponse
Interface: SpaceSearchRequest
Interface: SpaceSolutionDto
Interface: TraceEventDto
Interface: VariableFeasibilityDto
type-aliases
Type Alias: SearchModeDto
Type Alias: SearchStrategyDto
Type Alias: SpaceConstraintDto
Type Alias: SpaceSearchResponse
Type Alias: SpaceStatusDto
Spaces
Sparql
interfaces
Interface: GraphSparqlQueryRequest
Interface: GraphSparqlResults
Interface: SparqlAskResults
Interface: SparqlOrderByKey
Interface: SparqlOsfqlLeaf
Interface: SparqlPlanNode
Interface: SparqlQueryRequest
Interface: SparqlSelectResults
Interface: SparqlTranslation
Interface: SparqlTripleTermValue
Interface: SparqlUpdateRequest
Interface: SparqlUpdateTranslation
type-aliases
Type Alias: SparqlBindingSet
Type Alias: SparqlEntailmentRegime
Type Alias: SparqlQueryForm
Type Alias: SparqlQueryResults
Type Alias: SparqlRdfTerm
Sparql
Speakers
interfaces
Interface: DeleteSpeakerRequest
Interface: EnrollSpeakerRequest
Interface: EnrollSpeakerResponse
Interface: ListSpeakersResponse
Interface: SpeakerProfile
Speakers
Speech
interfaces
Interface: EnrollVoiceRequest
Interface: ListEnginesResponse
Interface: ListVoicesResponse
Interface: OpenSpeechSessionRequest
Interface: OpenSpeechSessionResponse
Interface: SpeechEngine
Interface: SynthesizeSpeechRequest
Interface: TranscribeSpeechRequest
Interface: TranscribeSpeechResponse
Interface: VoiceConsent
Interface: VoiceProfile
Speech
Statistical
interfaces
Interface: CausalRelationshipDto
Interface: ConditionalIndependenceRequest
Interface: ConditionalIndependenceResponse
Interface: CorrelationRequest
Interface: CorrelationResponse
Interface: DiscoverCausalRequest
Interface: DiscoverCausalResponse
Interface: DiscoveryProofNodeDto
Interface: DiscoveryProofStatsDto
Interface: DiscoveryProofTreeDto
Interface: DiscoveryStateDto
Interface: DiscoveryStatusResponse
Interface: DynamicDiscoveryRequest
Interface: DynamicDiscoveryResponse
Interface: GESResultDto
Interface: InterventionObservationRequest
Interface: InterventionObservationResponse
Interface: InterventionRecommendationDto
Interface: ObserveMultiRequest
Interface: ObserveMultiResponse
Interface: ObservePairRequest
Interface: ObservePairResponse
Interface: ObserveSingleRequest
Interface: ObserveSingleResponse
Interface: OrientPairDiagnosticsDto
Interface: OrientPairFitDto
Interface: OrientPairIndependenceTestRequest
Interface: OrientPairRegressionRequest
Interface: OrientPairRequest
Interface: OrientPairResponse
Interface: PartialCorrelationRequest
Interface: PartialCorrelationResponse
Interface: StatisticalSuccessResponse
Interface: UncertainEdgeDto
type-aliases
Type Alias: DiscoveryStrategy
Type Alias: OrientPairDirectionDto
Type Alias: OrientPairRegressionBasisDto
Type Alias: OrientPairVerdictDto
Statistical
Streaming
interfaces
Interface: BloomFilterStats
Interface: FrequencyEstimate
Interface: FrequencyRequest
Interface: FrequencyResponse
Interface: HeavyHitterItem
Interface: HeavyHittersRequest
Interface: HeavyHittersResponse
Interface: MembershipRequest
Interface: MembershipResponse
Interface: MembershipResult
Interface: SketchDimensions
Streaming
Synthetic
interfaces
Interface: AugmentationTargetDto
Interface: CalibrateRequest
Interface: CalibrationReportDto
Interface: CheckDiversityRequest
Interface: CheckDiversityResponse
Interface: DataMixingStatsDto
Interface: DatasetStatisticsDto
Interface: DiversityAnalysisDto
Interface: EntityDto
Interface: EntityVerificationDetailDto
Interface: ExportJsonlResponse
Interface: ExtractionPredictionDto
Interface: FeatureMismatchDto
Interface: GenerateNegativesRequest
Interface: GenerateNegativesResponse
Interface: GenerateSyntheticDataRequest
Interface: GenerateSyntheticDataResponse
Interface: GenerationPromptRequest
Interface: GenerationPromptResponse
Interface: GenerationReportDto
Interface: NegativeExampleDto
Interface: SortCalibrationDto
Interface: TrainingExampleDto
Interface: VerbalizationResultDto
Interface: VerbalizeTermRequest
Interface: VerbalizeTermResponse
Interface: VerifyFaithfulnessRequest
Interface: VerifyFaithfulnessResponse
Interface: VerifyRoundTripRequest
Interface: VerifyRoundTripResponse
Synthetic
Temporal
interfaces
Interface: KripkeState
Interface: KripkeTransition
Interface: TemporalModelCheckRequest
Interface: TemporalModelCheckResponse
Interface: TemporalSeries
Interface: TemporalSeriesPoint
Interface: TemporalSeriesRequest
Interface: TemporalSeriesResponse
Interface: TemporalSeriesSpec
Interface: TemporalTrendSummary
type-aliases
Type Alias: CtlCounterExample
Type Alias: CtlFormula
Type Alias: SeriesEpochUnit
Type Alias: SeriesMissingPolicy
Type Alias: SeriesOperator
Type Alias: SeriesTimeSource
Type Alias: SeriesValueSource
Type Alias: SeriesWindowSpec
Temporal
Terms
interfaces
Interface: BulkAddTermsRequest
Interface: BulkAddTermsResponse
Interface: ClearTermsResponse
Interface: CreateTermRequest
Interface: ReferencedTermSummary
Interface: ResidualWitnessDto
Interface: ResiduationDto
Interface: TermDto
Interface: TermResponse
Interface: UpdateTermRequest
Interface: ValidatedTermResponse
Interface: ValidatedUnifyResponse
Interface: WitnessInstantiationDto
Interface: WitnessProofDto
type-aliases
Type Alias: TermState
Terms
Translation
interfaces
Interface: TranslateRequest
Interface: TranslateResponse
Translation
UI
interfaces
Interface: AffectedPreviewDto
Interface: LayoutSlotDto
Interface: LayoutSurfaceDto
Interface: UIActionRequest
Interface: UIActionResponse
Interface: UIAssemblyStatsDto
Interface: UICatalogEntry
Interface: UICatalogResponse
Interface: UIDescribeRequest
Interface: UIDescribeResponse
Interface: UIDescriptorDto
Interface: UIGenerateRequest
Interface: UIGenerateResponse
Interface: ValidationRuleDto
type-aliases
Type Alias: LayoutModeDto
Type Alias: RiskTier
Type Alias: UIActionDto
Type Alias: UiSort
Type Alias: ValidationTypeDto
UI
Utilities
interfaces
Interface: AscRequest
Interface: BatchCopyRequest
Interface: BatchStringCompareRequest
Interface: BitwiseRequest
Interface: ChrRequest
Interface: CopyTermRequest
Interface: DeepCopyRequest
Interface: MathFunctionRequest
Interface: ModularArithRequest
Interface: NumberFormatDto
Interface: NumberToStringRequest
Interface: RelationalArithRequest
Interface: SingleCopyRequest
Interface: StringComparePredicateRequest
Interface: StringCompareRequest
Interface: StringConcatRequest
Interface: StringLengthRequest
Interface: StringOpParams
Interface: StringOpRequest
Interface: SubstringRequest
type-aliases
Type Alias: ArithValueDto
Type Alias: BitwiseOperationType
Type Alias: CopyModeDto
Type Alias: MathFunctionType
Type Alias: ModularOperationType
Type Alias: NumberValueDto
Type Alias: StringCompareOperator
Type Alias: StringOperationType
Utilities
Values
interfaces
Interface: BellShape
Interface: BooleanValue
Interface: CauchyShape
Interface: CosineShape
Interface: CyclicGaussianShape
Interface: FuzzyNumberValue
Interface: FuzzyScalarValue
Interface: GaussianProductShape
Interface: GaussianShape
Interface: IntegerValue
Interface: ListValue
Interface: PiecewiseLinearShape
Interface: PiShapeShape
Interface: RealValue
Interface: ReferenceValue
Interface: SetValue
Interface: SigmoidDifferenceShape
Interface: SigmoidProductShape
Interface: SigmoidShape
Interface: SortIdValue
Interface: SpikeShape
Interface: SShapeShape
Interface: StringValue
Interface: TrapezoidalShape
Interface: TriangularShape
Interface: UninstantiatedValue
Interface: ZShapeShape
type-aliases
Type Alias: FeatureTargetDto
Type Alias: FeatureValueDto
Type Alias: FuzzyShapeDto
Type Alias: TaggedFeatureValueDto
Type Alias: ValueDto
Values
Verification
interfaces
Interface: CertificateDetail
Verification
Vision
interfaces
Interface: EncodeClipRequest
Interface: EncodeClipResponse
Interface: EncoderConfigOverrides
Interface: FrameSummary
Vision
Visualization
interfaces
Interface: ComponentDto
Interface: DegreeDistributionDto
Interface: GlbLubComputationTrace
Interface: GlbLubTraceRequest
Interface: GlbLubTraceStep
Interface: GraphEdgeDto
Interface: GraphMetadataDto
Interface: GraphNodeDto
Interface: HyperedgeDto
Interface: HypergraphRequest
Interface: HypergraphResponse
Interface: HypergraphStats
Interface: LatticeStats
Interface: LatticeVisualizationRequest
Interface: LatticeVisualizationResponse
Interface: LayoutHintsDto
Interface: ResiduatedTermDto
Interface: ResiduationStateRequest
Interface: ResiduationStateResponse
Interface: ResiduationStats
Interface: SortSummaryDto
Interface: TriggerDependencyRequest
Interface: TriggerDependencyResponse
Interface: VisualizationGraphDto
Interface: WaitingConditionDto
type-aliases
Type Alias: EdgeTypeDto
Type Alias: GlbLubOperation
Type Alias: HyperedgeTypeDto
Type Alias: LayoutAlgorithmDto
Type Alias: LayoutDirectionDto
Type Alias: NodeTypeDto
Type Alias: ResiduationKind
Type Alias: ResiduationStateDto
Type Alias: ResiduationStateFilter
Type Alias: WaitingConditionType
Visualization
WebhookActions
interfaces
Interface: ExternalActionSummaryDto
Interface: InvokeActionRequest
Interface: InvokeActionResponse
Interface: ListExternalActionsResponse
Interface: ListPendingInvocationsResponse
Interface: PendingInvocationDto
Interface: RegisterExternalActionRequest
Interface: RegisterExternalActionResponse
Interface: WebhookCallbackRequest
Interface: WebhookCallbackResponse
WebhookActions
classes
Class: ApiError
Class: AuthenticationError
Class: BadRequestError
Class: ConstraintViolationError
Class: ForbiddenError
Class: IngestionFailedError
Class: IngestionSession
Class: InternalServerError
Class: NetworkError
Class: NotFoundError
Class: RateLimitError
Class: ReasoningLayerClient
Class: ReasoningLayerError
Class: SortBuilder
Class: TimeoutError
Class: ValidationError
Class: WebSocketClient
Class: WebSocketConnection
functions
Function: allen()
Function: constrained()
Function: discriminateFeatureValue()
Function: guard()
Function: isConstrainedPlainVar()
Function: isPsiTermInput()
Function: isTaggedValueDto()
Function: isUuid()
Function: psi()
Function: toTaggedFeatures()
Function: toTaggedValue()
Function: toTermInputDto()
Function: toUntaggedFeatures()
Function: toUntaggedValue()
interfaces
Interface: AiGroup
Interface: AnalysisGroup
Interface: ApiResponse
Interface: ClassifyEdgesInput
Interface: ClassifyEdgesVars
Interface: ClientConfig
Interface: CoreGroup
Interface: DataGroup
Interface: ErrorResponse
Interface: FlowBuilderProblem
Interface: FlowEdgeOptions
Interface: FlowProblemInputBase
Interface: IngestionSyncOptions
Interface: MaxFlowInput
Interface: MaxFlowVars
Interface: MinCostMaxFlowInput
Interface: MinCostMaxFlowVars
Interface: MinCutInput
Interface: MinCutVars
Interface: PaginationParams
Interface: RateLimitInfo
Interface: ReasoningGroup
Interface: RequestOptions
Interface: SystemGroup
Interface: WorkflowGroup
type-aliases
Type Alias: ArithmeticOp
Type Alias: AuthConfig
Type Alias: ComparisonOp
Type Alias: FlowEdgeInput
Type Alias: FlowNode
Type Alias: Interceptor()
Type Alias: JsonValue
Type Alias: Operand
variables
Variable: Constraint
Variable: Flow
Variable: FuzzyShape
Variable: LP
Variable: SDK_VERSION
Variable: Value
Changelog
Select theme
Dark
Light
Auto
Select language
English
Français
OntologyFacade
@kortexya/reasoninglayer
@kortexya/reasoninglayer
/ OntologyFacade
OntologyFacade
Interfaces
ActionParameter
ActionType
ActionTypeListResponse
FunctionType
FunctionTypeListResponse
InterfaceType
InterfaceTypeListResponse
LinkType
LinkTypeListResponse
ObjectType
ObjectTypeListResponse
Property
