/
dgrigorev
/
NovaReason
Обзор
Документация
Войти
/
dgrigorev
/
NovaReason
Код
Запросы
0
Задачи
Вики
Пакеты
0
Релизы
0
CI/CD
Аналитика
Безопасность
master
data/rules/core.rules.json
32 строки
1 KB
Дмитрий Григорьев
Initial commit
03 июн 2026, 00:02
03 июн 2026, 00:02
c9e8341
Код
Авторство
О чём код?
[ { "id": "is_a_transitivity", "name": "Транзитивность is_a", "description": "Если a является b, а b является c, то a является c.", "priority": 100, "conditions": [ { "fact": ["?a", "is_a", "?b"] }, { "fact": ["?b", "is_a", "?c"] } ], "conclusions": [ { "fact": ["?a", "is_a", "?c"] } ], "explanation_template": "Если ?a является ?b, а ?b является ?c, то ?a является ?c.", "tags": ["inheritance", "core"] }, { "id": "property_inheritance", "name": "Наследование свойства класса", "description": "Экземпляр наследует свойства своего класса.", "priority": 90, "conditions": [ { "fact": ["?x", "is_a", "?class"] }, { "fact": ["?class", "?property", "?value"] } ], "conclusions": [ { "fact": ["?x", "?property", "?value"] } ], "explanation_template": "?x наследует свойство ?property=?value от класса ?class.", "tags": ["inheritance", "core"] } ]