Annotation
type: Class
subclass of: Thing
subclass of: Restriction
  on property: annotationProperty
  cardinality: 1
  on class: AnnotationProperty

Entity
type: Class
subclass of: Thing
subclass of: Restriction
  on property: entityURI
  cardinality: 1
  on class: URI

Constant
type: Class
subclass of: Thing
subclass of: Restriction
  on property: datatype
  cardinality: 1
  on class: Datatype

AsymmetricObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

InverseObjectProperty
type: Class
subclass of: ObjectPropertyExpression
subclass of: Restriction
  on property: objectProperty
  cardinality: 1
  on class: ObjectProperty

ObjectIntersectionOf
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpressions
  min cardinality: 2
  on class: ClassExpression

ObjectUnionOf
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpressions
  min cardinality: 2
  on class: ClassExpression

ObjectOneOf
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: individuals
  min cardinality: 1
  on class: Individual

ObjectSomeValuesFrom
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectAllValuesFrom
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectExistsSelf
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectHasValue
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression
subclass of: Restriction
  on property: individual
  cardinality: 1
  on class: Individual

ObjectMinCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  max cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectMaxCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  max cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

DataSomeValuesFrom
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: dataRange
  cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpressions
  cardinality: 1
  on class: DataPropertyExpression

DataOneOf
type: Class
subclass of: DataRange
subclass of: Restriction
  on property: constants
  min cardinality: 1
  on class: Constant

DatatypeRestriction
type: Class
subclass of: DataRange
subclass of: Restriction
  on property: datatype
  cardinality: 1
  on class: Datatype
subclass of: Restriction
  on property: restrictions
  all values from: FacetConstantPair

FacetConstantPair
type: Class
subclass of: Thing
subclass of: Restriction
  on property: constant
  cardinality: 1
  on class: Constant

DataAllValuesFrom
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: dataRange
  cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpressions
  cardinality: 1
  on class: DataPropertyExpression

DataHasValue
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: constant
  cardinality: 1
  on class: Constant
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

DataMinCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: dataRange
  max cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

DataMaxCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: dataRange
  max cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

DataExactCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: dataRange
  max cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

NegativeDataPropertyAssertion
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression
subclass of: Restriction
  on property: targetValue
  cardinality: 1
  on class: Constant
subclass of: Restriction
  on property: sourceIndividual
  cardinality: 1
  on class: Individual

DataPropertyDomain
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: domain
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

DataPropertyRange
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: range
  cardinality: 1
  on class: DataRange
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

DifferentIndividuals
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: differentIndividuals
  min cardinality: 2
  on class: NamedIndividual

DisjointClasses
type: Class
subclass of: ClassAxiom
subclass of: Restriction
  on property: disjointClassExpressions
  min cardinality: 2
  on class: ClassExpression

DisjointDataProperties
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: dataPropertyExpressions
  min cardinality: 2
  on class: DataPropertyExpression

DisjointObjectProperties
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpressions
  min cardinality: 2
  on class: ObjectPropertyExpression

DisjointUnion
type: Class
subclass of: ClassAxiom
subclass of: Restriction
  on property: unionClass
  cardinality: 1
  on class: Class
subclass of: Restriction
  on property: disjointClassExpressions
  min cardinality: 2
  on class: ClassExpression

EquivalentClasses
type: Class
subclass of: ClassAxiom
subclass of: Restriction
  on property: equivalentClassExpressions
  min cardinality: 2
  on class: ClassExpression

EquivalentDataProperties
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: dataPropertyExpressions
  min cardinality: 2
  on class: DataPropertyExpression

FunctionalDataProperty
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

EquivalentObjectProperties
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpressions
  min cardinality: 2
  on class: ObjectPropertyExpression

FunctionalObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

InverseFunctionalObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectPropertyAssertion
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression
subclass of: Restriction
  on property: sourceIndividual
  cardinality: 1
  on class: Individual
subclass of: Restriction
  on property: targetIndividual
  cardinality: 1
  on class: Individual

NegativeObjectPropertyAssertion
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression
subclass of: Restriction
  on property: sourceIndividual
  cardinality: 1
  on class: Individual
