content: {- |
  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 =
    [ annotationPropertyC
    , annotationsC
    , characteristicsC
    , classC
    , dataPropertyC
    , datatypeC
    , differentFromC
    , differentIndividualsC
    , disjointUnionOfC
    , disjointWithC
    , domainC
    , equivalentToC
    , factsC
    , hasKeyC
    , importC
    , individualC
    , individualsC
    , inverseOfC
    , objectPropertyC
    , ontologyC
    , prefixC
    , rangeC
    , sameAsC
    , sameIndividualC
    , subClassOfC
    , subPropertyChainC
    , subPropertyOfC
    , typesC
    , ruleC ]
  
  namespaceC :: String
  namespaceC = "Namespace:"
  
  annotationPropertyC :: String
  annotationPropertyC = "AnnotationProperty:"
  
  annotationsC :: String
  annotationsC = "Annotations:"
  
  characteristicsC :: String
  characteristicsC = "Characteristics:"
  
  classC :: String
  classC = "Class:"
  
  classesC :: String
  classesC = "Classes:"
  
  dataPropertyC :: String
  dataPropertyC = "DataProperty:"
  
  datatypeC :: String
  datatypeC = "Datatype:"
  
  differentFromC :: String
  differentFromC = "DifferentFrom:"
  
  differentIndividualsC :: String
  differentIndividualsC = "DifferentIndividuals:"
  
  disjointUnionOfC :: String
  disjointUnionOfC = "DisjointUnionOf:"
  
  disjointWithC :: String
  disjointWithC = "DisjointWith:"
  
  domainC :: String
  domainC = "Domain:"
  
  equivalentToC :: String
  equivalentToC = "EquivalentTo:"
  
  factsC :: String
  factsC = "Facts:"
  
  hasKeyC :: String
  hasKeyC = "HasKey:"
  
  importC :: String
  importC = "Import:"
  
  individualC :: String
  individualC = "Individual:"
  
  individualsC :: String
  individualsC = "Individuals:"
  
  inverseOfC :: String
  inverseOfC = "InverseOf:"
  
  objectPropertyC :: String
  objectPropertyC = "ObjectProperty:"
  
  ontologyC :: String
  ontologyC = "Ontology:"
  
  prefixC :: String
  prefixC = "Prefix:"
  
  propertiesC :: String
  propertiesC = "Properties:"
  
  rangeC :: String
  rangeC = "Range:"
  
  sameAsC :: String
  sameAsC = "SameAs:"
  
  sameIndividualC :: String
  sameIndividualC = "SameIndividual:"
  
  subClassOfC :: String
  subClassOfC = "SubClassOf:"
  
  subPropertyChainC :: String
  subPropertyChainC = "SubPropertyChain:"
  
  subPropertyOfC :: String
  subPropertyOfC = "SubPropertyOf:"
  
  typesC :: String
  typesC = "Types:"
  
  equivalentClassesC :: String
  equivalentClassesC = "EquivalentClasses:"
  
  disjointClassesC :: String
  disjointClassesC = "DisjointClasses:"
  
  disjointPropertiesC :: String
  disjointPropertiesC = "DisjointProperties:"
  
  equivalentPropertiesC :: String
  equivalentPropertiesC = "EquivalentProperties:"
  
  ruleC :: String
  ruleC = "Rule:"