Re: suggestion about owl reasoner

On Mar 11, 2005, at 9:24 AM, Ian Horrocks wrote:

> You could also take a look at FaCT, FaCT++ and OilEd:
>
> http://www.cs.man.ac.uk/FaCT
> http://owl.man.ac.uk/factplusplus
> http://oiled.man.ac.uk/

[snip]

Good point.

I should also mention the seldom mentioned BOR:
	http://www.ontotext.com/bor/

Racer (+ oiled or protege) is probably still the over all champ (i.e., 
fastest for the most functionality, even if it may now lose on speed 
for some things to FaCT++ and on functionality to Pellet and maybe 
BOR), but its source is not available.

Cheers,
Bijan