Swish.RDF.ClassRestrictionRule

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

Documentation

data ClassRestriction

Datatype for named class restriction

Constructors

ClassRestriction

Fields

• crName :: ScopedName
• crFunc :: ClassRestrictionFn

Instances

Eq ClassRestriction

Equality of class restrictions is based on the name of the restriction.

Defined in Swish.RDF.ClassRestrictionRule

Methods

(==) :: ClassRestriction -> ClassRestriction -> Bool

(/=) :: ClassRestriction -> ClassRestriction -> Bool

Show ClassRestriction

Defined in Swish.RDF.ClassRestrictionRule

Methods

showsPrec :: Int -> ClassRestriction -> ShowS

show :: ClassRestriction -> String

showList :: [ClassRestriction] -> ShowS

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

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

makeDatatypeRestriction :: RDFDatatypeVal vt -> DatatypeRel vt -> ClassRestriction

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 -> ClassRestrictionFn

Make a class restriction function from a datatype relation function.

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

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]

Make restriction rules from the supplied datatype and graph.

falseGraph :: RDFGraph

The graph

_:a <http://id.ninebynine.org/2003/rdfext/rdfd#false> _:b .

Exported for testing.

falseGraphStr :: Builder

Exported for testing.