替换作物本体中owl:someValuesFrom限制为对象属性的语义影响咨询

作为OWL领域新手，我在研究作物本体时，发现其大量使用owl:someValuesFrom限制，通过method_of、scale_of等对象属性关联各类。我无法理解为何不直接使用对象属性关联类，现以水稻本体片段为例，咨询若直接用对象属性关联相关类，会传递何种语义。

W3C对该限制的定义为：

换句话说，它定义了一类个体x，存在至少一个y（类描述的实例或数据范围的值），使得(x,y)是属性P的实例。

我无法理解该定义，且搜索相关问题未得到结果。

水稻本体片段概述 #

类层级结构 #

• Method → ... → Yield measurement
• Trait → ... → Grain yield
• Variable → ... → GrYld_Comp_kgha¹
• Scale → ... → kg_per_ha

¹ 可能是通过小地块收获的其他产量参数计算/推导得出

关联关系 #

• kg_per_ha -[scale_of]-> Yield measurement -[method_of]-> Grain yield
• GrYld_Comp_kgha -[variable_of]-> { Grain yield, Yield measurement, kg_per_ha }

初始本体定义（Turtle语法） #

@prefix : <https://cropontology.org/rdf/> .
@prefix prl: <http://purl.org/dc/terms/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@base <https://cropontology.org/rdf/> .

:Method         rdf:type owl:Class .            ## <https://cropontology.org/rdf/Method>
:Computation    rdf:type owl:Class ;     ## <https://cropontology.org/rdf/Computation>
    rdfs:subClassOf :Method .

:Scale          rdf:type owl:Class .            ## <https://cropontology.org/rdf/Scale>
:Numerical  rdf:type owl:Class ;    ## <https://cropontology.org/rdf/Numerical>
    rdfs:subClassOf :Scale .

:Trait          rdf:type owl:Class .
:Agronomic rdf:type owl:Class ;
    rdfs:subClassOf :Trait .

:Variable       rdf:type owl:Class .            ## <https://cropontology.org/rdf/Variable>

:scale_of       rdf:type owl:ObjectProperty .   ## <https://cropontology.org/rdf/scale_of>
:variable_of    rdf:type owl:ObjectProperty .   ## <https://cropontology.org/rdf/variable_of>

:Grain_yield    rdf:type owl:Class ;   ## <https://cropontology.org/rdf/CO_320:0000073> 
    rdfs:subClassOf :Agronomic ;
    skos:definition "Amount of grain (weight) produced per area"@en ;

使用owl:someValuesFrom的限制定义 #

:Yield_measurement  rdf:type owl:Class ;   ## <https://cropontology.org/rdf/CO_320:0000469> 
    rdfs:subClassOf :Computation ,
    [ 
        rdf:type owl:Restriction ;
        owl:onProperty :method_of ;
        owl:someValuesFrom :Grain_yield
    ] ;
    rdfs:label "Yield measurement"@en ;
    skos:definition "Harvest grain from at least 5 m2/plot, discarding at least three border rows. Thresh, dry the rough (paddy) rice to 14% moisture content, and weigh."@en .

:kg_per_ha  rdf:type owl:Class ;     ### https://cropontology.org/rdf/CO_320:0000470
    rdfs:subClassOf :Numerical ,
    [ 
        rdf:type owl:Restriction ;
        owl:onProperty :scale_of ;
        owl:someValuesFrom :Yield_measurement
    ] ;
rdfs:label "kg per ha"@en .

:GrYld_Comp_kgha    rdf:type owl:Class ;  ## <https://cropontology.org/rdf/CO_320:0000745>
    rdfs:subClassOf :Variable ,
    [ rdf:type owl:Restriction ;
        owl:onProperty :variable_of ;
        owl:someValuesFrom :Grain_yield .
    ] ,
    [ rdf:type owl:Restriction ;
        owl:onProperty :variable_of ;
        owl:someValuesFrom :Yield_measurement 
    ] ,
    [ rdf:type owl:Restriction ;
        owl:onProperty :variable_of ;
        owl:someValuesFrom :kg_per_ha .
    ] ;
    prl:contributor "IRRI" , "Jeffrey Detras" ;
    rdfs:label "GrYld_Comp_kgha"@en ;
    skos:altLabel "GrYld_Comp_kgha"@en .

我提出的替代写法（直接用对象属性关联类） #

:Yield_measurement  rdf:type owl:Class ;  
    rdfs:subClassOf :Computation ;
    :method_of :Grain_yield; 
    skos:definition "Harvest grain from at least 5 m2/plot, discarding at least three border rows. Thresh, dry the rough (paddy) rice to 14% moisture content, and weigh."@en .

kg_per_ha   rdf:type owl:Class ;    
    rdfs:subClassOf :Numerical  ;
    :scale_of :Yield_measurement; 
rdfs:label "kg per ha"@en .

:GrYld_Comp_kgha    rdf:type owl:Class ;
    rdfs:subClassOf :Variable ,
    :variable_of :Grain_yield,
                 :Yield_measurement,
                 :kg_per_ha ;
    rdfs:label "GrYld_Comp_kgha"@en .

语义差异与问题分析 #

1. 直接关联类的语义完全偏离需求 #

直接给类添加对象属性断言（比如:Yield_measurement :method_of :Grain_yield），在OWL语义中是把类当作个体来建立关联，而不是定义类的实例的属性约束。这意味着你表达的是“Yield measurement这个类本身，有一个method_of指向Grain yield这个类”，而不是原本想要的“每个Yield measurement的实例，都存在一个method_of关联到Grain yield的实例”，完全违背了作物本体的业务逻辑。

2. owl:someValuesFrom的正确语义 #

owl:someValuesFrom是类的成员资格约束，它定义：某个类的所有个体，都至少存在一个通过指定属性关联到目标类实例的关系。

比如:Yield_measurement的限制，语义是“所有产量测量方法的实例，都至少对应一个谷物产量的测量对象”，这完全匹配作物本体要表达的领域规则。

3. 推理能力的天差地别 #

• 使用owl:someValuesFrom时，OWL推理机可以基于约束进行推理：如果一个个体属于Yield measurement，那么它必然有至少一个:method_of关联到Grain yield的实例；反之，如果一个Computation实例有:method_of关联到Grain yield，它会被推理为Yield measurement的成员。
• 直接关联类的写法，推理机只会把两个类当作独立个体处理，无法对类的实例做任何相关推理，彻底丧失了OWL本体的核心价值。

4. 本体结构的一致性问题 #

作物本体是面向实例的领域模型，类是对实例的抽象分类。用owl:someValuesFrom是在定义类的成员准入条件，符合OWL建模规范；而直接关联类会混淆“类”与“个体”的概念，破坏本体的结构一致性，导致领域知识无法被正确表达和处理。

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