Documentation

objectInverseOfS :: String Source #

datatypeRestrictionS :: String Source #

dataUnionOfS :: String Source #

dataIntersectionOfS :: String Source #

dataComplementOfS :: String Source #

dataOneOfS :: String Source #

objectIntersectionOfS :: String Source #

objectUnionOfS :: String Source #

objectComplementOfS :: String Source #

objectOneOfS :: String Source #

objectAllValuesFromS :: String Source #

objectSomeValuesFromS :: String Source #

objectHasValueS :: String Source #

objectHasSelfS :: String Source #

objectMaxCardinalityS :: String Source #

objectMinCardinalityS :: String Source #

objectExactCardinalityS :: String Source #

dataAllValuesFromS :: String Source #

dataSomeValuesFromS :: String Source #

dataMaxCardinalityS :: String Source #

dataMinCardinalityS :: String Source #

dataExactCardinalityS :: String Source #

dataHasValueS :: String Source #

annotationS :: String Source #

annotationAssertionS :: String Source #

subAnnotationPropertyOfS :: String Source #

annotationPropertyDomainS :: String Source #

annotationPropertyRangeS :: String Source #

subClassOfS :: String Source #

equivalentClassesS :: String Source #

disjointClassesS :: String Source #

disjointUnionS :: String Source #

subObjectPropertyOfS :: String Source #

objectPropertyChainS :: String Source #

equivalentObjectPropertiesS :: String Source #

disjointObjectPropertiesS :: String Source #

inverseObjectPropertiesS :: String Source #

objectPropertyDomainS :: String Source #

objectPropertyRangeS :: String Source #

functionalObjectPropertyS :: String Source #

inverseFunctionalObjectPropertyS :: String Source #

reflexiveObjectPropertyS :: String Source #

irreflexiveObjectPropertyS :: String Source #

symmetricObjectPropertyS :: String Source #

asymmetricObjectPropertyS :: String Source #

transitiveObjectPropertyS :: String Source #

subDataPropertyOfS :: String Source #

equivalentDataPropertiesS :: String Source #

disjointDataPropertiesS :: String Source #

dataPropertyDomainS :: String Source #

dataPropertyRangeS :: String Source #

functionalDataPropertyS :: String Source #

datatypeDefinitionS :: String Source #

hasKeyS :: String Source #

sameIndividualS :: String Source #

differentIndividualsS :: String Source #

classAssertionS :: String Source #

objectPropertyAssertionS :: String Source #

negativeObjectPropertyAssertionS :: String Source #

dataPropertyAssertionS :: String Source #

negativeDataPropertyAssertionS :: String Source #

dlSafeRuleS :: String Source #

dgRuleS :: String Source #

headS :: String Source #

bodyS :: String Source #

dgHeadS :: String Source #

dgBodyS :: String Source #

classAtomS :: String Source #

dataRangeAtomS :: String Source #

objectPropertyAtomS :: String Source #

dataPropertyAtomS :: String Source #

builtInAtomS :: String Source #

sameIndividualAtomS :: String Source #

differentIndividualsAtomS :: String Source #

descriptionGraphRuleS :: String Source #

variableS :: String Source #

descriptionGraphS :: String Source #

nodesS :: String Source #

edgesS :: String Source #

nodeAssertionS :: String Source #

edgeAssertionS :: String Source #

mainClassesS :: String Source #