1. A computer system comprising: a) means for storing data, the data being allocated to predetermined categories that are components of at least one stored categorical structure forming an object model, b) at least one inquiry unit for making queries relating to the stored data; and c) at least one inference unit used to evaluate a set of declarative rules, the declarative rules linking at least one predetermined category with another at least one of said categories.