[DL] Fixpoint operator

[Franz Baader]

There is a reasoner for EL with GCIs plus cylic concept definitions
with gfp semantics.

See
http://lat.inf.tu-dresden.de/systems/hyb/
for the download page and
http://lat.inf.tu-dresden.de/research/papers/2008/BaaNovSun-DL-08.pdf
for a system description.

Best regards,

-Franz


On Thu, Aug 1, 2013 at 1:09 AM, 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/.  **



-- 
--------------------------------
Prof. Dr.-Ing. Franz Baader
Technische Universität Dresden
Fakultät Informatik
Institut für Theoretische Informatik
Lehrstuhl für Automatentheorie
01062 Dresden
Tel.: +49 (351) 463-39160
Fax: +49 (351) 463-37959
E-Mail: baader at tcs.inf.tu-dresden.de
--------------------------------