swish-0.9.1.7: A semantic web toolkit.

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

Swish.RDF.Datatype.XSD.String

Description

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

Synopsis

- rdfDatatypeXsdString :: RDFDatatype
- rdfDatatypeValXsdString :: RDFDatatypeVal Text
- typeNameXsdString :: ScopedName
- namespaceXsdString :: Namespace
- axiomsXsdString :: [RDFFormula]
- rulesXsdString :: [RDFRule]

# Documentation

rdfDatatypeXsdString :: RDFDatatype Source

The RDFDatatype value for `xsd:string`.

rdfDatatypeValXsdString :: RDFDatatypeVal Text Source

Define Datatype value for `xsd:string`.

typeNameXsdString :: ScopedName Source

Type name for `xsd:string` datatype

namespaceXsdString :: Namespace Source

Namespace for `xsd:string` datatype functions

axiomsXsdString :: [RDFFormula] Source

The axioms for `xsd:string`, which are

    xsd:string a rdfs:Datatype .

rulesXsdString :: [RDFRule] Source

The rules for `xsd:string`.