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.: borders::Germany

resulting in: borders::Germany

and Germany borders::*

resulting in: Germany borders::*

See also: Owl:SymmetricProperty