swish-0.10.1.0: A semantic web toolkit.

Copyright | (c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 2012 Douglas Burke
License | GPL V2
Maintainer | Douglas Burke
Stability | experimental
Portability | OverloadedStrings
Safe Haskell | None
Language | Haskell2010

Swish.RDF.VarBinding

Description

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

Synopsis

- type RDFVarBinding = VarBinding RDFLabel RDFLabel
- type RDFVarBindingModify = VarBindingModify RDFLabel RDFLabel
- type RDFOpenVarBindingModify = OpenVarBindingModify RDFLabel RDFLabel
- type RDFOpenVarBindingModifyMap = Map ScopedName RDFOpenVarBindingModify
- type RDFVarBindingFilter = VarBindingFilter RDFLabel RDFLabel
- nullRDFVarBinding :: RDFVarBinding
- 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 RDFLabel Source #

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

type RDFVarBindingModify = VarBindingModify RDFLabel RDFLabel Source #

Define type of query binding modifier for RDF graph inference

type RDFOpenVarBindingModify = OpenVarBindingModify RDFLabel RDFLabel Source #

Open variable binding modifier that operates on RDFLabel values

type RDFOpenVarBindingModifyMap = Map ScopedName RDFOpenVarBindingModify Source #

Define type for lookup map of open query binding modifiers

type RDFVarBindingFilter = VarBindingFilter RDFLabel RDFLabel Source #

`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.

nullRDFVarBinding :: RDFVarBinding Source #

maps no query variables.

rdfVarBindingUriRef :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingBlank :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingLiteral :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingUntypedLiteral :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingTypedLiteral :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingXMLLiteral :: RDFLabel -> RDFVarBindingFilter Source #

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

rdfVarBindingDatatyped Source #

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 -> RDFVarBindingFilter Source #

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