umuntu utari umubandwa yitwa inzigo azira gucana inkwi ziturutse ku murinzi ntiyatema n'igiti cy'umurinzi applications of e include reasoning on large ontologies software verification and software certification