在 OWL 中向 objectProperty 添加限定符

Adding qualifier to objectProperty in OWL

我想在Protege的OWL ontology中表达如下:IndividualA由X%的IndividualB1,Y%的IndividualB2等组成,直到100%。

是否存在可以对此建模的模式?

I want to express the following in an OWL ontology in Protege: IndividualA is composed of IndividualB1 at X %, IndividualB2 at Y % and so on, up until 100%.

Does a pattern exists to model this?

我认为您无法在 OWL 中得到您想要的总和 guarantee/restriction。但是你所说的部分结构只是一个 n 元关系。而不是两地关系

isComposedOf(IndividualA, IndividualB1)

你有一个三地关系:

isComposedOfByPercent(IndividualA, IndividualB1, 0.34)

使用语义技术表示 n 元关系的方法有很多,以至于 W3C 发布了一份工作说明 Defining N-ary Relations on the Semantic Web。在 OWL 中,最常见的方法之一可能是:

x a Composition ;
  hasComposite IndividualA ;
  hasComponent IndividualB1 ;
  hasPercentage 0.34 .

另一个可能是:

IndividualA hasCompositePart y .
y a CompositePart ;
  hasComponent IndividualB1 ;
  hasPercentage 0.34 .