OWL2-RL仓库自定义推理规则不生效，求可行推理示例

问题重现步骤 #

• 创建类型为OWL2-RL的'reasoning'仓库（也尝试过其他类型）
• 添加自定义规则集：

prefix sys: <http://www.ontotext.com/owlim/system#>
INSERT DATA {
    <_:pets> sys:addRuleset
        '''Prefices { ex : <http://www.example.com#> }
           Axioms {}
           Rules
           {
           Id: custom                   
              a <ex:hasPet> b
              ------------------------------------
              b <ex:hasOwner> a
           }'''
}

• 插入基础三元组：

PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ex: <http://www.example.com#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
INSERT DATA { 
    <ex:hasPet> a <owl:ObjectProperty>;
        <rdfs:domain> <ex:Human>;
        <rdfs:range> <ex:Pet>.
    <ex:someHuman> <ex:hasPet> <ex:somePet>. 
}

• 设置规则集为默认：

PREFIX sys: <http://www.ontotext.com/owlim/system#>
INSERT DATA {
    _:b sys:defaultRuleset "pets"
}

• 执行查询：

PREFIX ex: <http://www.example.com#>
select * where { 
    <ex:somePet> ?p ?o .
} limit 100 

预期得到推理三元组 <ex:somePet> <ex:hasOwner> <ex:someHuman>，但实际未生成该结果。

问题原因与修复方案 #

核心问题 #

规则集添加时的ID定义错误与规则集名称引用不匹配：

1. 规则里的Id: custom是单条规则的ID，不是规则集名称；原语句未显式指定规则集名称，导致后续调用"pets"找不到对应规则集
2. 规则集格式存在语法细节问题，可能导致加载失败

修正后的完整可运行步骤 #

1. 创建OWL2-RL仓库
   确保仓库类型选择OWL2-RL，并开启推理功能。

2. 添加命名规则集（显式指定名称）
   使用sys:rulesetName明确指定规则集名称为"pets"，同时规范规则格式：

prefix sys: <http://www.ontotext.com/owlim/system#>
INSERT DATA {
    _:ruleset sys:addRuleset '''
Prefices {
    ex: <http://www.example.com#>
}
Rules {
    Id: reverse-hasPet
    a ex:hasPet b
    -------------------------------
    b ex:hasOwner a
}
''' ;
sys:rulesetName "pets" .
}

3. 插入基础三元组
   保持原有插入语句不变：

PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
PREFIX ex: <http://www.example.com#>
PREFIX owl: <http://www.w3.org/2002/07/owl#>
INSERT DATA { 
    <ex:hasPet> a <owl:ObjectProperty>;
        <rdfs:domain> <ex:Human>;
        <rdfs:range> <ex:Pet>.
    <ex:someHuman> <ex:hasPet> <ex:somePet>. 
}

4. 设置默认规则集
   引用正确的规则集名称"pets"：

PREFIX sys: <http://www.ontotext.com/owlim/system#>
INSERT DATA {
    _:default sys:defaultRuleset "pets" .
}

5. 触发推理并查询
   执行查询语句，此时应该能得到预期的推理结果：

PREFIX ex: <http://www.example.com#>
SELECT * WHERE { 
    <ex:somePet> ?p ?o .
} LIMIT 100

额外验证步骤 #

如果仍未生效，可先查询当前规则集状态确认是否正确加载：

PREFIX sys: <http://www.ontotext.com/owlim/system#>
SELECT ?name ?ruleset WHERE {
    ?ruleset sys:rulesetName ?name .
}

内容的提问来源于stack exchange，提问作者Johan Kumps