Protege中的OWL逻辑（如果-则陈述）

Question

如何在Protege中编写if-then语句/规则？

示例：我有一个本体，其类为Person，Animal，Build（每个都有一些子类）以及关系（对象属性）livingIn，RecommendedPet。我想添加一条规则：

如果男人住在家里，那么男人推荐宠物猫。

我不知道如何在Protege中做到这一点。

:RecommendedPet rdf:type owl:ObjectProperty .

:livingIn rdf:type owl:ObjectProperty .


:Animal rdf:type owl:Class .

:Appartment rdf:type owl:Class ;
            rdfs:subClassOf :Building .
:Bird rdf:type owl:Class ;
      rdfs:subClassOf :Animal .

:Building rdf:type owl:Class .

:Cat rdf:type owl:Class ;
     rdfs:subClassOf :Animal .

:Dog rdf:type owl:Class ;
     rdfs:subClassOf :Animal .

:House rdf:type owl:Class ;
       rdfs:subClassOf :Building .

:Man rdf:type owl:Class ;
     rdfs:subClassOf :Person .

:Person rdf:type owl:Class .

:TallMan rdf:type owl:Class ;
         rdfs:subClassOf :Man .

:Woman rdf:type owl:Class ;
       rdfs:subClassOf :Person .