我刚刚看了一下蕴涵的RDF概念（资源描述框架）。可谁能告诉我蕴涵的例子有两个RDF图，并解释他们一点。
谢谢
Answer 1:
假设你有以下几点：
ex:book1 rdf:type ex:Publication .
ex:book2 rdf:type ex:Article .
因此，一个SPARQL查询像SELECT查询？{S RDF：？类型Ex：发布}只返回前：BOOK1
如果添加的事实（或您的数据与实际情况设定图），指出：
ex:Article rdfs:subClassOf ex:Publication
如果你的SPARQL引擎处理蕴涵，它应该推断，一个前：第一条也是恩：出版
所以选择s？{S RDF：？类型Ex：出版}将返回前两者：BOOK1和前：第二册
PS：更多的信息，该例子来自http://www.w3.org/TR/2009/WD-sparql11-entailment-20091022/
Answer 2:
有一个关于RDFS蕴涵，这是非常重要的，并且与RDF一天到一天的工作中有价值的一部分另一个答案，但RDFS蕴涵是不一样的RDF蕴涵。 RDF蕴涵是整个RDF图之间的关系，并给出了一个跟你说“如果RDF图X成立的话，那么确实RDF图形Y”。 在简单的蕴涵部分的RDF语义文档的描述基本蕴涵：
下列常规术语，我满足E如果I（E）=真，和RDF图（简单地）的集合S需要一个曲线E如果每个满足S的每个构件的解释也满足E.在后面的章节这些概念将适于其他类的解释，但在本节“蕴涵”应该被解释为意味着简单的意蕴。
这假定图E的解释的理解，表示我（E）。 一种解释将每个属性为一组对。 例如，解释应该映射属性rdfs:subClassOf到设定对{[X，Y]：x是y的一个子类}。 释法满足的曲线图，则该组对，一个解释映射一个属性必须包含在图表实际观察到的至少是那些对。 例如，如果图形包含
a likes b.
b likes c.
然后解释满足图表当且仅当I（喜欢）包含对[A，B]和[B，C]。 曲线图G1 需要图形G2当且仅当每一个满足G1解释也满足G2。 如果在图中没有空白节点，这是非常简单的。
从RDF语义文档中的链接部分列出的这一些简单的结果：
- 每个图形需要的空图。
- 每个图形需要它的每个子图。
事情变得当有一个RDF图中的空节点，因为空节点都被解释为存在变数更加复杂。 例如，考虑只用一个三图（其中_:z是一个空白点）：
a likes _:z
由于_:z是一个存在的变量，这意味着，一个解释满足当且仅当存在一个单独的X，使得喜欢的解释包括一对并[a，x]中的曲线图。 如果图形具有空节点，然后用实际术语替换那些空节点产生图形的一个实例。 例如，
a likes b
是曲线图的一个实例
a likes _:z
该链接的文档还提到蕴涵关系，即
- 图的每个实例都需要图
这是很容易看到：如果一个解释满足a likes b ，那么它喜欢的解释必须包含[A，B]，所以肯定是一个X（即B），使得其包含[A，X]，所以它也满足a likes _:z 。
这些仅仅是RDF图蕴涵的几个简单的例子。 我不知道这类蕴涵的实际被使用在RDF一天到一天的工作了。 更常见的是RDFS-衍（在另一个答案所述），OWL蕴涵和以规则为基础的推理。
文章来源: RDF Graph Entailment
