如何在OWL中表示映射并保证Role对应SalaryRange的Location唯一

首先明确你的约束需求：同一个Role实例关联的所有SalaryRange实例，它们的location属性取值必须唯一。你之前查到的FunctionalProperty不能直接作用在location上，因为那样只能保证单个SalaryRange只对应一个Location，无法实现同一个Role下跨SalaryRange的Location去重。

前置修正 #

你现有本体存在一处定义错误：salaryRangeOfRole的取值是SalaryRange类的实例，属于OWL对象之间的关联，应该定义为owl:ObjectProperty而非owl:DataProperty，先调整该属性定义：

<owl:ObjectProperty rdf:ID="salaryRangeOfRole">
    <rdfs:domain rdf:resource="#Role" />
    <rdfs:range rdf:resource="#SalaryRange" />
</owl:ObjectProperty>

方案1：属性链+FunctionalProperty（你需要的FunctionalProperty应用方式） #

通过构造属性链将Role→SalaryRange→Location的关联合并为一个直接属性，将该属性声明为FunctionalProperty，即可保证一个Role只能对应唯一的Location，自然满足关联的所有SalaryRange的Location唯一要求。
添加如下定义即可：

<owl:ObjectProperty rdf:ID="roleAssociatedLocation">
    <rdfs:domain rdf:resource="#Role"/>
    <rdfs:range rdf:resource="#Location"/>
    <!-- 声明为函数型属性：一个Role只能对应一个该属性的值 -->
    <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#FunctionalProperty"/>
    <!-- 定义属性链：roleAssociatedLocation = salaryRangeOfRole o location -->
    <owl:propertyChainAxiom rdf:parseType="Collection">
        <rdf:Description rdf:about="#salaryRangeOfRole"/>
        <rdf:Description rdf:about="#location"/>
    </owl:propertyChainAxiom>
</owl:ObjectProperty>

该方案的额外优势是支持推理：推理机可以自动为每个Role实例推导出关联的Location值。

方案2：OWL类基数约束（仅校验约束，无额外推导） #

如果你不需要额外的推导属性，只需要在出现违反规则的实例时推理机报不一致，可以直接给Role类加嵌套的基数约束：
修改Role类的定义如下：

<owl:Class rdf:ID="Role">
    <rdfs:subClassOf>
        <owl:Restriction>
            <owl:onProperty rdf:resource="#salaryRangeOfRole"/>
            <owl:allValuesFrom>
                <owl:Restriction>
                    <owl:onProperty rdf:resource="#location"/>
                    <owl:maxCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</owl:maxCardinality>
                </owl:Restriction>
            </owl:allValuesFrom>
        </owl:Restriction>
    </rdfs:subClassOf>
</owl:Class>

该约束的含义是：所有Role关联的SalaryRange实例，最多只能有1个不同的location取值。

内容的提问来源于stack exchange，提问作者Torsten Knodt