subclass of: Restriction
  on property: targetIndividual
  cardinality: 1
  on class: Individual

ObjectPropertyDomain
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: domain
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

SymmetricObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ReflexiveObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

SubDataPropertyOf
type: Class
subclass of: DataPropertyAxiom
subclass of: Restriction
  on property: superDataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression
subclass of: Restriction
  on property: subDataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression

SameIndividual
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: sameIndividuals
  min cardinality: 2
  on class: NamedIndividual

SubObjectPropertyOf
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: superObjectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression
subclass of: Restriction
  on property: subObjectPropertyExpressions
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectComplementOf
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  cardinality: 1
  on class: ClassExpression

Ontology
type: Class
subclass of: Thing
subclass of: Restriction
  on property: ontologyAnnotations
  all values from: Annotation
subclass of: Restriction
  on property: axioms
  all values from: Axiom
subclass of: Restriction
  on property: importedOntologies
  all values from: Ontology
subclass of: Restriction
  on property: ontologyURI
  max cardinality: 1
  on class: URI
subclass of: Restriction
  on property: versionURI
  max cardinality: 1
  on class: URI

ObjectPropertyRange
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: range
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

DataPropertyAssertion
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: dataPropertyExpression
  cardinality: 1
  on class: DataPropertyExpression
subclass of: Restriction
  on property: targetValue
  cardinality: 1
  on class: Constant
subclass of: Restriction
  on property: sourceIndividual
  cardinality: 1
  on class: Individual

ClassAssertion
type: Class
subclass of: Assertion
subclass of: Restriction
  on property: individual
  cardinality: 1
  on class: NamedIndividual
subclass of: Restriction
  on property: classExpression
  cardinality: 1
  on class: ClassExpression

IrreflexiveObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

ObjectExactCardinality
type: Class
subclass of: ClassExpression
subclass of: Restriction
  on property: classExpression
  max cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

DataComplementOf
type: Class
subclass of: DataRange
subclass of: Restriction
  on property: dataRange
  cardinality: 1
  on class: DataRange

SubClassOf
type: Class
subclass of: ClassAxiom
subclass of: Restriction
  on property: subClassExpression
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: superClassExpression
  cardinality: 1
  on class: ClassExpression

TransitiveObjectProperty
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: objectPropertyExpression
  cardinality: 1
  on class: ObjectPropertyExpression

EntityAnnotation
type: Class
subclass of: Axiom
subclass of: Restriction
  on property: entity
  cardinality: 1
  on class: Entity
subclass of: Restriction
  on property: entityAnnotations
  min cardinality: 1
  on class: Annotation

InverseObjectProperties
type: Class
subclass of: ObjectPropertyAxiom
subclass of: Restriction
  on property: inverseObjectProperties
  cardinality: 2
  on class: ObjectPropertyExpression

AnnotationByConstant
type: Class
subclass of: Annotation
subclass of: Restriction
  on property: annotationValue
  cardinality: 1
  on class: Constant

AnnotationByEntity
type: Class
subclass of: Annotation
subclass of: Restriction
  on property: annotationValue
  cardinality: 1
  on class: Entity

AnnotationByAnonymousIndividual
type: Class
subclass of: Annotation
subclass of: Restriction
  on property: annotationValue
  cardinality: 1
  on class: AnonymousIndividual

Declaration
type: Class
subclass of: Axiom
subclass of: Restriction
  on property: entity
  cardinality: 1
  on class: Entity

KeyFor
type: Class
subclass of: ObjectAndDataPropertyAxiom
subclass of: Restriction
  on property: classExpression
  cardinality: 1
  on class: ClassExpression
subclass of: Restriction
  on property: dataPropertyExpressions
  all values from: DataPropertyExpression
subclass of: Restriction
  on property: objectPropertyExpressions
  all values from: ObjectPropertyExpression

AnonymousIndividualAnnotation
type: Class
subclass of: Axiom
subclass of: Restriction
  on property: anonymousIndividual
  cardinality: 1
  on class: AnonymousIndividual
subclass of: Restriction
  on property: anonymousIndiviudalAnnotations
  min cardinality: 1
  on class: Annotation