{- |
Module      :  ./OWL2/XMLKeywords.hs
Copyright   :  (c) Felix Gabriel Mance
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  f.mance@jacobs-university.de
Stability   :  provisional
Portability :  portable

Kewyords used for XML conversions
-}

module OWL2.XMLKeywords where

ontologyIRIK :: String
ontologyIRIK :: String
ontologyIRIK = "ontologyIRI"

iriK :: String
iriK :: String
iriK = "IRI"

abbreviatedIRI :: String
abbreviatedIRI :: String
abbreviatedIRI = "AbbreviatedIRI"

nodeID :: String
nodeID :: String
nodeID = "nodeID"

prefixK :: String
prefixK :: String
prefixK = "Prefix"

importK :: String
importK :: String
importK = "Import"

classK :: String
classK :: String
classK = "Class"

datatypeK :: String
datatypeK :: String
datatypeK = "Datatype"

namedIndividualK :: String
namedIndividualK :: String
namedIndividualK = "NamedIndividual"

objectPropertyK :: String
objectPropertyK :: String
objectPropertyK = "ObjectProperty"

dataPropertyK :: String
dataPropertyK :: String
dataPropertyK = "DataProperty"

annotationPropertyK :: String
annotationPropertyK :: String
annotationPropertyK = "AnnotationProperty"

anonymousIndividualK :: String
anonymousIndividualK :: String
anonymousIndividualK = "AnonymousIndividual"

facetRestrictionK :: String
facetRestrictionK :: String
facetRestrictionK = "FacetRestriction"

literalK :: String
literalK :: String
literalK = "Literal"

declarationK :: String
declarationK :: String
declarationK = "Declaration"

annotationK :: String
annotationK :: String
annotationK = "Annotation"

objectInverseOfK :: String
objectInverseOfK :: String
objectInverseOfK = "ObjectInverseOf"

datatypeRestrictionK :: String
datatypeRestrictionK :: String
datatypeRestrictionK = "DatatypeRestriction"

dataComplementOfK :: String
dataComplementOfK :: String
dataComplementOfK = "DataComplementOf"

dataOneOfK :: String
dataOneOfK :: String
dataOneOfK = "DataOneOf"

dataIntersectionOfK :: String
dataIntersectionOfK :: String
dataIntersectionOfK = "DataIntersectionOf"

dataUnionOfK :: String
dataUnionOfK :: String
dataUnionOfK = "DataUnionOf"

objectIntersectionOfK :: String
objectIntersectionOfK :: String
objectIntersectionOfK = "ObjectIntersectionOf"

objectUnionOfK :: String
objectUnionOfK :: String
objectUnionOfK = "ObjectUnionOf"

objectComplementOfK :: String
objectComplementOfK :: String
objectComplementOfK = "ObjectComplementOf"

objectOneOfK :: String
objectOneOfK :: String
objectOneOfK = "ObjectOneOf"

objectSomeValuesFromK :: String
objectSomeValuesFromK :: String
objectSomeValuesFromK = "ObjectSomeValuesFrom"

objectAllValuesFromK :: String
objectAllValuesFromK :: String
objectAllValuesFromK = "ObjectAllValuesFrom"

objectHasValueK :: String
objectHasValueK :: String
objectHasValueK = "ObjectHasValue"

objectHasSelfK :: String
objectHasSelfK :: String
objectHasSelfK = "ObjectHasSelf"

objectMinCardinalityK :: String
objectMinCardinalityK :: String
objectMinCardinalityK = "ObjectMinCardinality"

objectMaxCardinalityK :: String
objectMaxCardinalityK :: String
objectMaxCardinalityK = "ObjectMaxCardinality"

objectExactCardinalityK :: String
objectExactCardinalityK :: String
objectExactCardinalityK = "ObjectExactCardinality"

dataSomeValuesFromK :: String
dataSomeValuesFromK :: String
dataSomeValuesFromK = "DataSomeValuesFrom"

dataAllValuesFromK :: String
dataAllValuesFromK :: String
dataAllValuesFromK = "DataAllValuesFrom"

dataHasValueK :: String
dataHasValueK :: String
dataHasValueK = "DataHasValue"

dataMinCardinalityK :: String
dataMinCardinalityK :: String
dataMinCardinalityK = "DataMinCardinality"

dataMaxCardinalityK :: String
dataMaxCardinalityK :: String
dataMaxCardinalityK = "DataMaxCardinality"

dataExactCardinalityK :: String
dataExactCardinalityK :: String
dataExactCardinalityK = "DataExactCardinality"

subClassOfK :: String
subClassOfK :: String
subClassOfK = "SubClassOf"

