OWL Inference Engines

Hi,

I want to use OWL for representing security polices, more specifically authorization and access control polices. So I have searching for OWL inference engine that can reason over those polices. And I have found a lot of owl reasoners:

   Java Theorem Prover (JTP)
   Pellet
   Fact
   F-OWL
   Jena 2
   RACER
   SweetRules

Have you any idea which is the most appropriate one for me??? anyone have any recommendations????

 

Thanks in advance

Somaya


__________________________________________________
Do You Yahoo!?
Tired of spam?  Yahoo! Mail has the best spam protection around 
http://mail.yahoo.com