Architecture of a semantic data integration system based on a semantically complete model and a semantically complete query language