[DL] Fixpoint operator
calvanese at inf.unibz.it
Wed Aug 7 08:47:35 CEST 2013
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.
Sent from my iPad
On Aug 6, 2013, at 1:29, "Christiano Braga" <cbraga at ic.uff.br> wrote:
> could anyone point me to a DL reasoner that handles fixpoints?
> ** You received this mail via the description logic mailing list; for more **
> ** information, visit the description logic homepage at http://dl.kr.org/. **
More information about the dl