You are hereArticle / A Mathematical Formalism for the Topic Maps Reference Model

# A Mathematical Formalism for the Topic Maps Reference Model

A Mathematical Formalism for the Topic Maps Reference Model

A Topic Map is a deterministic formal system of elements and sets of elements that models conversation and records knowledge. The set of axioms herewith explicitly defines topic maps, submaps, and merged maps. The satisfaction of all the axioms by a candidate set means that the set is a topic map.