Языки представления знаний, как правило (такие как логика описания, OWL и т. Д.), Обеспечивают только бинарные отношения для сохранения разрешимости.Но я не понимаю, почему предоставление троичных отношений сделало бы язык неразрешимым.
Я хотел бы получить некоторую справку, объясняющую это.Я не нашел интересных ссылок на эту тему.