{- |
Module      :  ./OWL2/ColonKeywords.hs
Description :  String constants for OWL colon keywords to be used for parsing
  and printing
Copyright   :  (c) Christian Maeder DFKI Bremen 2008
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  Christian.Maeder@dfki.de
Stability   :  provisional
Portability :  portable

String constants for keywords followed by a colon to be used for parsing and
printing

- all identifiers are mixed case
  the keyword is followed by a capital C to indicate the final colon
-}

module OWL2.ColonKeywords where

colonKeywords :: [String]
colonKeywords :: [String]
colonKeywords =
  [ String
annotationPropertyC
  , String
annotationsC
  , String
characteristicsC
  , String
classC
  , String
dataPropertyC
  , String
datatypeC
  , String
differentFromC
  , String
differentIndividualsC
  , String
disjointUnionOfC
  , String
disjointWithC
  , String
domainC
  , String
equivalentToC
  , String
factsC
  , String
hasKeyC
  , String
importC
  , String
individualC
  , String
individualsC
  , String
inverseOfC
  , String
objectPropertyC
  , String
ontologyC
  , String
prefixC
  , String
rangeC
  , String
sameAsC
  , String
sameIndividualC
  , String
subClassOfC
  , String
subPropertyChainC
  , String
subPropertyOfC
  , String
typesC
  , String
ruleC ]

namespaceC :: String
namespaceC :: String
namespaceC = "Namespace:"

annotationPropertyC :: String
annotationPropertyC :: String
annotationPropertyC = "AnnotationProperty:"

annotationsC :: String
annotationsC :: String
annotationsC = "Annotations:"

characteristicsC :: String
characteristicsC :: String
characteristicsC = "Characteristics:"

classC :: String
classC :: String
classC = "Class:"

classesC :: String
classesC :: String
classesC = "Classes:"

dataPropertyC :: String
dataPropertyC :: String
dataPropertyC = "DataProperty:"

datatypeC :: String
datatypeC :: String
datatypeC = "Datatype:"

differentFromC :: String
differentFromC :: String
differentFromC = "DifferentFrom:"

differentIndividualsC :: String
differentIndividualsC :: String
differentIndividualsC = "DifferentIndividuals:"

disjointUnionOfC :: String
disjointUnionOfC :: String
disjointUnionOfC = "DisjointUnionOf:"

disjointWithC :: String
disjointWithC :: String
disjointWithC = "DisjointWith:"

domainC :: String
domainC :: String
domainC = "Domain:"

equivalentToC :: String
equivalentToC :: String
equivalentToC = "EquivalentTo:"

factsC :: String
factsC :: String
factsC = "Facts:"

hasKeyC :: String
hasKeyC :: String
hasKeyC = "HasKey:"

importC :: String
importC :: String
importC = "Import:"

individualC :: String
individualC :: String
individualC = "Individual:"

individualsC :: String
individualsC :: String
individualsC = "Individuals:"

inverseOfC :: String
inverseOfC :: String
inverseOfC = "InverseOf:"

objectPropertyC :: String
objectPropertyC :: String
objectPropertyC = "ObjectProperty:"

ontologyC :: String
ontologyC :: String
ontologyC = "Ontology:"

prefixC :: String
prefixC :: String
prefixC = "Prefix:"

propertiesC :: String
propertiesC :: String
propertiesC = "Properties:"

rangeC :: String
rangeC :: String
rangeC = "Range:"

sameAsC :: String
sameAsC :: String
sameAsC = "SameAs:"

sameIndividualC :: String
sameIndividualC :: String
sameIndividualC = "SameIndividual:"

subClassOfC :: String
subClassOfC :: String
subClassOfC = "SubClassOf:"

subPropertyChainC :: String
subPropertyChainC :: String
subPropertyChainC = "SubPropertyChain:"

subPropertyOfC :: String
subPropertyOfC :: String
subPropertyOfC = "SubPropertyOf:"

typesC :: String
typesC :: String
typesC = "Types:"

equivalentClassesC :: String
equivalentClassesC :: String
equivalentClassesC = "EquivalentClasses:"

disjointClassesC :: String
disjointClassesC :: String
disjointClassesC = "DisjointClasses:"

disjointPropertiesC :: String
disjointPropertiesC :: String
disjointPropertiesC = "DisjointProperties:"

equivalentPropertiesC :: String
equivalentPropertiesC :: String
equivalentPropertiesC = "EquivalentProperties:"

ruleC :: String
ruleC :: String
ruleC = "Rule:"