Appendix: Index of all language elements

    ? * cardinality    
    X * cardinalityQ
    R* Class
    2* complementOf
    R* Datatype
    1* DatatypeProperty
    2* DatatypeRestriction
    ??? * Datatype value
    1 * differentIndividualFrom
    ? * Disjoint
    X* disjointUnionOf
    ? * disjointWith
    R* domain
    ? * equivalentTo
    1 * hasClass
    X * hasClassQ
    1 * hasValue
    1 * imports
    2* intersectionOf
    ? * inverseOf
    ? * maxCardinality
    X * maxCardinalityQ
    ? * minCardinality
    X* minCardinalityQ
    - * ObjectClass
    - * ObjectProperty
    - * ObjectRestriction
    1 * oneOf
    1 * onProperty
    - * Ontology
    R* Property
    R* range
    2 * Restriction
    1 * sameClassAs
    1* sameIndividualAs
    1* samePropertyAs
    R* subClassOf
    R* subPropertyOf
    1 * toClass
    1 * TransitiveProperty
    1 * UnambigousProperty
    2 * unionOf
    1* UniqueProperty
     - * versionInfo