Question

我正在研究验证海龟文件的验证器。在处理函数以检查所声明的基数是否对每个对象都是正确的时，我无法弄清楚如何访问文字的值。

字面值为Card=literal(type(xsd:nonNegativeInteger, '1'))（或1^^'http://www.w3.org/2001/XMLSchema#nonNegativeInteger'）。

我找到了一包长度为L的属性。如何检查L == Card？

我已经尝试了以下内容：

% L and Card are both 1
rdf_canonical_literal(L, LiteralL), rdf_compare(=, LiteralL, Card).
% false

rdf_canonical_literal(L, LiteralL).
% LiteralL = 1^^'http://www.w3.org/2001/XMLSchema#integer'.

问题是xsd:integer和xsd:nonNegativeInteger不能比较相同。

然而，对我来说最简单的事情似乎是获得了Card的价值，但我真的不明白该怎么做。任何解决方案或指针在哪里找到这样的例子将非常感谢!!

Answer 1

如果使用库rdf11，则大多数常见数据类型IRI会自动解释为Prolog值。换句话说：根本不需要从RDF文字转换为Prolog值。例如：

?- [library(semweb/rdf11)].
?- rdf_assert(rdf:a, rdf:b, 1^^xsd:int).
?- rdf(_S, _P, N^^xsd:int).
N = 1.

你可以使用钩子扩展库rdf11，用于不太常见的数据类型IRI，例如，我使用了很多地理数据（数据类型IRI geo:wktLiteral），我让rdf/[3,4]解释为Prolog自动着名文本（WKT）表示法。

访问三元组对象的文字值

1 个答案: