an extension point to allow alternate names and internationalization for Skolem constants
A Skolem individual constant, like RDF's blank nodes.
See http://deliberation.ruleml.org/1.02/glossary/#gloss-Skolem
Skolems optionally accept the attribute pattern of objects with user-defined types.
The content model for skolems is the XSD datatype token.