[DL] implementation of transitive closure

[Enrico Franconi]

Have a look at DLP:
<http://ect.bell-labs.com/who/pfps/dlp/>
cheers
--e.

On 26 Nov 2008, at 17:45, Guillaume Hoffmann wrote:
> does anyone know about a prover that implements a calculus that
> handles the transitive closure operator ?
> I'm wondering if there is any such prover based on description logic,
> mu-calculus or second-order logic.
> regards,
> Guillaume Hoffmann