Symmetric relation

A relation r is symmetric if for all tuples (x,y) in r follows that also (y,x) is in r. An example for a symmetric relation is PropertyR:borders. If country A borders to country B, then also country B borders to country A.

Das bedeutet, wenn A mit B verbunden ist, dann folgt daraus, dass B mit A auf die gleiche Art und Weise verbunden ist. Ein Beispiel dafür ist z.B. Property:grenzt an. Wenn ein Land A and ein Land B grenzt, so muss auch B an A angrenzen.

A symmetric relation allows a short name like Property:Sibling, because we do not have to distinguish "is" from "has".

We can check for consistency comparing e.g.:

<ask>[[borders::Germany]]</ask>

resulting in: <ask>Germany</ask>

and

<ask>[[Germany]] [[borders::*]]</ask>

resulting in: <ask>Germany *</ask>

See also: Owl:SymmetricProperty