Interface: GetPreorderDegreeResponse
@kortexya/reasoninglayer / GetPreorderDegreeResponse
Interface: GetPreorderDegreeResponse
Section titled “Interface: GetPreorderDegreeResponse”Defined in: src/types/sorts.ts:1005
Response for preorder degree query.
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. A chain survives when its ENDPOINTS are not directly similar.
Properties
Section titled “Properties”degree
Section titled “degree”degree:
number
Defined in: src/types/sorts.ts:1016
Preorder degree in [0, 1].
- 1.0 = subsumption (sort1 <= sort2)
- 0.0 < x < 1.0 = reachable via similarity-subsumption chain
- 0.0 = not reachable
granularity
Section titled “granularity”granularity:
SortPreorderGranularity
Defined in: src/types/sorts.ts:1025
Which preorder produced GetPreorderDegreeResponse.degree.
Remarks
Section titled “Remarks”Always present, so a 0.0 is never ambiguous between “no path” and “the
pair deletion zeroed it”. It echoes the request’s granularity, or
similarity_deleted when the request omitted one.
sort1Id
Section titled “sort1Id”sort1Id:
string
Defined in: src/types/sorts.ts:1007
Source sort UUID.
sort2Id
Section titled “sort2Id”sort2Id:
string
Defined in: src/types/sorts.ts:1009
Target sort UUID.