hets/OWL2/Keywords.hs

	Keywords.hs revision 083b2687afdb676237f926bdb643b24027291d05
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder{- |
e9458b1a7a19a63aa4c179f9ab20f4d50681c168Jens ElknerModule      :  $Header$
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederDescription :  OWL reserved keywords
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  and printing
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederCopyright   :  (c) Christian Maeder DFKI Bremen 2008
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederLicense     :  GPLv2 or higher, see LICENSE.txt
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederMaintainer  :  Christian.Maeder@dfki.de
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederStability   :  provisional
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederPortability :  portable
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederString constants for keywords to be used for parsing and printing
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederplus owl, xsd, rdf and rdfs reserved keywords. All identifiers are mixed case
856b45770505f97205a760c51c78cd7576632f51Christian Maeder-}
856b45770505f97205a760c51c78cd7576632f51Christian Maeder
856b45770505f97205a760c51c78cd7576632f51Christian Maedermodule OWL2.Keywords where
856b45770505f97205a760c51c78cd7576632f51Christian Maeder
856b45770505f97205a760c51c78cd7576632f51Christian Maederimport Common.Keywords
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederkeywords :: [String]
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maederkeywords =
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  [ base64BinaryS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , booleanS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , byteS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , dATAS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , decimalS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , digitsS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , exactlyS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , floatS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder  , fractionS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , functionalS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , hasS
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder  , hexBinaryS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , intS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , integerS
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder  , inverseS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , lengthS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , longS
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder  , maxLengthS
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4Christian Maeder  , maxS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , minLengthS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , minS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , negativeIntegerS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , nonNegativeIntegerS
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder  , nonPositiveIntegerS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , oS
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder  , onlyS
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder  , onlysomeS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , orS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , patternS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , positiveIntegerS
e935c1f2e814bb143017bb25b32ff7a406299d37Christian Maeder  , rationalS
e935c1f2e814bb143017bb25b32ff7a406299d37Christian Maeder  , realS
e935c1f2e814bb143017bb25b32ff7a406299d37Christian Maeder  , selfS
e935c1f2e814bb143017bb25b32ff7a406299d37Christian Maeder  , shortS
e935c1f2e814bb143017bb25b32ff7a406299d37Christian Maeder  , someS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , thatS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , rdfsLiteral
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , unsignedByteS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , unsignedIntS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , unsignedLongS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , unsignedShortS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , valueS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , dateTimeS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , dateTimeStampS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , anyURI
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , xmlLiteral
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , ncNameS
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  , nameS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , nmTokenS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , tokenS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , languageS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , normalizedStringS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  , xorS
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder  ]
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
118b1dee4954776d7fae2e4b0c93fec07f88133eChristian Maederbase64BinaryS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maederbase64BinaryS = "base64Binary"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederbooleanS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederbooleanS = "boolean"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederbyteS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederbyteS = "byte"
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederdATAS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederdATAS = "DATA"
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederdecimalS :: String
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian MaederdecimalS = "decimal"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederdoubleS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederdoubleS = "double"
118b1dee4954776d7fae2e4b0c93fec07f88133eChristian Maeder
118b1dee4954776d7fae2e4b0c93fec07f88133eChristian MaederdigitsS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederdigitsS = "totalDigits"
d3e484c642d04bc87bcd482eb59430b557ea79c8Christian Maeder
d3e484c642d04bc87bcd482eb59430b557ea79c8Christian MaederexactlyS :: String
d3e484c642d04bc87bcd482eb59430b557ea79c8Christian MaederexactlyS = "exactly"
333adc204fa3de41953506753492bba9e8eea9e3Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederfloatS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederfloatS = "float"
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian MaederfractionS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederfractionS = "fractionDigits"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederfunctionalS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederfunctionalS = "Functional"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederhasS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederhasS = "has"
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederhexBinaryS :: String
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian MaederhexBinaryS = "hexBinary"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian MaederintS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederintS = "int"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederintegerS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederintegerS = "integer"
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederinverseS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederinverseS = "inverse"
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederlangRangeS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederlangRangeS = "langRange"
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederlengthS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederlengthS = "length"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
118b1dee4954776d7fae2e4b0c93fec07f88133eChristian MaederlongS :: String
3b31ee94edcb328d2aa02ddcfa8a2e227d4c98edChristian MaederlongS = "long"
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaedermaxLengthS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedermaxLengthS = "maxLength"
856b45770505f97205a760c51c78cd7576632f51Christian Maeder
856b45770505f97205a760c51c78cd7576632f51Christian MaedermaxS :: String
b32596e241446281ecf820b277f5b85466f99821Christian MaedermaxS = "max"
b32596e241446281ecf820b277f5b85466f99821Christian Maeder
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederminLengthS :: String
d3e484c642d04bc87bcd482eb59430b557ea79c8Christian MaederminLengthS = "minLength"
e7c8b6f2bf2b057c413503efe0d19259c709e843Christian Maeder
e7c8b6f2bf2b057c413503efe0d19259c709e843Christian MaederminS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederminS = "min"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaedernegativeIntegerS :: String
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaedernegativeIntegerS = "negativeInteger"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaedernonNegativeIntegerS :: String
856b45770505f97205a760c51c78cd7576632f51Christian MaedernonNegativeIntegerS = "nonNegativeInteger"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaedernonPositiveIntegerS :: String
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaedernonPositiveIntegerS = "nonPositiveInteger"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederoS :: String
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4Christian MaederoS = "o"
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederonlyS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederonlyS = "only"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederonlysomeS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederonlysomeS = "onlysome"
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederorS :: String
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederorS = "or"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederpatternS :: String
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederpatternS = "pattern"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederpositiveIntegerS :: String
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederpositiveIntegerS = "positiveInteger"
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian MaederrationalS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederrationalS = "rational"
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederrealS :: String
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederrealS = "real"
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederselfS :: String
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian MaederselfS = "Self"
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian Maeder
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian MaedershortS :: String
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian MaedershortS = "short"
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian MaedersomeS :: String
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian MaedersomeS = "some"
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederthatS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederthatS = "that"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian MaederrdfsLiteral :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederrdfsLiteral = "Literal"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederunsignedByteS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederunsignedByteS = "unsignedByte"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederunsignedIntS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederunsignedIntS = "unsignedInt"
f6cea53c107f81a3f3225481f1673452e29c555cChristian Maeder
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederunsignedLongS :: String
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederunsignedLongS = "unsignedLongS"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
f6cea53c107f81a3f3225481f1673452e29c555cChristian MaederunsignedShortS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederunsignedShortS = "unsignedShort"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaedervalueS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaedervalueS = "value"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
b32596e241446281ecf820b277f5b85466f99821Christian MaederxorS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederxorS = "xor"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederdateTimeS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederdateTimeS = "dateTime"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederdateTimeStampS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederdateTimeStampS = "dateTimeStamp"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederanyURI :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederanyURI = "anyURI"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederxmlLiteral :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaederxmlLiteral = "XMLLiteral"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederncNameS :: String
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederncNameS = "NCName"
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian Maeder
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaedernameS :: String
85a0d4a81a58324c5e65d633e14f70361ea7f6bfChristian MaedernameS = "Name"
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian MaedernmTokenS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedernmTokenS = "NMTOKEN"
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaedertokenS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedertokenS = "token"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederlanguageS :: String
94e112d16f89130a688db8b03ad3224903f5e97eChristian MaederlanguageS = "language"
b32596e241446281ecf820b277f5b85466f99821Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedernormalizedStringS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaedernormalizedStringS = "normalizedString"
94e112d16f89130a688db8b03ad3224903f5e97eChristian Maeder
b32596e241446281ecf820b277f5b85466f99821Christian MaederthingS :: String
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian MaederthingS = "Thing"
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedernothingS :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedernothingS = "Nothing"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaedertopObjProp :: String
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian MaedertopObjProp = "topObjectProperty"
0d930670ed64e9eb81680a764e2a13d363ea452cChristian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederbottomObjProp :: String
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederbottomObjProp = "bottomObjectProperty"
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaedertopDataProp :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaedertopDataProp = "topDataProperty"
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian Maeder
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian MaederbottomDataProp :: String
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian MaederbottomDataProp = "bottomDataProperty"
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian Maeder
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian Maederlabel :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maederlabel = "label"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maedercomment :: String
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian Maedercomment = "comment"
829d8afeb5e83fca53b74dbe767b12c68f4f72f9Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederseeAlso :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederseeAlso = "seeAlso"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederisDefinedBy :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederisDefinedBy = "isDefinedBy"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maederdeprecated :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maederdeprecated = "deprecated"
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
4bbd808612c2580ae6e0495a155997a6bb47ecf3Christian MaederversionInfo :: String
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederversionInfo = "versionInfo"
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian Maeder
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederpriorVersion :: String
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederpriorVersion = "priorVersion"
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian Maeder
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederbackwardCompatibleWith :: String
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4Christian MaederbackwardCompatibleWith = "backwardCompatibleWith"
927c80730bb3234ffbb6ca7ca6ce9cc041e59a6fChristian Maeder
2a5b885d9350ec6dd8bc4992ee91d2f68aa592f4Christian MaederincompatibleWith :: String
927c80730bb3234ffbb6ca7ca6ce9cc041e59a6fChristian MaederincompatibleWith = "incompatibleWith"
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian Maeder
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederpredefClass :: [String]
e78460372a77f994edf803c5ef8eb7858ed0e4fcChristian MaederpredefClass = [thingS, nothingS]
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederpredefObjProp :: [String]
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederpredefObjProp = [topObjProp, bottomObjProp]
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederpredefDataProp :: [String]
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederpredefDataProp = [topDataProp, bottomDataProp]
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
51b1633dc0785a542da974fae21fa7d6622c934eChristian MaederpredefRDFSAnnoProps :: [String]
000650430ad06566c6d625e09d4ce739ccada491Christian MaederpredefRDFSAnnoProps = [label, comment, seeAlso, isDefinedBy]
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder
000650430ad06566c6d625e09d4ce739ccada491Christian MaederpredefOWLAnnoProps :: [String]
000650430ad06566c6d625e09d4ce739ccada491Christian MaederpredefOWLAnnoProps = [deprecated, versionInfo, priorVersion,
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder    backwardCompatibleWith, incompatibleWith]
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder
000650430ad06566c6d625e09d4ce739ccada491Christian MaederxsdNumbers :: [String]
000650430ad06566c6d625e09d4ce739ccada491Christian MaederxsdNumbers = [integerS, negativeIntegerS, nonNegativeIntegerS,
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder    nonPositiveIntegerS, positiveIntegerS, decimalS, doubleS, floatS,
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder    longS, intS, shortS, byteS, unsignedLongS, unsignedIntS, unsignedShortS,
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder    unsignedByteS]
51b1633dc0785a542da974fae21fa7d6622c934eChristian Maeder
000650430ad06566c6d625e09d4ce739ccada491Christian MaederowlNumbers :: [String]
000650430ad06566c6d625e09d4ce739ccada491Christian MaederowlNumbers = [realS, rationalS]
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder
000650430ad06566c6d625e09d4ce739ccada491Christian MaederxsdStrings :: [String]
000650430ad06566c6d625e09d4ce739ccada491Christian MaederxsdStrings = [stringS, ncNameS, nameS, nmTokenS, tokenS, languageS,
000650430ad06566c6d625e09d4ce739ccada491Christian Maeder    normalizedStringS]
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederxsdKeys :: [String]
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederxsdKeys = [booleanS, dATAS, hexBinaryS, base64BinaryS,
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian Maeder    dateTimeS, dateTimeStampS, anyURI] ++ xsdNumbers ++ xsdStrings
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian Maeder
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian MaedernonXSDKeys :: [String]
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian MaedernonXSDKeys = owlNumbers ++ [xmlLiteral, rdfsLiteral]
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederdatatypeKeys :: [String]
eac27c20d3f0f9cb50439b66d098f69981345889Christian MaederdatatypeKeys = xsdKeys ++ nonXSDKeys
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maeder
eac27c20d3f0f9cb50439b66d098f69981345889Christian Maederdata DatatypeFacet =
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian Maeder    LENGTH
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian Maeder  | MINLENGTH
86f240c0d3f25a1fbd018c1c7a31c204de259eeaChristian Maeder  | MAXLENGTH
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder  | PATTERN
1aa11f4e4b984f2a6d6ce9700cbe82283c8d196aChristian Maeder  | LANGRANGE
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder  | MININCLUSIVE
c04cc42aa672aa49b45005e6eed77cc80e0d6ae0Christian Maeder  | MINEXCLUSIVE
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian Maeder  | MAXINCLUSIVE
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder  | MAXEXCLUSIVE
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder  | TOTALDIGITS
cfb5b8ae84a762dd5104af0362e80e0c0cf7cec8Christian Maeder  | FRACTIONDIGITS
b32596e241446281ecf820b277f5b85466f99821Christian Maeder    deriving (Show, Eq, Ord)
18cf08a7c1b3c953569e1a1c268f9d52f36e23a2Christian Maeder
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian MaedershowFacet :: DatatypeFacet -> String
7aeb33d3af3230641a33c39b7e7ba546bb35b969Christian MaedershowFacet df = case df of
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder    LENGTH -> lengthS
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder    MINLENGTH -> minLengthS
c8ecc5578d32b222f35b625d4dfe7a3fd8bb4173Christian Maeder    MAXLENGTH -> maxLengthS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    PATTERN -> patternS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    LANGRANGE -> langRangeS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    MININCLUSIVE -> lessEq
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    MINEXCLUSIVE -> lessS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    MAXINCLUSIVE -> greaterEq
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    MAXEXCLUSIVE -> greaterS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    TOTALDIGITS -> digitsS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder    FRACTIONDIGITS -> fractionS
a208edf329751a734895216ad5b0e334a9ac6a44Christian Maeder
a208edf329751a734895216ad5b0e334a9ac6a44Christian MaederfacetList :: [DatatypeFacet]
a208edf329751a734895216ad5b0e334a9ac6a44Christian MaederfacetList = [LENGTH, MINLENGTH, MAXLENGTH, PATTERN, LANGRANGE, MININCLUSIVE,
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder    MINEXCLUSIVE, MAXINCLUSIVE, MAXEXCLUSIVE, TOTALDIGITS, FRACTIONDIGITS]
81ae4270c8508e5e630e50923a2e790e7b1e5997Christian Maeder