Portability | OverloadedStrings |
---|---|
Stability | experimental |
Maintainer | Douglas Burke |
Safe Haskell | None |
This module defines vocabulary terms from the OWL vocabulary. Note that there
is an unfortunate mixture of styles for property names - e.g. owlSameAs
and owlequivalentClass
. At present there is no systematic attempt to
include terms from the vocabulary.
- namespaceOWL :: Namespace
- owlOntology :: ScopedName
- owlimports :: ScopedName
- owlversionInfo :: ScopedName
- owldeprecated :: ScopedName
- owlpriorVersion :: ScopedName
- owlbackwardCompatibleWith :: ScopedName
- owlincompatibleWith :: ScopedName
- owlClass :: ScopedName
- owlThing :: ScopedName
- owlNothing :: ScopedName
- owlNamedIndividual :: ScopedName
- owlSameAs :: ScopedName
- owlequivalentClass :: ScopedName
- owlequivalentProperty :: ScopedName
- owlObjectProperty :: ScopedName
- owlDatatypeProperty :: ScopedName
- owlAnnotationProperty :: ScopedName
- owlrational :: ScopedName
- owlreal :: ScopedName
Documentation
namespaceOWL :: NamespaceSource
Maps owl
to http://www.w3.org/2002/07/owl#.
owlOntology :: ScopedNameSource
owl:Ontology
.
owlimports :: ScopedNameSource
owl:imports
.
owlversionInfo :: ScopedNameSource
owl:versionInfo
.
owldeprecated :: ScopedNameSource
owl:deprecated
.
owlpriorVersion :: ScopedNameSource
owl:priorVersion
.
owlbackwardCompatibleWith :: ScopedNameSource
owl:backwartCompatibleWith
.
owlincompatibleWith :: ScopedNameSource
owl:incompatibleWith
.
owl:Class
.
owl:Thing
.
owlNothing :: ScopedNameSource
owl:Thing
.
owlNamedIndividual :: ScopedNameSource
owl:NamedIndividual
.
owl:sameAs
.
owlequivalentClass :: ScopedNameSource
owl:equivalentClass
.
owlequivalentProperty :: ScopedNameSource
owl:equivalentProperty
.
owlObjectProperty :: ScopedNameSource
owl:ObjectProperty
.
owlDatatypeProperty :: ScopedNameSource
owl:DatatypeProperty
.
owlAnnotationProperty :: ScopedNameSource
owl:AnnotationProperty
.
owlrational :: ScopedNameSource
owl:rational
.
owl:real
.