RE: Cyclic Classes/Properties [was: Re: ...]

> From: Peter Crowther [mailto:peter.crowther@networkinference.com]
[...]
> If you look at Ian Horrocks' FaCT reasoner [1]
[...]

I'd forget my head if it wasn't bolted on at the neck.  URL follows.

		- Peter

[1] http://www.cs.man.ac.uk/~horrocks/FaCT

Received on Sunday, 6 May 2001 07:35:01 UTC