Portability | OverloadedStrings |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
Safe Haskell | Safe-Infered |
This module defines some commonly used vocabulary terms,
using the Namespace
and ScopedName
data types. Additional vocabularies
are available in the set of Swish.RDF.Vocabulary.*
modules, parts of
which are re-exported by this module
- namespaceRDFD :: Namespace
- namespaceXsdType :: Text -> Namespace
- namespaceMATH :: Namespace
- namespaceLOG :: Namespace
- namespaceDAML :: Namespace
- namespaceDefault :: Namespace
- namespaceSwish :: Namespace
- namespaceLang :: Namespace
- scopeRDF :: Namespace
- scopeRDFS :: Namespace
- scopeRDFD :: Namespace
- langName :: Text -> ScopedName
- langTag :: ScopedName -> Text
- isLang :: ScopedName -> Bool
- swishName :: Text -> ScopedName
- rdfdGeneralRestriction :: ScopedName
- rdfdOnProperties :: ScopedName
- rdfdConstraint :: ScopedName
- rdfdMaxCardinality :: ScopedName
- logImplies :: ScopedName
- defaultBase :: ScopedName
- module Swish.RDF.Vocabulary.RDF
- module Swish.RDF.Vocabulary.OWL
- module Swish.RDF.Vocabulary.XSD
Namespaces
namespaceRDFD :: NamespaceSource
Maps rdfd
to http://id.ninebynine.org/2003/rdfext/rdfd#
.
:: Text | lbl |
-> Namespace | Namespace has prefix |
Create a namespace for the datatype family schema used by Swish.
namespaceMATH :: NamespaceSource
Maps math
to http://www.w3.org/2000/10/swap/math#.
namespaceLOG :: NamespaceSource
Maps log
to http://www.w3.org/2000/10/swap/log#.
namespaceDAML :: NamespaceSource
Maps daml
to http://www.daml.org/2000/10/daml-ont#.
namespaceDefault :: NamespaceSource
Maps default
to http://id.ninebynine.org/default/
.
namespaceSwish :: NamespaceSource
Maps swish
to http://id.ninebynine.org/2003/Swish/
.
namespaceLang :: NamespaceSource
Maps lang
to http://id.ninebynine.org/2003/Swish/Lang/
.
RDF rules
The namespaces refer to RDF rules and axioms.
Miscellaneous routines
:: Text | The lower-case version of this label is used. |
-> ScopedName |
Convert the label to a scoped name in the lang
namespace (namespaceLang
).
langTag :: ScopedName -> TextSource
Get the name of the language tag (note that the result is
only guaranteed to be semantically valid if isLang
returns True
but that there is no enforcement of this requirement).
isLang :: ScopedName -> BoolSource
Is the scoped name in the namespaceLang
namespace?
swishName :: Text -> ScopedNameSource
Convert a local name to a scoped name in the swish
namespace (namespaceSwish
).
Miscellaneous
rdfdGeneralRestriction :: ScopedNameSource
rdfd:GeneralRestriction
.
rdfdOnProperties :: ScopedNameSource
rdfd:onProperties
.
rdfdConstraint :: ScopedNameSource
rdfd:constraint
.
rdfdMaxCardinality :: ScopedNameSource
rdfd:maxCardinality
.
logImplies :: ScopedNameSource
log:implies
.
defaultBase :: ScopedNameSource
default:base
.
Re-exported modules
module Swish.RDF.Vocabulary.RDF
module Swish.RDF.Vocabulary.OWL
module Swish.RDF.Vocabulary.XSD