Formal Properties of Net-Based Knowledge Representation Schemes