1

アインシュタインのなぞなぞ(別名ゼブラ パズル) をStardog推理器で解くことは可能ですか? つまり、次のクエリでは期待した結果が得られませんeinsteins_riddle_en:Old_Gold

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

2 に答える 2

1

推論を実行するときに DL を使用するようにデータベースを構成する必要がある可能性があります。デフォルトは ALHIO に対応する SL です。

DL を使用するように stardog を構成するには、データベース オプションreasoning.typeをに設定しますDL。

于 2015-06-30T11:04:56.463 に答える
0

完全を期すために: マイケルのアドバイスに従って、私は最終的に予想される推論結果を得ました

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

どうもありがとう！

于 2015-07-01T14:31:45.490 に答える