Система Cyc и ее библиотека онтологий

Работа посвящена описанию библиотеки онтологий, предоставляемой программной системой под названием Cyc. На сегодняшний день, онтологии системы Cyc представляют собой наиболее объемное собрание фактов в мире, описывающих различные аспекты человеческой деятельности. Система Cyc довольно объемна как по предоставляемой функциональности, так и по объему содержащейся в ней информации. Поэтому описание системы разделено на две части. Данная статья представляет собой первую часть, в которой дана общая информация о системе, а также приведено описание языка онтологий CycL, который используется в системе Cyc для добавления новых фактов.