Я пытаюсь использовать хранилище троек GraphDB-SE для хранения Загадки Эйнштейна и использовать набор правил для вывода ответов. GraphDB имеет встроенную поддержку OWL2-RL и OWL2-QL. Согласно w3.org OWL 2 RL поддерживает все аксиомы OWL 2,...

Animal_Lover класс - это класс с тремя свойствами, называемыми hasPet . Смит выращивает трех животных и принадлежит к классу Person . На этом этапе, как мне написать правило (.pie) для автоматического включения кузнеца в класс animal_lover,...