Re: Reasoning engine

--- Jingdong Liu <jingdong.liu@sympatico.ca> wrote:
> 
> Hi,
> 
> I am new to this group. Can someone please tell me where I can find
> the
> following tools (software package) if ever exists:
> - reasoning engine based on OWL or DAML-OIL.

CWM and Euler can handle this,

Check out my eulersharp port to dotgnu 
http://lists.w3.org/Archives/Public/www-rdf-interest/2003Feb/0034.html

Euler Hompage
http://www.agfa.com/w3c/euler/

CWM from TimBL is great :
http://infomesh.net/2001/cwm/

This should also work on prolog, mrlc is working on that 
See this 
http://sourceforge.net/mailarchive/forum.php?thread_id=1640935&forum_id=7974

Regards,
mike

=====
James Michael DuPont
http://introspector.sourceforge.net/

__________________________________________________
Do you Yahoo!?
Yahoo! Tax Center - forms, calculators, tips, more
http://taxes.yahoo.com/