An overriding property is a property that represents the restriction of a property to a subset of its domain. Thus if I have a property from Person to person called siblingOf, I might reasonbly define an overriding property from Woman to Person called sisterOf. The purpose of an overriding property is the ability to make assertions about the behavior of property on a subset of its domain. The minCardinality is - in some sense - the minimum number of values that a property can have. The trouble with this definition is that a property with a minCardinality is allowed to not have any values for resources that are "not in its domain". The notion "not in its domain" does not have a satisfactory expansion in rdf. The best we can do to formalize this in rdf is to assert that if a property, p, has minCardinality, n, then for any resource x the number of y such that <x, p, y> is either zero or a number greater than or equal to n. A subproperty of rdfs:subPropertyOf that applies to OverridingProperty's. Applies to properties whose range is the integer datatype. The maxValue of a property is the maximum value that the property can have. In other words, <p, minValue, n> and <x, p, m> implies that n <= m. Applies to properties whose range is the integer datatype. The minValue of a property is the minimun value that the property can have. In other words, <p, minValue, n> and <x, p, m> implies that n >= m. The maxCardinality of a property is the maximum value count for the property. A non-monotonic variant of rdfs:domain. The semantics of this construct has not been fully defined. If we have a set of statements, <p, allowedClasses, A1>, ..., <p, allowedClasses, An> then for any <x, p, y> the resource y must be in one of the allowed classes A1, ...,. An. The interpretation of rdfs:domain used by Protege is not consistent with the rdf semantics. In Protege, if a <p, rdfs:domain, A> and <p, rdfs:domain, B> then p can have a value at resoures that are in A but not in B and vice versa. That is to say that Protege uses union to calculate the "effective domain" but rdfs uses intersection. Note that the Protege interpretation is non-monotonic.