Paper presents the algorithms and data structure schemes to be used for knowledge storage and processing by various ICONS components and discusses the algorithms as they appeared through theoretical and experimental studies. By Witold Litwin and Gerard Le