如何在 OWL/GraphDB 中为具有多个属性的类创建规则？

Question

Animal_Lover class is a class that has three properties called hasPet .

Smith raises three animals and belongs to Person class.

At this point, how do I write rule(.pie) to automatically include smith in the animal_lover class when the rule works?

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>
}

this rule does not work.

Answer 1

Did you look in the log for any errors? This line seems suspect to me, I think the brackets should be on different lines

Axioms {}