Swish.RDF.RDFDatatypeXsdInteger

This module defines the structures used by swish to represent and manipulate RDF datatypes.

Documentation

rdfDatatypeXsdInteger :: RDFDatatype

rdfDatatypeValXsdInteger :: RDFDatatypeVal Integer

Define Datatype value for xsd:integer Members of this datatype are positive or negative integer values.

The lexical form consists of an option + or - followed by a sequence of decimal digits.

The canonical lexical form has leading zeros and + sign removed.

typeNameXsdInteger :: ScopedName

Type name for xsd:integer datatype

namespaceXsdInteger :: Namespace

Namespace for xsd:integer datatype functions

axiomsXsdInteger :: [RDFFormula]

rulesXsdInteger :: [RDFRule]

prefixXsdInteger :: String