Search Mailing List Archives
[protege-owl] error in swrl builtins?
crapo at research.ge.com
Tue Jan 8 12:42:28 PST 2008
I have a swrl rule to calculate the volume of a sphere:
radius(?x, ?r) ∧
swrlb:divide(?ft, 4, 3) ∧
swrlb:multiply(?ftp, ?ft, 3.14159) ∧
swrlb:pow(?r3, ?r, 3) ∧
swrlb:multiply(?v, ?ftp, ?r3)
→ volume(?x, ?v)
For an instance of a sphere with radius 12.5, Protege-OWL 3.4 beta (build 125)
assigns a value of 6135.5254. I believe the correct answer, hand calculated or
calculated with another reasoner, is 8181.1465.
More information about the protege-owl