Copyright | (c) 2003 Graham Klyne 2009 Vasili I Galchin 2011 Douglas Burke |
---|---|
License | GPL V2 |
Maintainer | Douglas Burke |
Stability | experimental |
Portability | OverloadedStrings |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
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.
Synopsis
- 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 :: Namespace Source #
Maps owl
to http://www.w3.org/2002/07/owl#.
owlOntology :: ScopedName Source #
owl:Ontology
.
owlimports :: ScopedName Source #
owl:imports
.
owlversionInfo :: ScopedName Source #
owl:versionInfo
.
owldeprecated :: ScopedName Source #
owl:deprecated
.
owlpriorVersion :: ScopedName Source #
owl:priorVersion
.
owlbackwardCompatibleWith :: ScopedName Source #
owl:backwartCompatibleWith
.
owlincompatibleWith :: ScopedName Source #
owl:incompatibleWith
.
owlClass :: ScopedName Source #
owl:Class
.
owlThing :: ScopedName Source #
owl:Thing
.
owlNothing :: ScopedName Source #
owl:Thing
.
owlNamedIndividual :: ScopedName Source #
owl:NamedIndividual
.
owlSameAs :: ScopedName Source #
owl:sameAs
.
owlequivalentClass :: ScopedName Source #
owl:equivalentClass
.
owlequivalentProperty :: ScopedName Source #
owl:equivalentProperty
.
owlObjectProperty :: ScopedName Source #
owl:ObjectProperty
.
owlDatatypeProperty :: ScopedName Source #
owl:DatatypeProperty
.
owlAnnotationProperty :: ScopedName Source #
owl:AnnotationProperty
.
owlrational :: ScopedName Source #
owl:rational
.
owlreal :: ScopedName Source #
owl:real
.