# X/Y

X and Y are variables used for writing axioms about roles (such as **be-child-of**) in a form of If ... then ... rules or ... if-and-only-if ... rules. Those axioms are OWL expressions. The axioms include: general role inclusion, transitivity etc. The axioms modify semantic sense of the roles. All of them are in fact a kind of semantic sugar and can be thought of as special cases of a general role inclusion and concept subsumption axioms.

### Examples

The examples below show how to write simple axioms about roles using variables X and Y.

Example: General role inclusion.

If X is-daughter-of Y then X is-child-of.

Example: Role transitivity.

If X has-part something that has-part Y then X
has-part Y.

Example: Symmetric role.

X has-sibling Y if-and-only-if Y has-sibling X.