Есть правила Jena
Я не знаю префикс b и fb. Чем отличаются файлы OWL и RDFS?
PS. URL загрузки: https://jena.apache.org/download/index.cgi и нажмите jena-2.11.1-source-release.zip (MD5, PGP)
каталог правил -> jena-core/src/main/resources/etc
Есть правила Jena
Я не знаю префикс b и fb. Чем отличаются файлы OWL и RDFS?
PS. URL загрузки: https://jena.apache.org/download/index.cgi и нажмите jena-2.11.1-source-release.zip (MD5, PGP)
каталог правил -> jena-core/src/main/resources/etc
Файлы *.rules
— это файлы с правилами, используемыми всеми различными разработчиками Jena.
Смотрите комментарии в заголовках файлов. Например, для owl-fb .rules это:
Набор правил OWL v0.3 Этот набор правил предназначен для реализации owl(f)lite с использованием гибридной системы правил (сочетание прямой и обратной цепочки). Он отличается от более ранних версий тем, что более последовательно придерживается рассуждений об экземплярах, поскольку разработан для работы с обратным механизмом LP.
Он включает экспериментальную прямую версию рассуждений о равенстве, которая еще не масштабируется.
Таким образом, b
означает backward chaining
, f
— forward chaining
, а fb
— их комбинацию.