I need help figuring out why my SWRL rules in Protege are not inferring any property. For instance, I have a rule to calculate the door area for a wall as:
Door(?d) ^ hasHeight(?d, ?h) ^ hasWidth(?d, ?w) ^ swrlb:multiply(?da, ?h, ?w) -> hasDoorArea(?d, ?da) ^ sqwrl:select(?d, ?da)
When I run the rule on SQWRL I get a result however, this result does not show in the ontology. I have enabled inferred object property assertion on the reasoner but it still would not return results. Any help will be useful please.