Rdf GraphDB-从新的空存储库推断出的语句

我正在用GraphDB运行一些基本测试，我惊讶地发现，当创建一个新的存储库时，一些语句似乎已经存在（由GraphDB推断）

以下是关于这些语句的存储库摘要：

以及sparql查询的结果，以列出它们

构造{s？p？o}，其中{s？p？o}限制100

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sesame: <http://www.openrdf.org/schema/sesame#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix fn: <http://www.w3.org/2005/xpath-functions#> .

rdf:type a rdf:Property;
  rdfs:subPropertyOf rdf:type;
  <http://proton.semanticweb.org/protonsys#transitiveOver> rdfs:subClassOf .

rdfs:subPropertyOf a rdf:Property, owl:TransitiveProperty;
  rdfs:subPropertyOf rdfs:subPropertyOf;
  <http://proton.semanticweb.org/protonsys#transitiveOver> rdfs:subPropertyOf .

rdfs:subClassOf a rdf:Property, owl:TransitiveProperty;
  rdfs:subPropertyOf rdfs:subClassOf;
  rdfs:domain rdfs:Class;
  rdfs:range rdfs:Class;
  <http://proton.semanticweb.org/protonsys#transitiveOver> rdfs:subClassOf .

rdfs:domain a rdf:Property;
  rdfs:subPropertyOf rdfs:domain;
  rdfs:range rdfs:Class .

rdfs:range a rdf:Property;
  rdfs:subPropertyOf rdfs:range;
  rdfs:range rdfs:Class .

owl:equivalentProperty a owl:SymmetricProperty, owl:TransitiveProperty;
  rdfs:subPropertyOf rdfs:subPropertyOf;
  <http://proton.semanticweb.org/protonsys#transitiveOver> owl:equivalentProperty;
  owl:inverseOf owl:equivalentProperty .

owl:equivalentClass a owl:SymmetricProperty, owl:TransitiveProperty;
  rdfs:subPropertyOf rdfs:subClassOf;
  <http://proton.semanticweb.org/protonsys#transitiveOver> owl:equivalentClass;
  owl:inverseOf owl:equivalentClass .

<http://proton.semanticweb.org/protonsys#transitiveOver> a rdf:Property;
  rdfs:subPropertyOf <http://proton.semanticweb.org/protonsys#transitiveOver> .

owl:inverseOf a rdf:Property, owl:SymmetricProperty;
  rdfs:subPropertyOf owl:inverseOf;
  owl:inverseOf owl:inverseOf .

rdf:subject a rdf:Property;
  rdfs:domain rdf:Statement .

rdf:predicate a rdf:Property;
  rdfs:domain rdf:Statement .

rdf:object a rdf:Property;
  rdfs:domain rdf:Statement .

rdf:first a rdf:Property;
  rdfs:domain rdf:List .

rdf:rest a rdf:Property;
  rdfs:domain rdf:List;
  rdfs:range rdf:List .

rdf:value a rdf:Property .

rdf:nil a rdf:List .

rdf:XMLLiteral a rdfs:Class, rdfs:Datatype;
  rdfs:subClassOf rdfs:Literal, rdf:XMLLiteral .

owl:differentFrom a owl:SymmetricProperty;
  owl:inverseOf owl:differentFrom .

xsd:nonNegativeInteger a rdfs:Class, rdfs:Datatype;
  rdfs:subClassOf xsd:nonNegativeInteger .

xsd:string a rdfs:Class, rdfs:Datatype;
  rdfs:subClassOf xsd:string .

rdf:_1 a rdf:Property, rdfs:ContainerMembershipProperty .

rdfs:isDefinedBy rdfs:subPropertyOf rdfs:seeAlso .

rdf:Alt rdfs:subClassOf rdfs:Container .

rdf:Bag rdfs:subClassOf rdfs:Container .

rdf:Seq rdfs:subClassOf rdfs:Container .

rdfs:ContainerMembershipProperty rdfs:subClassOf rdf:Property .

rdfs:Datatype rdfs:subClassOf rdfs:Class .

rdfs:comment rdfs:range rdfs:Literal .

rdfs:label rdfs:range rdfs:Literal .

