使用 SPARQL 和 OWL 求解 3x3 数独

Question

我正在尝试使用 SPARQL 和 OWL 在 query.wikidata.org 中解决简单的 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.

有人能指出我的错误吗？

Answer 1

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

您的基本错误是您试图在查询中定义对象 - :Zahl owl:Class; owl: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 的对象，但使用数字要容易得多（文字）并使用过滤器 (FILTER (?a11 = 1)).

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

Answer 2

正如 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>> .

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

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)
}

使用 SPARQL 和 OWL 求解 3x3 数独

Solving 3x3 Sudoku with SPARQL and OWL

owl

sparql

wikidata-query-service