Логическая модель базы знаний призвана отразить логические связи между понятиями предметной области, инвариантные по отношению к способам их представления в компьютерной инфраструктуре.