Предложен новый подход к построению онтологий, расширение машины вывода логикой троичных предикатов и модификация инструментов редактора онтологий в интегрированную среду разработки (IDE). В статье рассматриваются возможности редактора онтологий Protégé и Ontorion Fluent Editor на примере построения онтологии общеизвестной «загадки Эйнштейна», как основа построения дескриптивных онтологий (OWL). Описаны теоретические основы предлагаемых модификаций, а также конкурентные преимущества практического применения предлагаемых методов. Ключевые слова: онтология, аксиома, факт, триплет, концепт, объект, субъект, отношение, экземпляр класса, dl query, SPARQL, OWL.