Без заголовка

Собственно, автоматическое сравнение поддерживают ризонеры для OWL DL, она специально для этих целей и создавалась.