Аннотация:
Предложен метод построения таксономии онтологии предметной области, ориентированный на автоматизацию процесса с использованием знаний эксперта об атрибутах предметной области. Метод основан на бинарных отношениях “ограничений существования” на множестве атрибутов и анализе формальных понятий. Приведен пример таксономии фрагмента теории графов, построенной по предложенному методу.
Ключевые слова:онтология, таксономия, анализ формальных понятий, отношение ограничения существования, теория графов.