swish-0.10.9.0: A semantic web toolkit.
Copyright(c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 2012 2014 2024 Douglas Burke
LicenseGPL V2
MaintainerDouglas Burke
Stabilityexperimental
PortabilityCPP, OverloadedStrings
Safe HaskellSafe-Inferred
LanguageHaskell2010

Swish.RDF.Datatype.XSD.String

Description

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

Synopsis

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.