Interface: GetPreorderDegreeRequest
@kortexya/reasoninglayer / GetPreorderDegreeRequest
Interface: GetPreorderDegreeRequest
Section titled “Interface: GetPreorderDegreeRequest”Defined in: src/types/sorts.ts:980
Request to compute preorder degree between two sorts.
Remarks
Section titled “Remarks”Per Definition IV.5 (Milanese and Pasi, IEEE TFS 2024), the dotted preorder
is preorder_dot = ((combined_preorder .- similarity) union subsumption)^+,
where .- DELETES each directly-similar pair — it is not an arithmetic
difference. granularity selects this reading or the combined one.
Properties
Section titled “Properties”granularity?
Section titled “granularity?”
optionalgranularity?:SortPreorderGranularity
Defined in: src/types/sorts.ts:993
Which preorder to read the degree from.
Remarks
Section titled “Remarks”Omitted means similarity_deleted, the engine’s default. Ask for
combined when the question is “how close are these two sorts”; keep the
default when it is “does this sort substitute for that one”.
sort1Id
Section titled “sort1Id”sort1Id:
string
Defined in: src/types/sorts.ts:982
First sort UUID.
sort2Id
Section titled “sort2Id”sort2Id:
string
Defined in: src/types/sorts.ts:984
Second sort UUID.