Differences

This shows you the differences between two versions of the page.

--- etc:teach:diplomants:projects:2009:olpcmind:links:semantic_tools:reasoners [2008/07/09 15:50] – kuv
+++ etc:teach:diplomants:projects:2009:olpcmind:links:semantic_tools:reasoners [2008/08/04 04:46] (current) – Inference Manual kuv
@@ Line 1: / Line 1: @@
 ====== Semantic Reasoner ======
 ===== Что такое логический вывод =====
-===== Чем занимаются reasoner'ы на онтологиях =====
+Тезисы, чтобы не забыть:
-[[http://en.wikipedia.org/wiki/Semantic_reasoner | Semantic_reasoner]] и [[http://en.wikipedia.org/wiki/Inference_engine | Inference engine]] - а в чём отличие?
+  * вывод в Jena проходит на уровне RDF-операторов (Statements)
+  * Для разных языков в Jena существует несколько Reasoner'ов -- мы пользуемся OWL-reasoner'ом.
+  * Для вывода требуются:
+    *  данные-онтология классов и свойств
+    * данные - описание индивидов (на RDF) и значений их свойств.
+  * Легко реализуемы:
+    * вывод вида : "расскажи мне все что вывел"
+  * Непонятно, как реализуебтся выводы вида:
+   * проверь, это факт
+   * как связаны эти индивиды?
+Для проверки приходится сначала делаты вывод вида : "расскажи мне все что вывел"
+===== Открытые вопросы =====
+[[http://en.wikipedia.org/wiki/Semantic_reasoner | Semantic_reasoner]] и [[http://en.wikipedia.org/wiki/Inference_engine | 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. ''
 ===== Ссылки =====
   * [[http://protege.stanford.edu/plugins/owl/api/ReasonerAPIExamples.html | using the protégé-owl reasoner api]]