Interface: GetPreorderDegreeResponse
@kortexya/reasoninglayer / Sorts / GetPreorderDegreeResponse
Interface: GetPreorderDegreeResponse
Defined in: src/types/sorts.ts:421
Response for preorder degree query.
Remarks
Per Definition IV.5 (Milanese and Pasi 2024), the combined preorder is:
preorder_dot = ((similarity - subsumption) union subsumption)^+
Properties
degree
degree:
number
Defined in: src/types/sorts.ts:432
Preorder degree in [0, 1].
- 1.0 = subsumption (sort1 <= sort2)
- 0.0 < x < 1.0 = reachable via similarity-subsumption chain
- 0.0 = not reachable
sort1Id
sort1Id:
string
Defined in: src/types/sorts.ts:423
Source sort UUID.
sort2Id
sort2Id:
string
Defined in: src/types/sorts.ts:425
Target sort UUID.