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