swish- A semantic web toolkit.

MaintainerDouglas Burke



This module implements an inference rule based on a restruction on class membership of one or more values.



type ClassRestrictionFn = [Maybe RDFLabel] -> Maybe [[RDFLabel]]Source

Type of function that evaluates missing node values in a restriction from those supplied.

makeDatatypeRestriction :: RDFDatatypeVal vt -> DatatypeRel vt -> ClassRestrictionSource

Make a class restriction from a datatype relation.

This lifts application of the datatype relation to operate on RDFLabel values, which are presumed to contain appropriately datatyped values.

makeDatatypeRestrictionFn :: RDFDatatypeVal vt -> DatatypeRelFn vt -> ClassRestrictionFnSource

Make a class restriction function from a datatype relation function.

makeRDFClassRestrictionRules :: [ClassRestriction] -> RDFGraph -> [RDFRule]Source

Make a list of class restriction rules given a list of class restriction values and a graph containing one or more class restriction definitions.