Expand description
Degree-annotated solutions and the algebra that composes them.
A FuzzySolution is one of the engine’s BindingRows plus a truth degree. A
FuzzyResultSet is a sequence of them, with the relational-algebra-over-degrees
operations f-SPARQL needs: conjunctive join (BGP / AND, degree via t-norm),
union (UNION, t-conorm), projection (existential, max degree per distinct
projection), negation, α-cut threshold, and ranking by degree.
Structs§
- Fuzzy
Result Set - A bag of degree-annotated solutions.
- Fuzzy
Solution - One solution with its truth degree in
[0, 1].