classes Negation The individuals ¬ owl:complementOf “Not” Class that are not in the negated class Universal It describes the owl:allValuesFrom “Only”; class of “All individuals that values have only one from” kind of relationship along a specified property to an individual that is a member of a specified class Existential It describes the owl:someValuesFrom “Some class of Value individuals that from”; have at least one “At kind of least relationship along one” a specified property to an individual that is a member of a specified class Absolute It defines the = owl:cardinality Cardinality exact number of n” relationships that a class of individuals can have. Max It defines the owl:maxCardinality “At Cardinality maximum number most of relationships n” that a class of individuals can have. Min It defines the owl:minCardinality “At Cardinality minimum number n” of relationships that a of individuals can have.
classes Class Negation The individuals that are not in the negated class ¬ “Not” owl:complementOf Universal It describes the class of individuals that have only one kind of relationship along a specified property to an individual that is a member of a specified class “Only”; “All values from” owl:allValuesFrom Existential It describes the class of individuals that have at least one kind of relationship along a specified property to an individual that is a member of a specified class “Some Value from”; “At least one” owl:someValuesFrom Absolute Cardinality It defines the exact number of relationships that a class of individuals can have. = n” owl:cardinality Max Cardinality It defines the maximum number of relationships that a class of individuals can have. “At most n” owl:maxCardinality Min Cardinality It defines the minimum number of relationships that a of individuals can have. “At n” owl:minCardinality