Formal Definition

From WebLichtWiki

Revision as of 11:43, 13 March 2012 by Akislev (Talk | contribs)
Jump to: navigation, search

Formal Chaining Specification

\mathcal{N} a set of all the possible value names,
\mathcal{F} a set of all the possible feature names,
feature set F \subseteq \mathcal{F} a set of feature names,
feature/value relation V \subseteq \mathcal{F} \times \mathcal{N} a set of (feature name, value name) ordered pairs, i.e. a binary relation between \mathcal{F} and \mathcal{N}.

Example:


\begin{matrix}
F_1 &= \{lang,type\} \\
V_1 &= \{(lang,en),(lang,de),(type,text/plain)\}
\end{matrix}