1

我正在尝试使用 SPARQL 和 OWL 在 query.wikidata.org 中解决简单的 3x3 数独游戏。

3x3 数独游戏

PREFIX owl: <http://www.w3.org/2002/07/owl#>
SELECT ?a12 ?a13 ?a21 ?a23 ?a31 ?a32 WHERE{

:Zahl a owl:Class;
        owl:oneOf (:1 :2 :3) .

 
?a12 a :Zahl.
?a13 a :Zahl.
?a21 a :Zahl.
?a23 a :Zahl.
?a31 a :Zahl.
?a32 a :Zahl.
       
?a11 owl:sameAs :1.
?a22 owl:sameAs :2.
?a33 owl:sameAs :3.

?a12 owl:differentFrom ?a11 ?a13 ?a22 ?a32.
?a13 owl:differentFrom ?a11 ?a12 ?a23 ?a33.
?a21 owl:differentFrom ?a22 ?a23 ?a11 ?a31.
?a23 owl:differentFrom ?a22 ?a21 ?a13 ?a33.
?a31 owl:differentFrom ?a11 ?a21 ?a32 ?a33.
?a32 owl:differentFrom ?a12 ?a22 ?a31 ?a33.
}

但我得到这个错误：

Query is malformed: Encountered " <PNAME_LN> "owl:oneOf "" at line 5, column 19.

有人可以指出我的错误吗？

4

2 回答 2

1

你好，我来自卡尔斯鲁厄的朋友，

您的基本错误是您尝试在查询中定义对象 - :Zahl a owl:Class; 猫头鹰:oneOf (:1 :2 :3) 。

查询不是那个地方。这只能在 rdf 文档中完成 - 在练习中不应更改。另一个错误是对对象和文字的错误理解： ...owl:oneOf (:1 :2 :3) 。... ?a11 owl:sameAs :1。?a22 owl:sameAs :2。?a33 owl:sameAs :3。

owl:sameAs 不适用于字面量，因此这些对象名为 1、2 和 3。您可以使用名为 1、2、3 的对象，但使用数字（字面量）和使用过滤器（过滤器 (?a11 = 1))。

根据我们的源 rdf，我认为这是应该做的事情，因为这些是定义的文字：ex:field ex:allowed "1"^^xsd:int, "2"^^xsd:int, "3" ^^xsd:int。干杯!

于 2017-07-04T09:11:10.687 回答
1

正如 HarrySack_overflow 已经提到的，:Zahl 的定义（在练习中是 :field）已经在图中（毕竟你是在查询，而不是定义）。:field 可以像这样定义并上传到图表中：

@prefix ex: <http://example.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

ex:field ex:allowed "1"^^xsd:int,
"2"^^xsd:int,
"3"^^xsd:int.

我们可以通过查询其他字段的所有允许值来找到解决方案，通过:field :allowed <<fieldVariableName>> .

最后，我们检查所有解决方案的有效性。在 3x3 数独中，每行/列都已经给出了一个值，这可以通过检查每行/列的总和来实现。解决方案可能如下所示（将预定义字段分配给变量以提高可读性）：

PREFIX : <http://example.org/> 
PREFIX xsd: <http://www.w3.org/2001/XMLSchema#>
SELECT ?a1 ?a2 ?a3 ?b1 ?b2 ?b3 ?c1 ?c2 ?c3
WHERE {
  BIND("1"^^xsd:integer AS ?a1)
  BIND("2"^^xsd:integer AS ?b2)
  BIND("3"^^xsd:integer AS ?c3)

  :field :allowed ?a2, ?a3, ?b1, ?b3, ?c1, ?c2 .

  #CHECK ROWS
  FILTER(?a1 + ?a2 + ?a3 = 6)
  FILTER(?b1 + ?b2 + ?b3 = 6)
  FILTER(?c1 + ?c2 + ?c3 = 6)

  #CHECK COLUMNS
  FILTER(?a1 + ?b1 + ?c1 = 6)
  FILTER(?a2 + ?b2 + ?c2 = 6)
  FILTER(?a3 + ?b3 + ?c3 = 6)
}
于 2017-07-15T15:06:52.980 回答