对Protege中复杂类的推断 [英] Inference on Complex Classes in Protege

问题描述

我想进行推断，例如此图中用灰色虚线表示的属性:

I want to make inferences such as the property represented by the grey-dotted line in this diagram:

我已经断言了一个公理:

I have asserted a general axiom:

(hasTaste some Bitter) SubClassOf: goesWellWith some (hasTaste some Sweet)

其中苦味"是苦味类型，甜味"是甜味类型.

where 'bitter' is of type Bitter and 'sweet' is of type Sweet.

我认为owl:someValuesFrom(或曼彻斯特的"some")意味着必须存在至少一个这样的关系.然而，在做出粗体图断言和一般公理之后，这不会发生.

I thought owl:someValuesFrom (or Manchester's "some") meant that at least one such relation must exist. Yet this does not happen after making the bold diagram assertions and the general axiom.

我该如何进行这项工作?

How can I make this work?

编辑(编辑2，我知道了)

EDIT (Edit 2, I figured it out)

我只是想到了一条超级财产链！我只是指定

I just thought of a super-property chain that works! I just specify

hasTaste o complements o isTasteOf

作为goWellWith的超级属性链.实际上，通过制作hasTaste，hasTexture等...常规 hasTrait 的所有子属性，然后可以分别用hasTrait和isTraitOf替换hasTaste和isTasteOf:

as a super property chain of goesWellWith. In fact, by making hasTaste, hasTexture, etc...all sub-properties of of a general hasTrait, then I can replace hasTaste and isTasteOf with hasTrait and isTraitOf, respectively:

hasTrait o complements o isTraitOf

结果捕获了彼此互补的食物特性的每一个排列.

The result captures every permutation of food properties complementing each other.

推荐答案

在回答您的问题时，我将(1)解释您的方法失败的原因，以及(2)提供可能的解决方案.

In answering you question I will (1) explain why your approach fails and (2) provide a possible solution.

您的方法为何失败

一般人只能提供基于命名类而不是匿名类的推断反馈.在您的示例中，(hasTaste some XXX)和goesWellWith some (hasTaste some YYY)是匿名类，因此，它们通常不构成推理程序报告的推理的一部分.

Reasoners in genereal only give feedback on inferences based on named classes, not anonymous classes. In your example (hasTaste some XXX) and goesWellWith some (hasTaste some YYY) are anonymous classes and therefore they will in general not form part of the reported inferences of a reasoner.

可能的解决方案

ObjectProperty: hasIngredient
    Characteristics: Transitive
    Domain: 
        FoodCombination    
    Range: 
        Food       

ObjectProperty: hasTaste
    SubPropertyChain: 
        hasIngredient o hasTaste
    Characteristics: 
        Transitive
    Domain: 
        Food
    Range: 
        Taste

Class: Bitter
    SubClassOf: 
        Taste

Class: BitterSweetCombination
    EquivalentTo: 
        (hasTaste some Bitter)
         and (hasTaste some Sweet)
    SubClassOf: 
        TastyCombination

Class: CulinaryDish
    SubClassOf: 
        FoodCombination

Class: DespicableCombination
    SubClassOf: 
        FoodCombination

Class: Food
    DisjointWith: 
        Taste

Class: FoodCombination
    SubClassOf: 
        Food
    DisjointUnionOf: 
        DespicableCombination, TastyCombination

Class: Kale
    SubClassOf: 
        Food,
        hasTaste some Bitter
    DisjointWith: 
        Pear

Class: Pear
    SubClassOf: 
        Food,
        hasTaste some Sweet
    DisjointWith: 
        Kale

Class: PearKaleDelight
    SubClassOf: 
        CulinaryDish,
        hasIngredient some Kale,
        hasIngredient some Pear

Class: Sweet
    SubClassOf: 
        Taste

Class: Taste
    DisjointUnionOf: 
        Bitter, Sweet
    DisjointWith: 
        Food

Class: TastyCombination
    SubClassOf: 
        FoodCombination

此本体会将PearKaleDelight类归为BitterSweetCombination的子类.

This ontology will classify the PearKaleDelight class as being a subclass of BitterSweetCombination.

这篇关于对Protege中复杂类的推断的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！