equivalentClassesK :: String
equivalentClassesK :: String
equivalentClassesK = "EquivalentClasses"

disjointClassesK :: String
disjointClassesK :: String
disjointClassesK = "DisjointClasses"

disjointUnionK :: String
disjointUnionK :: String
disjointUnionK = "DisjointUnion"

datatypeDefinitionK :: String
datatypeDefinitionK :: String
datatypeDefinitionK = "DatatypeDefinition"

hasKeyK :: String
hasKeyK :: String
hasKeyK = "HasKey"

subObjectPropertyOfK :: String
subObjectPropertyOfK :: String
subObjectPropertyOfK = "SubObjectPropertyOf"

objectPropertyChainK :: String
objectPropertyChainK :: String
objectPropertyChainK = "ObjectPropertyChain"

equivalentObjectPropertiesK :: String
equivalentObjectPropertiesK :: String
equivalentObjectPropertiesK = "EquivalentObjectProperties"

disjointObjectPropertiesK :: String
disjointObjectPropertiesK :: String
disjointObjectPropertiesK = "DisjointObjectProperties"

objectPropertyDomainK :: String
objectPropertyDomainK :: String
objectPropertyDomainK = "ObjectPropertyDomain"

objectPropertyRangeK :: String
objectPropertyRangeK :: String
objectPropertyRangeK = "ObjectPropertyRange"

inverseObjectPropertiesK :: String
inverseObjectPropertiesK :: String
inverseObjectPropertiesK = "InverseObjectProperties"

functionalObjectPropertyK :: String
functionalObjectPropertyK :: String
functionalObjectPropertyK = "FunctionalObjectProperty"

inverseFunctionalObjectPropertyK :: String
inverseFunctionalObjectPropertyK :: String
inverseFunctionalObjectPropertyK = "InverseFunctionalObjectProperty"

reflexiveObjectPropertyK :: String
reflexiveObjectPropertyK :: String
reflexiveObjectPropertyK = "ReflexiveObjectProperty"

irreflexiveObjectPropertyK :: String
irreflexiveObjectPropertyK :: String
irreflexiveObjectPropertyK = "IrreflexiveObjectProperty"

symmetricObjectPropertyK :: String
symmetricObjectPropertyK :: String
symmetricObjectPropertyK = "SymmetricObjectProperty"

asymmetricObjectPropertyK :: String
asymmetricObjectPropertyK :: String
asymmetricObjectPropertyK = "AsymmetricObjectProperty"

antisymmetricObjectPropertyK :: String
antisymmetricObjectPropertyK :: String
antisymmetricObjectPropertyK = "AntisymmetricObjectProperty"

transitiveObjectPropertyK :: String
transitiveObjectPropertyK :: String
transitiveObjectPropertyK = "TransitiveObjectProperty"

subDataPropertyOfK :: String
subDataPropertyOfK :: String
subDataPropertyOfK = "SubDataPropertyOf"

equivalentDataPropertiesK :: String
equivalentDataPropertiesK :: String
equivalentDataPropertiesK = "EquivalentDataProperties"

disjointDataPropertiesK :: String
disjointDataPropertiesK :: String
disjointDataPropertiesK = "DisjointDataProperties"

dataPropertyDomainK :: String
dataPropertyDomainK :: String
dataPropertyDomainK = "DataPropertyDomain"

dataPropertyRangeK :: String
dataPropertyRangeK :: String
dataPropertyRangeK = "DataPropertyRange"

functionalDataPropertyK :: String
functionalDataPropertyK :: String
functionalDataPropertyK = "FunctionalDataProperty"

dataPropertyAssertionK :: String
dataPropertyAssertionK :: String
dataPropertyAssertionK = "DataPropertyAssertion"

negativeDataPropertyAssertionK :: String
negativeDataPropertyAssertionK :: String
negativeDataPropertyAssertionK = "NegativeDataPropertyAssertion"

objectPropertyAssertionK :: String
objectPropertyAssertionK :: String
objectPropertyAssertionK = "ObjectPropertyAssertion"

negativeObjectPropertyAssertionK :: String
negativeObjectPropertyAssertionK :: String
negativeObjectPropertyAssertionK = "NegativeObjectPropertyAssertion"

sameIndividualK :: String
sameIndividualK :: String
sameIndividualK = "SameIndividual"

differentIndividualsK :: String
differentIndividualsK :: String
differentIndividualsK = "DifferentIndividuals"

classAssertionK :: String
classAssertionK :: String
classAssertionK = "ClassAssertion"

annotationAssertionK :: String
annotationAssertionK :: String
annotationAssertionK = "AnnotationAssertion"

