[DL] Fixpoint operator

[Calvanese Diego]

As far as know there is none, not even for the simplest fixpoints, i.e., transitive closure.
I'd be happy to be proved wrong.

Cheers,
- Diego

Sent from my iPad

On Aug 6, 2013, at 1:29, "Christiano Braga" <cbraga at ic.uff.br> wrote:
> Hi,
> 
> could anyone point me to a DL reasoner that handles fixpoints?
> 
> Cheers,
> 
> Christiano
> 
> 
> ---
> **  You received this mail via the description logic mailing list; for more  **
> **  information, visit the description logic homepage at http://dl.kr.org/.  **