Portability | H98 |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
This module instantiates the VarBinding
types and methods for use
with RDF graph labels.
- type RDFVarBinding = VarBinding RDFLabel RDFLabel
- nullRDFVarBinding :: RDFVarBinding
- type RDFVarBindingModify = VarBindingModify RDFLabel RDFLabel
- type RDFOpenVarBindingModify = OpenVarBindingModify RDFLabel RDFLabel
- type RDFOpenVarBindingModifyMap = LookupMap RDFOpenVarBindingModify
- type RDFVarBindingFilter = VarBindingFilter RDFLabel RDFLabel
- rdfVarBindingUriRef :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingBlank :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingLiteral :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingUntypedLiteral :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingTypedLiteral :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingXMLLiteral :: RDFLabel -> RDFVarBindingFilter
- rdfVarBindingDatatyped :: RDFLabel -> RDFLabel -> RDFVarBindingFilter
- rdfVarBindingMemberProp :: RDFLabel -> RDFVarBindingFilter
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.
:: 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.