Copyright	(c) Christian Maeder DFKI Bremen 2008 Felix Mance 2011
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

OWL2.Keywords

Description

String constants for keywords to be used for parsing and printing plus owl, xsd, rdf and rdfs reserved keywords. All identifiers are mixed case

Documentation

keywords :: [String] Source #

base64BinaryS :: String Source #

booleanS :: String Source #

byteS :: String Source #

dATAS :: String Source #

decimalS :: String Source #

doubleS :: String Source #

digitsS :: String Source #

exactlyS :: String Source #

floatS :: String Source #

fractionS :: String Source #

functionalS :: String Source #

inverseFunctionalS :: String Source #

reflexiveS :: String Source #

irreflexiveS :: String Source #

symmetricS :: String Source #

asymmetricS :: String Source #

antisymmetricS :: String Source #

transitiveS :: String Source #

hasS :: String Source #

sameAsS :: String Source #

differentFromS :: String Source #

hexBinaryS :: String Source #

intS :: String Source #

integerS :: String Source #

inverseS :: String Source #

langRangeS :: String Source #

lengthS :: String Source #

longS :: String Source #

maxLengthS :: String Source #

maxS :: String Source #

minLengthS :: String Source #

minS :: String Source #

negativeIntegerS :: String Source #

nonNegativeIntegerS :: String Source #

nonPositiveIntegerS :: String Source #

oS :: String Source #

onlyS :: String Source #

onlysomeS :: String Source #

orS :: String Source #

positiveIntegerS :: String Source #

rationalS :: String Source #

realS :: String Source #

selfS :: String Source #

shortS :: String Source #

someS :: String Source #

thatS :: String Source #

rdfsLiteral :: String Source #

rdfPlainLiteralS :: String Source #

unsignedByteS :: String Source #

unsignedIntS :: String Source #

unsignedLongS :: String Source #

unsignedShortS :: String Source #

valueS :: String Source #

xorS :: String Source #

dateTimeS :: String Source #

dateTimeStampS :: String Source #

anyURI :: String Source #

xmlLiteral :: String Source #

ncNameS :: String Source #

nameS :: String Source #

nmTokenS :: String Source #

tokenS :: String Source #

languageS :: String Source #

normalizedStringS :: String Source #

thingS :: String Source #

nothingS :: String Source #

topObjProp :: String Source #

bottomObjProp :: String Source #

topDataProp :: String Source #

bottomDataProp :: String Source #

label :: String Source #

comment :: String Source #

seeAlso :: String Source #

isDefinedBy :: String Source #

deprecated :: String Source #

versionInfo :: String Source #

priorVersion :: String Source #

backwardCompatibleWith :: String Source #

incompatibleWith :: String Source #

implied :: String Source #

predefClass :: [String] Source #

predefObjProp :: [String] Source #

predefDataProp :: [String] Source #

predefRDFSAnnoProps :: [String] Source #

predefOWLAnnoProps :: [String] Source #

xsdNumbers :: [String] Source #

owlNumbers :: [String] Source #

xsdStrings :: [String] Source #

xsdKeys :: [String] Source #

nonXSDKeys :: [String] Source #

datatypeKeys :: [String] Source #

data DatatypeFacet Source #

Constructors

LENGTH
MINLENGTH
MAXLENGTH
PATTERN
LANGRANGE
MININCLUSIVE
MINEXCLUSIVE
MAXINCLUSIVE
MAXEXCLUSIVE
TOTALDIGITS
FRACTIONDIGITS

Instances

Instances details

Eq DatatypeFacet Source #
Instance details Defined in OWL2.Keywords Methods (==) :: DatatypeFacet -> DatatypeFacet -> Bool (/=) :: DatatypeFacet -> DatatypeFacet -> Bool
Ord DatatypeFacet Source #
Instance details Defined in OWL2.Keywords Methods compare :: DatatypeFacet -> DatatypeFacet -> Ordering (<) :: DatatypeFacet -> DatatypeFacet -> Bool (<=) :: DatatypeFacet -> DatatypeFacet -> Bool (>) :: DatatypeFacet -> DatatypeFacet -> Bool (>=) :: DatatypeFacet -> DatatypeFacet -> Bool max :: DatatypeFacet -> DatatypeFacet -> DatatypeFacet min :: DatatypeFacet -> DatatypeFacet -> DatatypeFacet
Show DatatypeFacet Source #
Instance details Defined in OWL2.Keywords Methods showsPrec :: Int -> DatatypeFacet -> ShowS show :: DatatypeFacet -> String showList :: [DatatypeFacet] -> ShowS
Pretty DatatypeFacet Source #
Instance details Defined in OWL2.Print Methods pretty :: DatatypeFacet -> Doc Source # pretties :: [DatatypeFacet] -> Doc Source #

showFacetAsText :: DatatypeFacet -> String Source #

showFacet :: DatatypeFacet -> String Source #

facetList :: [DatatypeFacet] Source #