Class

Class

The class of all OWL classes

Class
Subclass Of
Class

Instances 25

ClassAll DifferentThe class of axioms asserting that every member of a list of individuals is pairwise different from every other member. More compact than enumerating O(n^2)…
ClassAll Disjoint ClassesThe class of axioms asserting pairwise disjointness over a list of classes. The n-ary counterpart of `disjointWith`. Mirrors `owl:AllDisjointClasses`.
ClassAll Disjoint PropertiesThe class of axioms asserting pairwise property-disjointness over a list of properties. The n-ary counterpart of `propertyDisjointWith`. Mirrors…
ClassAnnotationThe class of annotation reifications — used when an annotation itself needs to be annotated (e.g. recording the source of an rdfs:label). Mirrors…
ClassAnnotation PropertyThe class of annotation properties
ClassAsymmetric PropertyThe class of asymmetric properties
ClassAxiomThe class of reified axioms. Used to attach annotations (provenance, deprecation, etc.) to a specific axiom rather than to one of its entities. Mirrors…
ClassClassThe class of all OWL classes
ClassData RangeThe class of OWL data ranges
ClassDatatype PropertyThe class of datatype properties that relate individuals to data values
ClassDeprecated ClassThe class of deprecated classes
ClassDeprecated PropertyThe class of deprecated properties
ClassFunctional PropertyThe class of properties that can have at most one value for each individual
ClassInverse Functional PropertyThe class of properties that are inverse functional
ClassIrreflexive PropertyThe class of irreflexive properties
ClassNamed IndividualThe class of named individuals
ClassNegative Property AssertionThe class of negative property assertions. A reification node declaring that `(sourceIndividual, assertionProperty, targetIndividual|targetValue)` does NOT…
ClassNothingThe empty class
ClassObject PropertyThe class of object properties that relate individuals to individuals
ClassOntologyThe class of ontologies
ClassReflexive PropertyThe class of reflexive properties
ClassRestrictionThe class of property restrictions
ClassSymmetric PropertyThe class of symmetric properties
ClassThingThe class of all individuals
ClassTransitive PropertyThe class of transitive properties

Referenced by

← Domain

Object PropertyComplement OfThe property for specifying class complementscore-owl@2.1.0
Object PropertyDisjoint Union OfDeclares the subject class as the disjoint union of the listed classes — i.e. equivalent to their `unionOf` AND every pair of listed classes is `disjointWith`.…core-owl@2.1.0
Object PropertyDisjoint WithThe property for declaring two classes as disjointcore-owl@2.1.0
Object PropertyDistinct MembersThe property for declaring a list of pairwise different individualscore-owl@2.1.0
Object PropertyEquivalent ClassThe property for declaring two classes as equivalentcore-owl@2.1.0
Object PropertyHas KeyDeclares that the listed properties (an `rdf:List` of ObjectProperty / DatatypeProperty values) jointly identify individuals of the subject class — i.e. two…core-owl@2.1.0
Object PropertyIntersection OfThe property for defining a class as an intersection of other classescore-owl@2.1.0
Object PropertyOne OfThe property for defining a class by enumeration of its individualscore-owl@2.1.0
Object PropertyUnion OfThe property for defining a class as a union of other classescore-owl@2.1.0

← Range

Object PropertyAll Values FromThe property that determines the class that all values of a property must belong to
Object PropertyComplement OfThe property for specifying class complements
Object PropertyDisjoint WithThe property for declaring two classes as disjoint
Object PropertyEquivalent ClassThe property for declaring two classes as equivalent
Object PropertyOn ClassThe property that determines the class that a qualified restriction refers to
Object PropertySome Values FromThe property that determines the class that at least one value of a property must belong to

← Subclass Of

ClassDeprecated ClassThe class of deprecated classes
ClassRestrictionThe class of property restrictions