@前缀rdf:。
@前缀rdfs:。
@前缀芝麻：。
@前缀owl:。
@前缀xsd:。
@前缀fn:。
rdf:类型a rdf:属性；
rdfs:subpertyof rdf:type；
rdfs：子类。
rdfs：rdf:Property、owl:TransitiveProperty的子属性；
rdfs:subpertyof rdfs:subpertyof；
rdfs:subpertyof。
rdfs：rdf:Property的子类，owl:TransitiveProperty；
rdfs：子类rdfs：子类；
rdfs：域rdfs：类；
rdfs:范围rdfs:类；
rdfs：子类。
rdfs:域a rdf:属性；
rdfs:rdfs的子pertyof:domain；
rdfs:范围rdfs:类。
rdfs:范围a rdf:属性；
rdfs:subpertyof rdfs:range；
rdfs:范围rdfs:类。
owl:equivalentProperty a owl:SymmetricProperty，owl:TransitiveProperty；
rdfs:subpertyof rdfs:subpertyof；
owl：等价属性；
owl：owl的逆：等价属性。
owl:等价类a owl:对称属性，owl:传递属性；
rdfs：子类rdfs：子类；
owl：等价类；
猫头鹰：猫头鹰的倒数：等价类。
a rdf：财产；
rdfs:subpertyof。
owl:rdf:Property的逆，owl:SymmetricProperty；
rdfs：owl的子粒子：反转；
猫头鹰：倒猫头鹰：倒猫头鹰。
rdf：主体a rdf：财产；
rdfs:domain rdf:Statement。
rdf：谓词a rdf：属性；
rdfs:domain rdf:Statement。
rdf:对象a rdf:属性；
rdfs:domain rdf:Statement。
rdf：第一个rdf：属性；
rdfs:域rdf:列表。
rdf:rest a rdf:Property；
rdfs：域rdf：列表；
rdfs:范围rdf:列表。
rdf:value是一个rdf:Property。
rdf:无rdf:列表。
rdf:xmlcliterardfs:Class，rdfs:Datatype；
rdfs:rdfs:Literal的子类，rdf:XMLLiteral。
猫头鹰：与猫头鹰不同：对称性属性；
猫头鹰：猫头鹰的反面：与之不同。
xsd:nonNegativeInteger a rdfs:Class，rdfs:Datatype；
rdfs:xsd子类：非负整数。
xsd:string一个rdfs:Class，rdfs:Datatype；
rdfs:xsd:string的子类。
rdf:_1一个rdf:Property，rdfs:ContainerMembershipProperty。
rdfs:isDefinedBy rdfs:subpertyof rdfs:see。
rdf:altrdfs:rdfs的子类：容器。
rdf:袋子rdfs:子类rdfs:容器。
rdf:Seq rdfs:rdfs子类：容器。
rdfs:ContainerMembershipProperty rdfs:rdf的子类：属性。
rdfs:数据类型rdfs:子类rdfs:类。
rdfs:comment-rdfs:range-rdfs:Literal。
rdfs:label rdfs:range rdfs:Literal。

它们似乎反映了rdf、rdfs和owl词汇表的部分描述，但也包括

http://proton.semanticweb.org/protonsys#

。我试图弄清楚它们是什么，特别是为什么它们默认出现在GraphDB存储库中，但我在GraphDB文档中没有找到这样的信息

---

谢谢

返回的70个三元组是存储库实例化期间所选默认RDFS Plus（优化）规则集的公理三元组部分。这些不可删除声明的目的是断言明显的基本假设，如：

（每个rdf:type关系都是一个属性）

其唯一目的是确保遵守本协议。您可以从存储在

$GDB_HOME/configs/rules

目录中的饼图文件控制它们。有关更多信息，您可以查看软件文档：

---

只是一个猜测，但从文档来看，他们似乎使用Proton进行规则优化：这些是在创建存储库时选择的规则集中定义的公理化语句（以及从这些语句中派生的内容）…我很确定他的问题是关于Proton本体谓词的三元组，像

-这些显然不是任何标准的一部分，因此它不符合RDF、RDF等标准。如果这些也被返回。但正如我在评论中所说，您很可能使用这些三元组来优化规则？你称它为RDFS Plus，所以它没有任何标准……是的，它被用来实现更通用的传递性，从而减少规则的数量。在GraphDB文档中对其进行了讨论