Избыточная аксиома в онтологии Protege's Pizza - PullRequest
Новая
       11

Избыточная аксиома в онтологии Protege's Pizza

2 голосов
/ 05 марта 2020

Что-то попалось на глаза в примере пиццы Protege . Относительно аксиомы owl:equivalentClass класса :VegetarianTopping (среди прочих). Она определяется следующим образом (для соответствующих битов): 

:VegetarianTopping
    rdf:type owl:Class ;
    owl:equivalentClass [
        owl:intersectionOf (
            :PizzaTopping
            [
                rdf:type owl:Class ;
                owl:unionOf (
                    :CheeseTopping
                    :FruitTopping
                    :HerbSpiceTopping
                    :NutTopping
                    :SauceTopping
                    :VegetableTopping
                )
            ]
        ) ;
        rdf:type owl:Class
    ] .

rdf:comment для нее следующее:

Пример аксиомы покрытия. VegetarianTopping эквивалентно объединению всех начинок в данной аксиоме. VegetarianToppings может быть только Cheese или Vegetable или .... et c.

Все классы :*Topping в owl:unionOf выше определены как подклассы :PizzaTopping, для instance: 

:CheeseTopping
    rdf:type owl:Class ;
    rdfs:subClassOf :PizzaTopping .

Затем мне кажется, что часть owl:intersectionOf ( :PizzaTopping ... ) является избыточной, поскольку все классы в ... уже удовлетворяют этому требованию. Поэтому я бы предпочел дать следующее: 

:VegetarianTopping
    rdf:type owl:Class ;
    owl:equivalentClass [
        owl:unionOf (
            :CheeseTopping
            :FruitTopping
            :HerbSpiceTopping
            :NutTopping
            :SauceTopping
            :VegetableTopping
        ) ;
        rdf:type owl:Class
    ] .

Наверное, я что-то здесь упускаю? Если нет, то есть ли причина, по которой он был определен таким образом?

1 Ответ

1 голос
/ 06 марта 2020

Учебник Protégé шаг за шагом ведет вас к использованию инструмента Protégé. Это не говорит вам, как создать практическое приложение для вашего бизнеса пиццы. Более того, наличие избыточных знаний не обязательно плохо. Избегать избыточности в представлении знаний может быть трудно.

Если вы говорите, что "вегетарианская посыпка - это посыпка, которая состоит из сырной посыпки, фруктовой посыпки, посыпки специями из трав, ореховой посыпки, соусной посыпки (соусы должны быть вегетарианскими конечно) и овощная посыпка ", значит, вы с избыточностью. Вы должны сказать, что "вегетарианский топпинг - это что-то , которое состоит из либо 1009 *". Сказать, что это топинг, в дополнение к другим вещам, не вредит вашим знаниям, потому что это правда!

Добавление истинного знания, которое является избыточным, может иметь стоимость по-разному (размер онтологии, эффективность понятно, и так далее), но с точки зрения представления знаний и для большинства рассудителей это не проблема. Теперь, в конкретном c случае онтологии Pizza и в этом конкретном примере, я не знаю, почему они добавили дополнительный класс PizzaTopping, но я подозреваю, что это из-за того, как разработан учебник Protégé, постепенно ведущий вас к более сложным понятиям. Не о чем беспокоиться.

...