Category:Symmetric relation

From semanticweb.org

Jump to: navigation, search

A binary relation R over a set X is symmetric if it holds for all A and B in X that if A is related to B then B is related to A.

In mathematical notation, this is:

\forall A, B \in X,\ A R B \Rightarrow \; B R A

In SMW we have to distinguish between semantic symmetry and actual symmetry, i.e., symmetry in the sense that whenever A R B is annotated, also B R A is annotated. The latter implies also that page B exists, hence, that we do not annotate a relation to a non-existing page..

See also:

Pages in category "Symmetric relation"

The following 10 pages are in this category, out of 10 total.

P

P cont.

P cont.

Personal tools