Explication and semantic querying of Enterprise Information Systems