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