subAnnotationPropertyOfK :: String
subAnnotationPropertyOfK :: String
subAnnotationPropertyOfK = "SubAnnotationPropertyOf"

annotationPropertyDomainK :: String
annotationPropertyDomainK :: String
annotationPropertyDomainK = "AnnotationPropertyDomain"

annotationPropertyRangeK :: String
annotationPropertyRangeK :: String
annotationPropertyRangeK = "AnnotationPropertyRange"

dlSafeRuleK :: String
dlSafeRuleK :: String
dlSafeRuleK = "DLSafeRule"

dgRuleK :: String
dgRuleK :: String
dgRuleK = "DGRule"

dgAxiomK :: String
dgAxiomK :: String
dgAxiomK = "DGAxiom"

classAtomK :: String
classAtomK :: String
classAtomK = "ClassAtom"

dataRangeAtomK :: String
dataRangeAtomK :: String
dataRangeAtomK = "DataRangeAtom"

objectPropertyAtomK :: String
objectPropertyAtomK :: String
objectPropertyAtomK = "ObjectPropertyAtom"

dataPropertyAtomK :: String
dataPropertyAtomK :: String
dataPropertyAtomK = "DataPropertyAtom"

builtInAtomK :: String
builtInAtomK :: String
builtInAtomK = "BuiltInAtom"

sameIndividualAtomK :: String
sameIndividualAtomK :: String
sameIndividualAtomK = "SameIndividualAtom"

differentIndividualsAtomK :: String
differentIndividualsAtomK :: String
differentIndividualsAtomK = "DifferentIndividualsAtom"

unknownUnaryAtomK :: String
unknownUnaryAtomK :: String
unknownUnaryAtomK = "UnknownUnaryAtom"

unknownBinaryAtomK :: String
unknownBinaryAtomK :: String
unknownBinaryAtomK = "UnknownBianryAtom"

dgClassAtomK :: String
dgClassAtomK :: String
dgClassAtomK = "DGClassAtom"

dgObjectPropertyAtomK :: String
dgObjectPropertyAtomK :: String
dgObjectPropertyAtomK = "DGObjectPropertyAtom"

dgNodesK :: String
dgNodesK :: String
dgNodesK = "DGNodes"

dgNodeAssertionK :: String
dgNodeAssertionK :: String
dgNodeAssertionK = "DGNodeAssertion"

dgEdgesK :: String
dgEdgesK :: String
dgEdgesK = "DGEdges"

dgEdgeAssertionK :: String
dgEdgeAssertionK :: String
dgEdgeAssertionK = "DGEdgeAssertion"

individualArgumentK :: String
individualArgumentK :: String
individualArgumentK  = "IndividualArgument"

individualVariableK :: String
individualVariableK :: String
individualVariableK = "IndividualVariable"

dataVariableK :: String
dataVariableK :: String
dataVariableK = "DataVariable"

variableK :: String
variableK :: String
variableK = "Variable"

entityList :: [String]
entityList :: [String]
entityList = [String
classK, String
datatypeK, String
namedIndividualK,
    String
objectPropertyK, String
dataPropertyK, String
annotationPropertyK]

annotationValueList :: [String]
annotationValueList :: [String]
annotationValueList = [String
literalK, String
iriK, String
abbreviatedIRI, String
anonymousIndividualK]

annotationSubjectList :: [String]
annotationSubjectList :: [String]
annotationSubjectList = [String
iriK, String
abbreviatedIRI, String
anonymousIndividualK]

individualList :: [String]
individualList :: [String]
individualList = [String
namedIndividualK, String
anonymousIndividualK]

objectPropList :: [String]
objectPropList :: [String]
objectPropList = [String
objectPropertyK, String
objectInverseOfK]

dataPropList :: [String]
dataPropList :: [String]
dataPropList = [String
dataPropertyK]

dataRangeList :: [String]
dataRangeList :: [String]
dataRangeList = [String
datatypeK, String
datatypeRestrictionK, String
dataComplementOfK,
      String
dataOneOfK, String
dataIntersectionOfK, String
dataUnionOfK]

classExpressionList :: [String]
classExpressionList :: [String]
classExpressionList = [String
classK, String
objectIntersectionOfK, String
objectUnionOfK,
     String
objectComplementOfK, String
objectOneOfK, String
objectSomeValuesFromK,
     String
objectAllValuesFromK, String
objectHasValueK, String
objectHasSelfK,
     String
objectMinCardinalityK, String
objectMaxCardinalityK, String
objectExactCardinalityK,
     String
dataSomeValuesFromK, String
dataAllValuesFromK, String
dataHasValueK,
     String
dataMinCardinalityK, String
dataMaxCardinalityK, String
dataExactCardinalityK]