{- |
Module      :  ./OWL2/ASKeywords.hs
Description :  AS string constants for printing
-}

module OWL2.ASKeywords where

objectInverseOfS :: String
objectInverseOfS = "ObjectInverseOf"

datatypeRestrictionS :: String
datatypeRestrictionS = "DatatypeRestriction"

dataUnionOfS :: String
dataUnionOfS = "DataUnionOf"

dataIntersectionOfS :: String
dataIntersectionOfS = "DataIntersectionOf"

dataComplementOfS :: String
dataComplementOfS = "DataComplementOf"

dataOneOfS :: String
dataOneOfS = "DataOneOf"

objectIntersectionOfS :: String
objectIntersectionOfS = "ObjectIntersectionOf"

objectUnionOfS :: String
objectUnionOfS = "ObjectUnionOf"

objectComplementOfS :: String
objectComplementOfS = "ObjectComplementOf"

objectOneOfS :: String
objectOneOfS = "ObjectOneOf"

objectAllValuesFromS :: String
objectAllValuesFromS = "ObjectAllValuesFrom"

objectSomeValuesFromS :: String
objectSomeValuesFromS = "ObjectSomeValuesFrom"

objectHasValueS :: String
objectHasValueS = "ObjectHasValue"

objectHasSelfS :: String
objectHasSelfS = "ObjectHasSelf"

objectMaxCardinalityS :: String
objectMaxCardinalityS = "ObjectMaxCardinality"

objectMinCardinalityS :: String
objectMinCardinalityS = "ObjectMinCardinality"

objectExactCardinalityS :: String
objectExactCardinalityS = "ObjectExactCardinality"

dataAllValuesFromS :: String
dataAllValuesFromS = "DataAllValuesFrom"

dataSomeValuesFromS :: String
dataSomeValuesFromS = "DataSomeValuesFrom"

dataMaxCardinalityS :: String
dataMaxCardinalityS = "DataMaxCardinality"

dataMinCardinalityS :: String
dataMinCardinalityS = "DataMinCardinality"

dataExactCardinalityS :: String
dataExactCardinalityS = "DataExactCardinality"

dataHasValueS :: String
dataHasValueS = "DataHasValue"

annotationS :: String
annotationS = "Annotation"

annotationAssertionS :: String
annotationAssertionS = "AnnotationAssertion"

subAnnotationPropertyOfS :: String
subAnnotationPropertyOfS = "SubAnnotationPropertyOf"

annotationPropertyDomainS :: String
annotationPropertyDomainS = "AnnotationPropertyDomain"

annotationPropertyRangeS :: String
annotationPropertyRangeS = "AnnotationPropertyRange"

subClassOfS :: String
subClassOfS = "SubClassOf"

equivalentClassesS :: String
equivalentClassesS = "EquivalentClasses"

disjointClassesS :: String
disjointClassesS = "DisjointClasses"

disjointUnionS :: String
disjointUnionS = "DisjointUnion"

subObjectPropertyOfS :: String
subObjectPropertyOfS = "SubObjectPropertyOf"

objectPropertyChainS :: String
objectPropertyChainS = "ObjectPropertyChain"

equivalentObjectPropertiesS :: String
equivalentObjectPropertiesS = "EquivalentObjectProperties"

disjointObjectPropertiesS :: String
disjointObjectPropertiesS = "DisjointObjectProperties"

inverseObjectPropertiesS :: String
inverseObjectPropertiesS = "InverseObjectProperties"

objectPropertyDomainS :: String
objectPropertyDomainS = "ObjectPropertyDomain"

objectPropertyRangeS :: String
objectPropertyRangeS = "ObjectPropertyRange"

functionalObjectPropertyS :: String
functionalObjectPropertyS = "FunctionalObjectProperty"

inverseFunctionalObjectPropertyS :: String 
inverseFunctionalObjectPropertyS = "InverseFunctionalObjectProperty"

reflexiveObjectPropertyS :: String
reflexiveObjectPropertyS = "ReflexiveObjectProperty"

irreflexiveObjectPropertyS :: String
irreflexiveObjectPropertyS = "IrreflexiveObjectProperty"

symmetricObjectPropertyS :: String
symmetricObjectPropertyS = "SymmetricObjectProperty"

asymmetricObjectPropertyS :: String 
asymmetricObjectPropertyS = "AsymmetricObjectProperty"

transitiveObjectPropertyS :: String
transitiveObjectPropertyS = "TransitiveObjectProperty"

subDataPropertyOfS :: String
subDataPropertyOfS = "SubDataPropertyOf"

equivalentDataPropertiesS :: String
equivalentDataPropertiesS = "EquivalentDataProperties"

disjointDataPropertiesS :: String
disjointDataPropertiesS = "DisjointDataProperties"

dataPropertyDomainS :: String
dataPropertyDomainS = "DataPropertyDomain"

dataPropertyRangeS :: String
dataPropertyRangeS = "DataPropertyRange"

functionalDataPropertyS :: String
functionalDataPropertyS = "FunctionalDataProperty"

datatypeDefinitionS :: String
datatypeDefinitionS = "DatatypeDefinition"

hasKeyS :: String
hasKeyS = "HasKey"

sameIndividualS :: String
sameIndividualS = "SameIndividual"

differentIndividualsS :: String
differentIndividualsS = "DifferentIndividuals"

classAssertionS :: String
classAssertionS = "ClassAssertion"

objectPropertyAssertionS :: String
objectPropertyAssertionS = "ObjectPropertyAssertion"

negativeObjectPropertyAssertionS :: String
negativeObjectPropertyAssertionS  = "NegativeObjectPropertyAssertion"

dataPropertyAssertionS :: String
dataPropertyAssertionS = "DataPropertyAssertion"

negativeDataPropertyAssertionS :: String
negativeDataPropertyAssertionS = "NegativeDataPropertyAssertion"

dlSafeRuleS :: String
dlSafeRuleS = "DLSafeRule"

dgRuleS :: String
dgRuleS = "DGRule"

headS :: String
headS = "Head"

bodyS :: String
bodyS = "Body"

dgHeadS :: String
dgHeadS = "DGHead"

dgBodyS :: String
dgBodyS = "DGBody"

classAtomS :: String
classAtomS = "ClassAtom"

dataRangeAtomS :: String
dataRangeAtomS = "DataRangeAtom"

objectPropertyAtomS :: String
objectPropertyAtomS = "ObjectPropertyAtom"

dataPropertyAtomS :: String
dataPropertyAtomS = "DataPropertyAtom"

builtInAtomS :: String
builtInAtomS = "BuiltInAtom"

sameIndividualAtomS :: String
sameIndividualAtomS = "SameIndividualAtom"

differentIndividualsAtomS :: String
differentIndividualsAtomS = "DifferentIndividualsAtom"

descriptionGraphRuleS :: String
descriptionGraphRuleS = "DescriptionGraphRule"

variableS :: String
variableS = "Variable"

descriptionGraphS :: String
descriptionGraphS = "DescriptionGraph"

nodesS :: String
nodesS = "Nodes"

edgesS :: String
edgesS = "Edges"

nodeAssertionS :: String
nodeAssertionS = "NodeAssertion"

edgeAssertionS :: String
edgeAssertionS = "EdgeAssertion"

mainClassesS :: String
mainClassesS = "MainClasses"
