В OWL.Каковы правила, используемые разумом
Я знаю, что если
ObjectProperty AB
и
AB domain A
и
AB range B
и
A subClassOf AB something
, то рассудитель может сделать вывод, что
A subClassOf B
1- Что такое понятие, лежащее в основе этого вывода?
2 Есть ли какие-либо ссылки, объясняющие весь набор правил того, как работает основатель, т. Е. Каковы правила, которые применяет разумник, чтобы превратить неявные знания в явные? как это представлено в примере выше?