Module fuzzy_rdf_schema 

Fuzzy RDF schema — graded entailment (Ma, Li & Ma ch 3.3). RDFS reasoning with a degree: subClassOf/type hold to a degree in [0,1], and degrees compose along the class hierarchy by a t-norm.

Mission fit: “this guardianship relation is 0.6 a MedicalProxy” is a degree of role-holding; propagating it through the hierarchy with a t-norm reasons about partial agency without faking a crisp claim. Reuses the existing fuzzy operators (crate::modalities::fuzzy); kernel-class Reduction.

Functions

entailed_types

Convenience: given the closure matrix and an instance’s direct type degrees per class (type_of[c]), the entailed degree of membership in class c = max_a t-norm(type_of[a], closure[a][c]). Returns the entailed type degrees.

subclass_closure

Graded transitive closure of subClassOf. Input edges (sub, super, degree) over n classes. The closure degree that a ⊑ c is the best (t-conorm/max) over all paths of the t-norm (product) along each path. Diagonal is 1.0 (every class is a subclass of itself with full degree). Returns the n×n row-major degree matrix.

type_entailment

Degree to which an instance is of class c, given it is of class a with degree type_degree and a ⊑ c with subclass_degree: t-norm(type, subclass).