java - DL 查询和 OWL

Question

我在 protege 中创建了一个本体。

我有一个名为AlcoholicBeverage的类，该类下有子类啤酒， Wine 。这些子类是不相交的。

我有一个名为 Person 的类(没有子类)。另一个类称为Behavior，有两个子类“PositiveChange”和“NegativeChange”。

我有一个对象属性“使用”和两个子属性“饮用”和“消耗”。 “using”属性的域是Person类，范围是AlcoholicBeverage类。

NegativeChange 类具有用此语句“使用一些酒精饮料”指示的父类(super class)。

当我编写 DL 查询(例如“使用一些啤酒”或“喝一些啤酒”或“消耗一些啤酒”)时，它应该将其分类为 NegativeChange，但事实并非如此。然而，只有当我写“使用一些酒精饮料”时，它才会进行分类，这与酒精饮料父类(super class)部分中写的定义完全相同。它不考虑类或对象的继承。我希望它应该将啤酒分类为酒精饮料或将“消费”对象属性分类为“使用”对象属性。

感谢您的帮助。

Answer 1

根据您制定的查询，您似乎想要检索正在饮酒的人。

根据您当前的构造，由于 using 对象属性的域，Behavior 类首先被“错误”分类为 Person。此外，您应该将使用一些酒精饮料的匿名表达式声明为NegativeChange类的等价，而不是像当前情况那样作为父类(super class)。 使用一些啤酒或喝一些 Wine 的查询将被正确分类在 NegativeChange 下。

检索酒精消费者的语义上正确的解决方案是创建一个名为AlcoholConsumer 的类，它是Person 的子类。酒精消费者的等效定义是使用一些酒精饮料。使用 Brain 实现:

public static void main(String[] args) throws BrainException {
    //Declare all the axioms
    Brain brain = new Brain();
    brain.addClass("AlcoholicBeverage");
    brain.addClass("Beer");
    brain.subClassOf("Beer", "AlcoholicBeverage");
    brain.addClass("Wine");
    brain.subClassOf("Wine", "AlcoholicBeverage");
    brain.addClass("Person");
    brain.addObjectProperty("using");
    brain.addObjectProperty("drinking");
    brain.subPropertyOf("drinking", "using");
    brain.addObjectProperty("consuming");
    brain.subPropertyOf("consuming", "using");

    brain.addClass("AlcoholConsumer");
    brain.subClassOf("AlcoholConsumer", "Person");
    brain.equivalentClasses("AlcoholConsumer", "using some AlcoholicBeverage");

    //Add the queries
    brain.addClass("Query1");
    brain.equivalentClasses("Query1", "using some Beer");

    brain.addClass("Query2");
    brain.equivalentClasses("Query2", "drinking some Beer");

    brain.addClass("Query3");
    brain.equivalentClasses("Query3", "consuming some Wine");

    List<String> subClasses = brain.getSubClasses("AlcoholConsumer", false);
    //Should list all the queries
    System.out.println(subClasses);

   brain.sleep();
   brain.save("/home/samuel/Desktop/so.owl");
}