Синтаксис и семантика правил языка SWRL. Выберете правильные утверждения:
- атом представляет собой предикат – утверждение об объекте онтологии.
- если условие правила выполняется, это означает, что выполняется хотя бы один атом, из которых состоит вывод.
- консеквент правила является истинным, когда антецендент пуст или все составляющие его атомы истинны.
- правило состоит из заголовка (консеквент и тела (антецендент.
- при составлении правил SWRL в качестве аргументов могут выступать переменные или конкретные объекты
- синтаксис записи предикатов в языке отличается от принятого в логике.
- синтаксис записи предикатов в языке соответствует принятому в логике.
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.