问题标签 [reification]

我试图以某种（半）结构化的方式存储日常句子 - 或者更确切地说是句子表达的信息。现在，我正在探索 RDF 的可行性。我对 RDF 不够熟悉，无法评估这是否合适。虽然我确信会有某种形式的信息丢失，但我不能说这对于实际目的是可以接受的。

显然，像“Bob ate the cake”这样的句子可以直接映射成主谓宾三元组（虽然我不知道如何正确处理谓词的时态）：

然后我遇到了具体化，它将单个三元组转换为 4-三元组图，表示具有主语、谓语和宾语节点的语句。这允许在陈述上反映陈述，例如，“Alice 认为 Bob 吃了蛋糕。”：

到目前为止，一切都很好。然而，日常语言有更多的结构。这里只是一些更明显的（对我来说）：

• 条件：“如果 Alice 说真话，Bob 吃了蛋糕。”

• 辅助动词：“爱丽丝可以烤蛋糕。”

• 从句补充：“爱丽丝喜欢吃蛋糕。”

• 否定：鉴于开放世界假设，没有三元组:Bob :ate :Cake .是模棱两可的。在许多实际情况中，我认为明确否定是很重要的。

• 析取：“（要么）爱丽丝或鲍勃吃了蛋糕。” 大多数人在日常语言中不能可靠地区分 OR 和 XOR。

• 量词：“大多数人喜欢蛋糕。”，“很少有人讨厌蛋糕。”

我假设有些可以以相对简单的方式实现。例如，“Alice 认为 Bob 没有吃蛋糕”可以表示为

这也可能允许通过使用三元组来表达简单的副词（例如“Bob 快速吃了蛋糕”），例如

另一方面，单独的具体化会迅速增加所需三元组的数量。我想您可以将其推向极端，并将依赖解析器的输出视为一组三元组，例如：

但是在查询图形或从中推断时，我看不到这真正有用。

我阅读了几篇侧重于将文本转换为 RDF 的科学论文，但其中大多数侧重于简单事实的提取。除此之外，我找不到任何好的资源来说明 RDF 如何有用/富有表现力/实用 RDF 来表示超越简单事实的知识。

我有以下类结构：

鉴于我有一个消费者类的实例，是否可以获得类型参数consumer.a.b？我发现如果我声明a为StringA a;where class StringA extends A<String, String>using TypeTools ，我可以解决同样的问题

我有一个检查其泛型类型参数的函数，如果该类型是预期值之一，则对其进行适合该类型的操作。如果类型是意外的，则会引发异常。

这有效，但它在运行时进行检查。如果泛型类型参数不是预期的类型之一，我想找到一种获取编译错误而不是运行时异常的方法。这可能吗，也许有合同？

刚开始研究 RDF 和本体，主要是将非结构化文本转换为 RDF（可能是手动），我发现了许多将简单句子转换为 RDF 三元组的示例1 2 3，但关于复杂句子的例子不多（使用形容词或副词）4。

复合句示例：那些非常高兴地喜欢巧克力冰淇淋的孩子和那些喜欢香草冰淇淋的孩子，谁更好？

别管句子的意思，值得注意的是对冰淇淋（巧克力、香草）和喜欢（愉快）的形容词的使用，以及两种类型的孩子（谁更好）和一个问题的比较。我们如何将这样的句子表示为 SPO 三元组 (RDF) 语句的集合——以便它可以处理形容词、副词或比较或其他操作？

S1：儿童 - 喜欢 -（冰淇淋、风味、巧克力）
S2：儿童 - 喜欢 -（冰淇淋、风味、香草）
S3：愉快地喜欢
S4：更好（S1+S3，S2+S3）

有没有一种通用的方法来翻译这些语句？人们应该在哪里寻找这个方向的一些探索 - 将非结构化文本转换为 n 元组？也许我没有问正确的问题——在这种情况下，请告诉我。谢谢！

让我们以公理为例 SubClassOf( DataAllValuesFrom( <d> xsd:boolean ) ObjectSomeValuesFrom( <o> owl:Thing ) Annotation( rdfs:comment "comm"^^xsd:string ) )。

这个公理在 RDF 的形式中应该是什么样子？

如果我正确理解规范，则只有一种方法：

示例 1：

但是，突然发现有些人以不同的方式理解规范。上面的公理可能甚至必须写成如下：

示例 2：

那么，问题来了，谁是对的？哪个例子是正确的？

在我看来，第二个 RDF（示例 2）违反了对 RDF 物化和数据连接性的理解。但我无法将这一点传达给对手。我有基于规范的论据（稍后可能会作为答案提供），但这些论据在他眼中是站不住脚的，所以我呼吁这里的广泛专家获得新的论据，或者，也许，改进我自己对这个概念的看法：没有人（除了我）说示例 1 是唯一正确的方法。
因此，如果有规范，获得第一个（或第二个）示例正确的证明，那就太好了。

如果我理解正确，我的对手诉诸规范中的以下短语：
In the mapping, each generated blank node (i.e., each blank node that does not correspond to an anonymous individual) is fresh in each application of a mapping rule.. 他认为，这意味着超类ObjectSomeValuesFrom( <o> owl:Thing )在写入 RDF 时必须两次获得 b 节点。
如何证明这不是真的（或真的）？

谢谢你。

有没有为物化提供内置支持的三重存储？

想要的是 - 在数据存储中输入 RDF 三元组时，生成并输出与输入的三元组对应的 URI；然后这个 URI 可以成为另一个三元组的对象。

Google-fu 没有透露任何答案。或者，查询可能缺少适当的单词。在 blazegraph、allegrograph、neo4j 和喜欢之间寻找。

我正在尝试查询使用 RDF 物化词汇的数据集，如下所示：

我可以用 [ ] 构造以某种方式替换标记的空白节点 _:1 吗？

编辑：应该解释问题的原因是，在实际用例中，我有一个更复杂的查询，需要获取可变数量的这样的属性（查询是动态生成的）。所以我想要做的是摆脱带标签的节点，这样我就不必动态生成唯一的标签。

根据主题，断言rdf:Statement带有多个rdf:predicate三元组的单个是否有效？

背景：我正在尝试通过基于SPARUL(ie, INSERT <inferred triples> WHERE <preconditions>) 的简单规则来构建推断三元组。在我的数据集中，我根据rdf:词汇表对陈述进行了具体化，并且做出如下推断是有意义的：

这种推断的目的主要是词汇映射：人们使用词汇定义进行搜索?p1也会找到人们使用 where ?pis defined（例如，skos:prefLabel(?p) rdfs:subPropertyOf schema:name(?p1)）所陈述的陈述。

我找不到任何说明声明只能有一个rdf:predicate或相反的文档。在我看来，只有一个谓词才是更简洁的选择，但是，如果是这种情况，我需要复制几乎所有现有语句（包括额外的三元组，如出处或重要性分数）并?p1用作新的一个。

相反，如果我只是rdf:predicate在现有的一个中添加一个，则隐含的语义将是：“有两个仅通过谓词不同”并且所有搜索?p或?p1应该正常工作的查询都没有问题，但我不确定我不是缺少任何东西。

实际上，我可以看到的一件事是，具体的语句计数不能基于计数三元组?s a rdf:Statement，但在我的情况下这似乎没什么大不了的。

在 JVM 上，具体类型为类型擦除提供了一种解决方法。

为什么具体化在 kotlin-js 上以相同的方式工作？（即仅具有inline功能）。

为什么不是所有类型都可以具体化？

是否可以将属性路径与 reified rdf 三元组一起使用？

我喜欢获取指定类的所有超类（存储在 中?class）。