Animal_Lover class - это класс, который имеет три свойства с именем hasPet.
Animal_Lover
hasPet
Смит выращивает трех животных и относится к классу Person.
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> }
это правило не работает.