Portability | MultiParamTypeClasses |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
This module implements an inference rule based on a restruction on class membership of one or more values.
- data ClassRestriction = ClassRestriction {}
- type ClassRestrictionFn = [Maybe RDFLabel] -> Maybe [[RDFLabel]]
- makeDatatypeRestriction :: RDFDatatypeVal vt -> DatatypeRel vt -> ClassRestriction
- makeDatatypeRestrictionFn :: RDFDatatypeVal vt -> DatatypeRelFn vt -> ClassRestrictionFn
- makeRDFClassRestrictionRules :: [ClassRestriction] -> RDFGraph -> [RDFRule]
- makeRDFDatatypeRestrictionRules :: RDFDatatypeVal vt -> RDFGraph -> [RDFRule]
- falseGraph :: RDFGraph
- falseGraphStr :: String
Documentation
data ClassRestriction Source
Datatype for named class restriction
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.
makeRDFDatatypeRestrictionRules :: RDFDatatypeVal vt -> RDFGraph -> [RDFRule]Source