Tematres:  management formal representations of knowledge