Крячок, О. С.; Євтушенко B. O. About Development a Formal Model of Ontology for Semantic Search Systems. PIC 2011, 1, 86-89.