05bf9cbe382548c2665dd01a6a402640c9ec3813Christian Maeder{- |

eceb9606af609acfa431c3203484317c55ce8b35Ewaryst SchulzModule : $Header$

e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerCopyright : (c) Felix Gabriel Mance

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeLicense : GPLv2 or higher, see LICENSE.txt

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu ProdescuMaintainer : f.mance@jacobs-university.de

26db4a742376d513cdba128780ee8ca60eeb927eTill MossakowskiStability : provisional

f1edf379717f0ddb7607585a027cf6f03a6fce68Christian MaederPortability : portable

26db4a742376d513cdba128780ee8ca60eeb927eTill Mossakowski

26db4a742376d513cdba128780ee8ca60eeb927eTill MossakowskiKewyords used for XML.hs and XMLConversion.hs

26db4a742376d513cdba128780ee8ca60eeb927eTill Mossakowski-}

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

26db4a742376d513cdba128780ee8ca60eeb927eTill Mossakowskimodule OWL2.XMLKeywords where

26db4a742376d513cdba128780ee8ca60eeb927eTill Mossakowski

26db4a742376d513cdba128780ee8ca60eeb927eTill MossakowskiontologyIRIK :: String

316fe96124dce26bfbc374b2f82c23fadcf2fa8bChristian MaederontologyIRIK = "ontologyIRI"

26db4a742376d513cdba128780ee8ca60eeb927eTill Mossakowski

e16b3696b2c173aac14200321868ed81b8f7dc69Christian MaedeririK :: String

e16b3696b2c173aac14200321868ed81b8f7dc69Christian MaedeririK = "IRI"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeabbreviatedIRIK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeabbreviatedIRIK = "abbreviatedIRI"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkenodeIDK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkenodeIDK = "nodeID"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

d54cd08a4cfa26256c38d8ed12c343adbfe1a0e3Christian MaederprefixK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeprefixK = "Prefix"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeimportK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeimportK = "Import"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeclassK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeclassK = "Class"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedatatypeK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedatatypeK = "Datatype"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkenamedIndividualK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkenamedIndividualK = "NamedIndividual"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectPropertyK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectPropertyK = "ObjectProperty"

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederdataPropertyK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederdataPropertyK = "DataProperty"

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederannotationPropertyK :: String

a23e572c8f957cc051a1b0831abd6fe9380d45c7Christian MaederannotationPropertyK = "AnnotationProperty"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeanonymousIndividualK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeanonymousIndividualK = "AnonymousIndividual"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkefacetRestrictionK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkefacetRestrictionK = "FacetRestriction"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeliteralK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederliteralK = "Literal"

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian Maeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederdeclarationK :: String

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian MaederdeclarationK = "Declaration"

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian MaederannotationK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederannotationK = "Annotation"

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian Maeder

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian MaederobjectInverseOfK :: String

05bf9cbe382548c2665dd01a6a402640c9ec3813Christian MaederobjectInverseOfK = "ObjectInverseOf"

c4f0d08e3d98a87ab05c5f74f70285d9b6164384mscodescu

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedatatypeRestrictionK :: String

e16b3696b2c173aac14200321868ed81b8f7dc69Christian MaederdatatypeRestrictionK = "DatatypeRestriction"

e16b3696b2c173aac14200321868ed81b8f7dc69Christian Maeder

e16b3696b2c173aac14200321868ed81b8f7dc69Christian MaederdataComplementOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataComplementOfK = "DataComplementOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataOneOfK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederdataOneOfK = "DataOneOf"

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataIntersectionOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataIntersectionOfK = "DataIntersectionOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataUnionOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkedataUnionOfK = "DataUnionOf"

9a80079e082fdf4fe8e19f8fc61e6cd8799b47a7Christian Maeder

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectIntersectionOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectIntersectionOfK = "ObjectIntersectionOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectUnionOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectUnionOfK = "ObjectUnionOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectComplementOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectComplementOfK = "ObjectComplementOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectOneOfK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectOneOfK = "ObjectOneOf"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectSomeValuesFromK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectSomeValuesFromK = "ObjectSomeValuesFrom"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectAllValuesFromK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectAllValuesFromK = "ObjectAllValuesFrom"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectHasValueK :: String

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus HartkeobjectHasValueK = "ObjectHasValue"

9f93539f2fa4f5b9d935c7baa22fcd750806def9Klaus Hartke

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederobjectHasSelfK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederobjectHasSelfK = "ObjectHasSelf"

b90a7e905864818883ef83927e19264f1b5a762cChristian Maeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederobjectMinCardinalityK :: String

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederobjectMinCardinalityK = "ObjectMinCardinality"

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von Schroeder

3d3889e0cefcdce9b3f43c53aaa201943ac2e895Jonathan von SchroederobjectMaxCardinalityK :: String

objectMaxCardinalityK = "ObjectMaxCardinality"

objectExactCardinalityK :: String

objectExactCardinalityK = "ObjectExactCardinality"

dataSomeValuesFromK :: String

dataSomeValuesFromK = "DataSomeValuesFrom"

dataAllValuesFromK :: String

dataAllValuesFromK = "DataAllValuesFrom"

dataHasValueK :: String

dataHasValueK = "DataHasValue"

dataMinCardinalityK :: String

