657,269
edits
m (Text replacement - " ⇒ " to " ⇒ ") |
m (Text replacement - "** ..." to "** …") |
||
Line 16: | Line 16: | ||
*** :: ⊂ ''I''×''T</i> is the ''conformity relation''. The conformity relation relates type labels to individual markers; this is essentially the relation which ensures that the typing of the concepts makes sense in the domain, and helps to enforce the type hierarchy. | *** :: ⊂ ''I''×''T</i> is the ''conformity relation''. The conformity relation relates type labels to individual markers; this is essentially the relation which ensures that the typing of the concepts makes sense in the domain, and helps to enforce the type hierarchy. | ||
*** <math>B</math> is the ''Canonical Basis function</i> (also called s in the Conceptual Graphs literature). This function associates each relation type with the concept types that may be used with that relation; this helps to guarantee well-formed graphs. | *** <math>B</math> is the ''Canonical Basis function</i> (also called s in the Conceptual Graphs literature). This function associates each relation type with the concept types that may be used with that relation; this helps to guarantee well-formed graphs. | ||
** | ** … | ||
** QUOTE: An ontology in a given domain <math>M</math> with respect to a canon is a tuple (''T<sub>CM</sub>, T<sub>RM</sub>, I<sub>M</sub>''), where | ** QUOTE: An ontology in a given domain <math>M</math> with respect to a canon is a tuple (''T<sub>CM</sub>, T<sub>RM</sub>, I<sub>M</sub>''), where | ||
*** ''T<sub>CM</sub></i> is the set of concept types for the domain <math>M</math> and ''T<sub>RM</sub></i> is the set of relation types for the domain ''M''. | *** ''T<sub>CM</sub></i> is the set of concept types for the domain <math>M</math> and ''T<sub>RM</sub></i> is the set of relation types for the domain ''M''. |