如何用OWL验证Objective实例是否通过causeEffect属性关联其他实例？

需求说明 #

我定义了OWL类Objective，实例关联关系为a→b、b→c，希望推理器能警示未与任何其他Objective实例关联的实例d。当前通过等价类将Objective定义为(causeEffect min 1 Objective) OR (isAffectedBy min 1 Objective)，其中c被自动识别为Objective，其余实例为手动断言，需要实现该警示需求的可行方案。

当前本体代码 #

对象属性 #

<!-- myOnt#causeEffect -->
<owl:ObjectProperty rdf:about="myOnt#causeEffect">
    <owl:inverseOf rdf:resource="myOnt#isAffectedBy"/>
</owl:ObjectProperty>

<!-- myOnt#isAffectedBy -->
<owl:ObjectProperty rdf:about="myOnt#isAffectedBy"/>

类定义 #

<!-- myOnt#Objective -->
<owl:Class rdf:about="myOnt#Objective">
    <owl:equivalentClass>
        <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#causeEffect"/>
                    <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#isAffectedBy"/>
                    <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
            </owl:unionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>

个体定义 #

<!-- myOnt#a -->
<owl:NamedIndividual rdf:about="myOnt#a">
    <rdf:type rdf:resource="myOnt#Objective"/>
    <untitled-ontology-87:causeEffect rdf:resource="myOnt#b"/>
</owl:NamedIndividual>

<!-- myOnt#b -->
<owl:NamedIndividual rdf:about="myOnt#b">
    <rdf:type rdf:resource="myOnt#Objective"/>
    <untitled-ontology-87:causeEffect rdf:resource="myOnt#c"/>
</owl:NamedIndividual>

<!-- myOnt#c -->
<owl:NamedIndividual rdf:about="myOnt#c"/>

<!-- myOnt#d -->
<owl:NamedIndividual rdf:about="myOnt#d">
    <rdf:type rdf:resource="myOnt#Objective"/>
</owl:NamedIndividual>

可行实现方案 #

方案一：用子类公理强制约束（触发本体不一致） #

当前等价类的逻辑是“当且仅当满足关联条件时才是Objective”，手动断言的d因不满足条件，推理器只会判定它不属于Objective，不会直接触发警示。将类定义改为子类公理，强制所有Objective实例必须满足关联条件，这样d会因违反约束导致本体不一致，推理器会直接报错警示。

修改后的Objective类代码：

<!-- myOnt#Objective -->
<owl:Class rdf:about="myOnt#Objective">
    <owl:subClassOf>
        <owl:Class>
            <owl:unionOf rdf:parseType="Collection">
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#causeEffect"/>
                    <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#isAffectedBy"/>
                    <owl:minQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:minQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
            </owl:unionOf>
        </owl:Class>
    </owl:subClassOf>
</owl:Class>

• 适用场景：要求所有Objective实例必须与其他实例关联，不允许孤立存在。

方案二：定义孤立实例检测类（标记不影响一致性） #

新增一个IsolatedObjective类，专门描述未与任何Objective关联的实例，推理后d会被自动归类到该类，通过监控这个类的实例实现警示，不会导致本体不一致。

新增的类代码：

<!-- myOnt#IsolatedObjective -->
<owl:Class rdf:about="myOnt#IsolatedObjective">
    <owl:equivalentClass>
        <owl:Class>
            <owl:intersectionOf rdf:parseType="Collection">
                <owl:Class rdf:resource="myOnt#Objective"/>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#causeEffect"/>
                    <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">0</owl:maxQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="myOnt#isAffectedBy"/>
                    <owl:maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">0</owl:maxQualifiedCardinality>
                    <owl:onClass rdf:resource="myOnt#Objective"/>
                </owl:Restriction>
            </owl:intersectionOf>
        </owl:Class>
    </owl:equivalentClass>
</owl:Class>

• 适用场景：允许存在孤立的Objective实例，但需要识别并标记这类实例。

内容的提问来源于stack exchange，提问作者António Antunes