Documentation

ontologyIRIK :: String Source #

iriK :: String Source #

abbreviatedIRI :: String Source #

nodeID :: String Source #

prefixK :: String Source #

importK :: String Source #

classK :: String Source #

datatypeK :: String Source #

namedIndividualK :: String Source #

objectPropertyK :: String Source #

dataPropertyK :: String Source #

annotationPropertyK :: String Source #

anonymousIndividualK :: String Source #

facetRestrictionK :: String Source #

literalK :: String Source #

declarationK :: String Source #

annotationK :: String Source #

objectInverseOfK :: String Source #

datatypeRestrictionK :: String Source #

dataComplementOfK :: String Source #

dataOneOfK :: String Source #

dataIntersectionOfK :: String Source #

dataUnionOfK :: String Source #

objectIntersectionOfK :: String Source #

objectUnionOfK :: String Source #

objectComplementOfK :: String Source #

objectOneOfK :: String Source #

objectSomeValuesFromK :: String Source #

objectAllValuesFromK :: String Source #

objectHasValueK :: String Source #

objectHasSelfK :: String Source #

objectMinCardinalityK :: String Source #

objectMaxCardinalityK :: String Source #

objectExactCardinalityK :: String Source #

dataSomeValuesFromK :: String Source #

dataAllValuesFromK :: String Source #

dataHasValueK :: String Source #

dataMinCardinalityK :: String Source #

dataMaxCardinalityK :: String Source #

dataExactCardinalityK :: String Source #

subClassOfK :: String Source #

equivalentClassesK :: String Source #

disjointClassesK :: String Source #

disjointUnionK :: String Source #

datatypeDefinitionK :: String Source #

hasKeyK :: String Source #

subObjectPropertyOfK :: String Source #

objectPropertyChainK :: String Source #

equivalentObjectPropertiesK :: String Source #

disjointObjectPropertiesK :: String Source #

objectPropertyDomainK :: String Source #

objectPropertyRangeK :: String Source #

inverseObjectPropertiesK :: String Source #

functionalObjectPropertyK :: String Source #

inverseFunctionalObjectPropertyK :: String Source #

reflexiveObjectPropertyK :: String Source #

irreflexiveObjectPropertyK :: String Source #

symmetricObjectPropertyK :: String Source #

asymmetricObjectPropertyK :: String Source #

antisymmetricObjectPropertyK :: String Source #

transitiveObjectPropertyK :: String Source #

subDataPropertyOfK :: String Source #

equivalentDataPropertiesK :: String Source #

disjointDataPropertiesK :: String Source #

dataPropertyDomainK :: String Source #

dataPropertyRangeK :: String Source #

functionalDataPropertyK :: String Source #

dataPropertyAssertionK :: String Source #

negativeDataPropertyAssertionK :: String Source #

objectPropertyAssertionK :: String Source #

negativeObjectPropertyAssertionK :: String Source #

sameIndividualK :: String Source #

differentIndividualsK :: String Source #

classAssertionK :: String Source #

annotationAssertionK :: String Source #

subAnnotationPropertyOfK :: String Source #

annotationPropertyDomainK :: String Source #

annotationPropertyRangeK :: String Source #

dlSafeRuleK :: String Source #

dgRuleK :: String Source #

dgAxiomK :: String Source #

classAtomK :: String Source #

dataRangeAtomK :: String Source #

objectPropertyAtomK :: String Source #

dataPropertyAtomK :: String Source #

builtInAtomK :: String Source #

sameIndividualAtomK :: String Source #

differentIndividualsAtomK :: String Source #

unknownUnaryAtomK :: String Source #

unknownBinaryAtomK :: String Source #

dgClassAtomK :: String Source #

dgObjectPropertyAtomK :: String Source #

dgNodesK :: String Source #

dgNodeAssertionK :: String Source #

dgEdgesK :: String Source #

dgEdgeAssertionK :: String Source #

individualArgumentK :: String Source #

individualVariableK :: String Source #

dataVariableK :: String Source #

variableK :: String Source #

entityList :: [String] Source #

annotationValueList :: [String] Source #

annotationSubjectList :: [String] Source #

individualList :: [String] Source #

objectPropList :: [String] Source #

dataPropList :: [String] Source #

dataRangeList :: [String] Source #

classExpressionList :: [String] Source #