[DL] implementation of transitive closure
franconi at inf.unibz.it
Fri Nov 28 17:38:57 CET 2008
Have a look at DLP:
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.
> Guillaume Hoffmann
More information about the dl