dataMinCardinalityK = "DataMinCardinality"

dataMaxCardinalityK :: String

dataMaxCardinalityK = "DataMaxCardinality"

dataExactCardinalityK :: String

dataExactCardinalityK = "DataExactCardinality"

subClassOfK :: String

subClassOfK = "SubClassOf"

equivalentClassesK :: String

equivalentClassesK = "EquivalentClasses"

disjointClassesK :: String

disjointClassesK = "DisjointClasses"

disjointUnionK :: String

disjointUnionK = "DisjointUnion"

datatypeDefinitionK :: String

datatypeDefinitionK = "DatatypeDefinition"

hasKeyK :: String

hasKeyK = "HasKey"

subObjectPropertyOfK :: String

subObjectPropertyOfK = "SubObjectPropertyOf"

objectPropertyChainK :: String

objectPropertyChainK = "ObjectPropertyChain"

equivalentObjectPropertiesK :: String

equivalentObjectPropertiesK = "EquivalentObjectProperties"

disjointObjectPropertiesK :: String

disjointObjectPropertiesK = "DisjointObjectProperties"

objectPropertyDomainK :: String

objectPropertyDomainK = "ObjectPropertyDomain"

objectPropertyRangeK :: String

objectPropertyRangeK = "ObjectPropertyRange"

inverseObjectPropertiesK :: String

inverseObjectPropertiesK = "InverseObjectProperties"

functionalObjectPropertyK :: String

functionalObjectPropertyK = "FunctionalObjectProperty"

inverseFunctionalObjectPropertyK :: String

inverseFunctionalObjectPropertyK = "InverseFunctionalObjectProperty"

reflexiveObjectPropertyK :: String

reflexiveObjectPropertyK = "ReflexiveObjectProperty"

irreflexiveObjectPropertyK :: String

irreflexiveObjectPropertyK = "IrreflexiveObjectProperty"

symmetricObjectPropertyK :: String

symmetricObjectPropertyK = "SymmetricObjectProperty"

asymmetricObjectPropertyK :: String

asymmetricObjectPropertyK = "AsymmetricObjectProperty"

antisymmetricObjectPropertyK :: String

antisymmetricObjectPropertyK = "AntisymmetricObjectProperty"

transitiveObjectPropertyK :: String

transitiveObjectPropertyK = "TransitiveObjectProperty"

subDataPropertyOfK :: String

subDataPropertyOfK = "SubDataPropertyOf"

equivalentDataPropertiesK :: String

equivalentDataPropertiesK = "EquivalentDataProperties"

disjointDataPropertiesK :: String

disjointDataPropertiesK = "DisjointDataProperties"

dataPropertyDomainK :: String

dataPropertyDomainK = "DataPropertyDomain"

dataPropertyRangeK :: String

dataPropertyRangeK = "DataPropertyRange"

functionalDataPropertyK :: String

functionalDataPropertyK = "FunctionalDataProperty"

dataPropertyAssertionK :: String

dataPropertyAssertionK = "DataPropertyAssertion"

negativeDataPropertyAssertionK :: String

negativeDataPropertyAssertionK = "NegativeDataPropertyAssertion"

objectPropertyAssertionK :: String

objectPropertyAssertionK = "ObjectPropertyAssertion"

negativeObjectPropertyAssertionK :: String

negativeObjectPropertyAssertionK = "NegativeObjectPropertyAssertion"

sameIndividualK :: String

sameIndividualK = "SameIndividual"

differentIndividualsK :: String

differentIndividualsK = "DifferentIndividuals"

classAssertionK :: String

classAssertionK = "ClassAssertion"

annotationAssertionK :: String

annotationAssertionK = "AnnotationAssertion"

subAnnotationPropertyOfK :: String

subAnnotationPropertyOfK = "SubAnnotationPropertyOf"

annotationPropertyDomainK :: String

annotationPropertyDomainK = "AnnotationPropertyDomain"

annotationPropertyRangeK :: String

annotationPropertyRangeK = "AnnotationPropertyRange"

entityList :: [String]

entityList = [classK, datatypeK, namedIndividualK,

objectPropertyK, dataPropertyK, annotationPropertyK]

annotationValueList :: [String]

annotationValueList = [literalK, iriK, "AbbreviatedIRI", anonymousIndividualK]

annotationSubjectList :: [String]

annotationSubjectList = [iriK, "AbbreviatedIRI", anonymousIndividualK]

individualList :: [String]

individualList = [namedIndividualK, anonymousIndividualK]

objectPropList :: [String]

objectPropList = [objectPropertyK, objectInverseOfK]

dataPropList :: [String]

dataPropList = [dataPropertyK]

dataRangeList :: [String]

dataRangeList = [datatypeK, datatypeRestrictionK, dataComplementOfK,

dataOneOfK, dataIntersectionOfK, dataUnionOfK]

classExpressionList :: [String]

classExpressionList = [classK, objectIntersectionOfK, objectUnionOfK,

objectComplementOfK, objectOneOfK, objectSomeValuesFromK,

objectAllValuesFromK, objectHasValueK, objectHasSelfK,

objectMinCardinalityK, objectMaxCardinalityK, objectExactCardinalityK,

dataSomeValuesFromK, dataAllValuesFromK, dataHasValueK,

dataMinCardinalityK, dataMaxCardinalityK, dataExactCardinalityK]