The class of primitive classes. The definition of a primitive class specifies necessary conditions for class membership. Note that every class that is not typed as "DefinedClass" is by default a primitive class. The class of defined classes. The definition of a defined class specifies necessary and sufficient conditions for class membership. The subset of Literals that are strings. The subset of Literals that are integers. The most general class, which subsumes every other class. The empty class, which is subsumed by every other class. An expression which defines a class or a datatype. An expression which defines a range over some data type. This connects a concrete type expression with a string value. It is still not possible to enforce the use of concrete type in RDFS, although it is foreseen that XML Schema datatyping will be used. This connects a concrete type expression with an integer value. It is still not possible to enforce the use of concrete type in RDFS, although it is foreseen that XML Schema datatyping will be used. An concrete type expression which defines the data type consisting of all values greater than or equal to the given (string or integer) value. An concrete type expression which defines the data type consisting of all values less than or equal to the given (string or integer) value. An concrete type expression which defines the data type consisting of all values less than the given (string or integer) value. An concrete type expression which defines the data type consisting of all values greater than the given (string or integer) value. An concrete type expression which defines the data type consisting of the given (string or integer) value. An concrete type expression which defines the data type consisting of all (string or integer) values greater than or equal to the first given value and less than or equal to the second given value. An expression which defines a class. A class-expression can be either a rdfs:Class, an enumerated-class, a property restriction, or a boolean combination of class expressions using the operators And, Or and Not. An additional statement about rdfs:Class which makes rdfs:Class also a subclass of ClassExpression. An additional subClassOf property, which extends the range of rdfs:subClassOf with ClassExpressions. An expression which defines a boolean combination of expressions (class or concrete type) using the operators And, Or and Not. This connects a boolean class expression with the operand expression(s). An expression corresponding to the conjunction of (two or more) expressions. An expression corresponding to the disjunction of (two or more) expressions. An expression corresponding to the negation of an expression. A enumerated class which is defined by an enumeration of instances. This connects the enumeration OneOf class with its individuals. This connects a class definition with a PropertyRestriction. A restriction on the values of the properties in a class. This corresponds to slotconstraint in the presentation syntax. This connects a PropertyRestriction with the property it places a restriction on. This connects a PropertyRestriction with the class to which it restricts a property. This connects a PropertyRestriction with the concrete type to which it restricts a property. A PropertyRestriction corresponding to a typing constraint, e.g., ValueType(p1, v1) means that if the property p1 has a value, it must be of type v1. A PropertyRestriction corresponding to an existential constraint, e.g., HasValue(p1, v1) means that the property p1 must have at least one value v1. A PropertyRestriction. Every instance of the class defined by the slot-constraint must be related via the slot relation to each individual and data value in the list. This connects HasFiller with an individual. This connects HasFiller with an integer. This connects HasFiller with a string. A specific property restriction which specificies the cardinality of a property. This connects a cardinality restriction with the integer that defines the cardinality. A PropertyRestriction corresponding to a maximum cardinality constraint, e.g., MaxCardinality(p1, n, v1) means that the property p1 may have at most n values of type v1. A PropertyRestriction corresponding to a minimum cardinality constraint, e.g., MinCardinality(p1, n, v1) means that the property p1 must have at least n values of type v1. A PropertyRestriction corresponding to a exact cardinality constraint, e.g., Cardinality(p1, n, v1) means that the property p1 must have exact n values of type v1. This is equivalent with having both a MaxCardinality and a MinCardinality restriction. The class of all transitive relations. The class of all symmetric relations. The class of all functional relations. An additional oil:domain property, which extends the range of rdfs:domain with ClassExpressions. An additional oil:range property, which extends the range of rdfs:range with ClassExpressions. This connects a property with its inverse property. An OIL axiom. This connects an axiom with the object class definition. An axiom class stating disjointness of classes, e.g., there can be no individual that is an instance of more than one of the class expressions. An axiom class stating the equivalence of the subject and object class expressions. An axiom class stating a covering. This is an abstract class that is not used directly. Instead, one of its subclasses is used. This connects an axiom with the subject class definition. This specialization of hasObject connects a covering axiom with the object class definition. It is a specialization of the hasObject property. An axiom class stating that every instance of the subject class expression is also an instance of at least one of the class expressions in the coveredBy property. An axiom class stating that every instance of the subject class expression is also an instance of at least one of the class expressions in the coveredBy property and that the class expressions in the coveredBy property are disjoint.