Что означают "fb" и "b" в правилах Jena //OWL, RDFS

Question

Есть йена правила
Я не знаю префикса b и fb. Какие разные вещи у каждого OWL и RDFS файлов?

PS. URL загрузки: https://jena.apache.org/download/index.cgi и нажмите jena-2.11.1-source-release.zip (MD5, PGP).

dir rules -> jena-core/src/main/resources/etc

Answer 1

*.rules файлы - это файлы с правилами, используемыми всеми разными мыслителями Йены.

Смотрите комментарии в заголовках файлов. Например, для файла owl-fb.rules это:

Набор правил OWL v0.3. Этот набор правил предназначен для реализации owl(f)lite с использованием гибридной системы правил (сочетание прямой и обратной цепочек). Он отличается от более ранних версий тем, что более последовательно придерживается аргументации экземпляров, так как предназначен для работы с отсталым движком LP.

Он включает экспериментальную прямую версию рассуждений о равенстве, которая еще не масштабируется.

Так b обозначает backward chaining, f за forward chaining, а также fb для комбинации двух.