Тезисы, чтобы не забыть:

• вывод в Jena проходит на уровне RDF-операторов (Statements)
• Для разных языков в Jena существует несколько Reasoner'ов – мы пользуемся OWL-reasoner'ом.
• Для вывода требуются:
  • данные-онтология классов и свойств
  • данные - описание индивидов (на RDF) и значений их свойств.
• Легко реализуемы:
  • вывод вида : “расскажи мне все что вывел”
• Непонятно, как реализуебтся выводы вида:
• проверь, это факт
• как связаны эти индивиды?

Для проверки приходится сначала делаты вывод вида : “расскажи мне все что вывел”

Semantic_reasoner и Inference engine - а в чём отличие? Пока, кажется, что ни в чем, кроме уровней абстракции. В мануале по Jena говорится
We will try to use the term inference to refer to the abstract process of deriving additional information and the term reasoner to refer to a specific code object that performs this task. ===== Ссылки ===== * using the protégé-owl reasoner api