MECORI: a method for knowledge base semantic verification based on integrity constraints.