用 Stardog 推理机解决爱因斯坦之谜？答案

【问题标题】：Solve Einstein's riddle with Stardog reasoner?用 Stardog 推理机解决爱因斯坦之谜？
【发布时间】：2015-09-15 22:49:04
【问题描述】：

是否可以使用Stardog 推理器解决Einstein's riddle（又名斑马难题）？ IE。以下查询不会产生预期的结果einsteins_riddle_en:Old_Gold

stardog query myDatabase --reasoning "SELECT ?o WHERE {einsteins_riddle_en:Englishman einsteins_riddle_en:smokes ?o}"
+-------+
|   o   |
+-------+
+-------+

【问题讨论】：

标签： owl reasoning zebra-puzzle stardog

【解决方案1】：

推理时可能需要配置数据库使用DL，默认是SL，对应ALHIO。

要将stardog 配置为使用DL，请将数据库选项reasoning.type 设置为DL。

【讨论】：

我必须在创建数据库的过程中指定这个选项吗？我找不到任何关于那个的文档...... :-(
顺便说一句：我正在寻找一个关于 SL 和 DL 推理之间区别的易于理解的教程..？
对于 DL，取决于您认为容易理解的内容，Description Logic Handbook，尤其是前几章非常适合阅读。 SL 是一个自定义片段，它是 stardog 可以处理的最大表现力，而无需像 DL 那样将所有内容都拉入内存。 stardog 文档 (docs.stardog.com) 中的推理章节对此做了一些解释。

【解决方案2】：

为了完整起见：按照迈克尔的建议，我最终得到了预期的推断结果

nano database.properties
#vvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvvv
reasoning.schema.graphs = default , http\://www.example.org/mySchema
reasoning.punning.enabled = false
reasoning.type=DL
#^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^

stardog-admin db drop   -n myDB
stardog-admin db create -n myDB --config database.properties  einsteins_riddle.ttl 

stardog query myDB --reasoning "SELECT ?p ?o WHERE {einsteins_riddle_en:Englishman ?p ?o}"  
+------------------------------+------------------------------+
|              p               |              o               |
+------------------------------+------------------------------+
| rdf:type                     | owl:Thing                    |
| rdf:type                     | einsteins_riddle_en:Man      |
| einsteins_riddle_en:lives_in | einsteins_riddle_en:house-3  |
| einsteins_riddle_en:smokes   | einsteins_riddle_en:Old_Gold |
| einsteins_riddle_en:drinks   | einsteins_riddle_en:milk     |
| einsteins_riddle_en:owns     | einsteins_riddle_en:snails   |
+------------------------------+------------------------------+
Query returned 6 results in 00:00:10.482

非常感谢！

【讨论】：