Правило swrl не возвращает предполагаемые свойства
Мне нужна помощь, чтобы выяснить, почему мои правила SWRL в Protege не определяют никаких свойств. Например, у меня есть правило для расчета площади двери для стены как:
Door(?d) ^ hasHeight(?d, ?h) ^ hasWidth(?d, ?w) ^ swrlb:multiply(?da, ?h, ?w) -> hasDoorArea(?d, ?da) ^ sqwrl:select(?d, ?da)
Когда я запускаю правило для SQWRL, я получаю результат, однако этот результат не отображается в онтологии. Я включил предполагаемое утверждение свойства объекта в рассуждателе, но он все равно не будет возвращать результаты. Любая помощь будет полезна, пожалуйста.