Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] error in swrl builtins?

Andrew Crapo crapo at
Tue Jan 8 12:42:28 PST 2008

I have a swrl rule to calculate the volume of a sphere:
Sphere(?x)  ∧
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 mailing list