# Individual Axioms

These are axioms concerning individuals.

## Contents

## Class assertion axiom

The class assertion axiom states that an individual is an instance of an class expression.

## Object property assertion axiom

It states that the individual 'a1' is connected by the object property 'op' to an individual 'a2'.

## Negative object property assertion axiom

It states that the individual 'a1' is not connected by the object property 'op' to an individual 'a2'.

## Data property assertion axiom

With this axiom it is possible to state that an individual 'a' is connected by a data property 'dp' expression to a literal 'l1'.

## Negative data property assertion axiom

The opposite of the data property assertion, so the individual 'a' is not connected by a data property 'dp' expression to a literal 'l1'.

## Same individuals axiom

This axiom states that all individuals contained by this axiom are equal to each other.

## Different individuals axiom

Other than the same individual's axiom, this one states that all contained individuals are not equal to each other.