Swish.RDF.Datatype.XSD.String

This module defines the structures used to represent and manipulate RDF xsd:string datatyped literals.

Documentation

rdfDatatypeXsdString :: RDFDatatype

The RDFDatatype value for xsd:string.

rdfDatatypeValXsdString :: RDFDatatypeVal Text

Define Datatype value for xsd:string.

typeNameXsdString :: ScopedName

Type name for xsd:string datatype

namespaceXsdString :: Namespace

Namespace for xsd:string datatype functions

axiomsXsdString :: [RDFFormula]

The axioms for xsd:string, which are

 xsd:string a rdfs:Datatype .

rulesXsdString :: [RDFRule]

The rules for xsd:string.