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