W3C home > Mailing lists > Public > public-owl-dev@w3.org > April to June 2005

Re: OWL Inference Engines

From: Graham Klyne <GK-lists@ninebynine.org>
Date: Mon, 23 May 2005 12:16:32 +0100
Message-Id: <>
To: Somaya Aboulwafa <somaya_ahmad@yahoo.com>, public-owl-dev@w3.org

This doesn't directly answer your question, but...

Your goal sounds to me rather like the IHMC KaOS project, which I 
understand uses DAML (precursor of OWL) extensively:

The Knowledgeable Agent-oriented System (KAoS) provides services that help 
assure that agents from different developers and running on diverse 
platforms will always operate within the bounds of established policies and 
will be continually responsive to human control so that they can be safely 
deployed in operational settings.

FWIW, KaOS used JTP -- see 


At 04:18 22/05/05 -0700, Somaya Aboulwafa wrote:

>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
>    * <?xml:namespace prefix = st1 ns = 
> "urn:schemas-microsoft-com:office:smarttags" />Jena 2
>    * RACER
>    * SweetRules
>Have you any idea which is the most appropriate one for me??? anyone have 
>any recommendations????
>Thanks in advance
>Do You Yahoo!?
>Tired of spam? Yahoo! Mail has the best spam protection around

Graham Klyne
For email:
Received on Monday, 23 May 2005 12:14:02 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 20:58:13 UTC