Как создать правило для класса с несколькими свойствами в OWL/GraphDB?

Question

Animal_Lover класс это класс, который имеет три свойства, называемые hasPet,

Смит воспитывает трех животных и принадлежит Person учебный класс.

На этом этапе, как мне написать правило (.pie) для автоматического включения кузнеца в класс animal_lover, когда правило работает?

Prefices {
    test : http://www.example.com/test#
    rdf : http://www.w3.org/1999/02/22-rdf-syntax-ns#
    owl : http://www.w3.org/2002/07/owl#
    xsd : http://www.w3.org/2001/XMLSchema#
    rdfs : http://www.w3.org/2000/01/rdf-schema#
}
Axioms {}

Rules {
    Id: rule1
        a <test:hasPet> b
        a <test:hasPet> d
        a <test:hasPet> c           
        -----------------------
        a <rdf:type> <test:Animal_Lover>
}

это правило не работает.

Answer 1

Вы искали в журнале ошибки? Эта строка кажется мне подозрительной, я думаю, скобки должны быть на разных строках

Axioms {}