Swish.RDF.Vocabulary

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

Namespaces

namespaceRDFD :: Namespace

Maps rdfd to http://id.ninebynine.org/2003/rdfext/rdfd#.

namespaceXsdType

Arguments

:: Text

lbl

-> Namespace

Namespace has prefix xsd_lbl and URI of http://id.ninebynine.org/2003/XMLSchema/lbl#.

Create a namespace for the datatype family schema used by Swish.

namespaceMATH :: Namespace

Maps math to http://www.w3.org/2000/10/swap/math#.

namespaceLOG :: Namespace

Maps log to http://www.w3.org/2000/10/swap/log#.

namespaceDAML :: Namespace

Maps daml to http://www.daml.org/2000/10/daml-ont#.

namespaceDefault :: Namespace

Maps default to http://id.ninebynine.org/default/.

namespaceSwish :: Namespace

Maps swish to http://id.ninebynine.org/2003/Swish/.

namespaceLang :: Namespace

Maps lang to http://id.ninebynine.org/2003/Swish/Lang/.

RDF rules

The namespaces refer to RDF rules and axioms.

scopeRDF :: Namespace

Maps rs_rdf to http://id.ninebynine.org/2003/Ruleset/rdf#.

scopeRDFS :: Namespace

Maps rs_rdfs to http://id.ninebynine.org/2003/Ruleset/rdfs#.

scopeRDFD :: Namespace

Maps rs_rdfd to http://id.ninebynine.org/2003/Ruleset/rdfd#.

Miscellaneous routines

langName

Arguments

:: 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 -> Text

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 -> Bool

Is the scoped name in the namespaceLang namespace?

swishName :: Text -> ScopedName

Convert a local name to a scoped name in the swish namespace (namespaceSwish).

Miscellaneous

rdfdGeneralRestriction :: ScopedName

rdfd:GeneralRestriction.

rdfdOnProperties :: ScopedName

rdfd:onProperties.

rdfdConstraint :: ScopedName

rdfd:constraint.

rdfdMaxCardinality :: ScopedName

rdfd:maxCardinality.

logImplies :: ScopedName

log:implies.

defaultBase :: ScopedName

default:base.

Re-exported modules

module Swish.RDF.Vocabulary.RDF

module Swish.RDF.Vocabulary.OWL

module Swish.RDF.Vocabulary.XSD