This modules provides support for the primitive XML-Schema (XSD) datatypes. It defines the type hierarchy which allows for reasoning over types as well as xsdp_convert/3 to convert XML content to a natural Prolog representation of the XSD type.

Based on the W3C definitions at

• http://www.w3.org/TR/xmlschema-2/#built-in-datatypes

The current implementation is incomplete and only there to test the API and its integration with rdf:dataType=Type handling in the RDF parser.

The extra 'p' in the module prefix (xsdp_*) is used to allow for a module xsd_*, providing full user-defined XSD types on top of this module.

 xsdp_type(?Type)

Test/generate the names for the XML schema primitive types

 xsdp_uri_type(?URI, ?Type)

True if URI is the URI for the the XML-Schema primitive Type.

 xsdp_subtype_of(?Type, ?Super)

True if Type is a (transitive) subtype of Super.

 xsdp_numeric_uri(?URI, -PromoteURI) is nondet

Table mapping all XML-Schema numeric URIs into the type they promote to. Types are promoted to integer, float, double and decimal.

 xsdp_convert(+Type, +Content, -Value)

Convert the content model Content to an object of the given XSD type and return the Prolog value in Value.