AnzoGraph DB执行推理创建操作时崩溃问题咨询

问题背景 #

构建了包含Vehicle、Owner、Person三类的OWL本体，其中Owner类定义为逆属性的存在限制，同时关联ownedBy对象属性：

本体类定义 #

:Owner rdf:type owl:Class ;
       owl:equivalentClass [ rdf:type owl:Restriction ;
                             owl:onProperty [ owl:inverseOf :ownedBy
                                            ] ;
                             owl:someValuesFrom :Vehicle
                           ] ;
       rdfs:subClassOf :Person .

:Person rdf:type owl:Class .

:Vehicle rdf:type owl:Class .

对象属性定义 #

:ownedBy rdf:type owl:ObjectProperty ;
         rdfs:domain :Vehicle ;
         rdfs:range :Person .

导入本体并创建个体 #

将上述本体导入图<VehicleGraph>后，创建两个个体：

:Person1 rdf:type owl:NamedIndividual ,
                  :Person .

:Vehicle1 rdf:type owl:NamedIndividual ,
                   :Vehicle ;
          :ownedBy :Person1 .

执行推理命令时出现异常：

CREATE INFERENCES FROM <VehicleGraph> INTO GRAPH <InferredVehicleGraph> WITH RULES 'all'

• AnzoGraph DB 3.1.1服务器直接崩溃
• 未生成预期的推理三元组:Person1 rdf:type :Owner
• 不使用逆属性时推理正常；尝试定义显式逆属性:owns（owl:inverseOf :ownedBy），并将Owner改为owns some Vehicle，问题依旧
• 服务器生成的.xray诊断快照为二进制格式，无法直接分析

排查与解决建议 #

1. 验证规则集支持：确认AnzoGraph 3.1.1的all规则集是否完整支持OWL逆属性的存在限制推理，查看官方文档中规则集的覆盖范围，部分版本可能对复杂OWL约束的支持存在局限性。
2. 简化本体测试：暂时移除Owner的rdfs:subClassOf :Person约束，重新执行推理，排查是否是多重类约束叠加触发了崩溃bug。
3. 版本升级：升级到AnzoGraph的最新稳定版本，该问题可能是已知bug，新版本已修复。
4. 替代推理方案：若无法升级或修复，使用SPARQL构造查询手动实现预期推理逻辑：

   INSERT INTO <InferredVehicleGraph> {
       ?person rdf:type :Owner
   }
   WHERE {
       ?vehicle :ownedBy ?person ;
                rdf:type :Vehicle .
       ?person rdf:type :Person .
   }
   

5. 官方支持：将完整的本体、数据集和二进制xray快照提交给AnzoGraph技术支持，请求针对性排查崩溃原因。

内容的提问来源于stack exchange，提问作者onkar kunjir