swish-0.3.2.1: A semantic web toolkit.

PortabilityH98
Stabilityexperimental
MaintainerDouglas Burke

Swish.RDF.RDFVarBinding

Description

This module instantiates the VarBinding types and methods for use with RDF graph labels.

Synopsis

Documentation

type RDFVarBinding = VarBinding RDFLabel RDFLabelSource

RDFVarBinding is the specific type type of a variable binding value used with RDF graph queries.

nullRDFVarBinding :: RDFVarBindingSource

maps no query variables.

type RDFVarBindingModify = VarBindingModify RDFLabel RDFLabelSource

Define type of query binding modifier for RDF graph inference

type RDFOpenVarBindingModify = OpenVarBindingModify RDFLabel RDFLabelSource

Open variable binding modifier that operates on RDFLabel values

type RDFOpenVarBindingModifyMap = LookupMap RDFOpenVarBindingModifySource

Define type for lookup map of open query binding modifiers

type RDFVarBindingFilter = VarBindingFilter RDFLabel RDFLabelSource

RDFVarBindingFilter is a function type that tests to see if a query binding satisfies some criterion, and is used to create a variable binding modifier that simply filers given variable bindings.

Queries often want to apply some kind of filter or condition to the variable bindings that are processed. In inference rules, it sometimes seems desirable to stipulate additional conditions on the things that are matched.

This function type is used to perform such tests. A number of simple implementations are included.

rdfVarBindingUriRef :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to a URI reference.

rdfVarBindingBlank :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to a blank node.

rdfVarBindingLiteral :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to a literal value.

rdfVarBindingUntypedLiteral :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to an untyped literal value.

rdfVarBindingTypedLiteral :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to a typed literal value.

rdfVarBindingXMLLiteral :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to an XML literal value.

rdfVarBindingDatatypedSource

Arguments

:: RDFLabel

variable bound to the required datatype.

-> RDFLabel

variable bound to the literal node to be tested.

-> RDFVarBindingFilter 

This function generates a query binding filter that ensures an indicated variable is bound to a literal value with a datatype whose URI is bound to another node

rdfVarBindingMemberProp :: RDFLabel -> RDFVarBindingFilterSource

This function generates a query binding filter that ensures an indicated variable is bound to container membership property.