Entailment

[Riccardo Tommasini]

I have to perform reasoning under different entailments.

Is there any guide which specifies the list of reasoner generators to accomplish a certain one?

thanks in advance!

[Birte Glimm]

Hi,

I am not sure what you mean by different entailments? Do you mean
reasoning in different OWL profiles? HermiT supports OWL DL and,
hence, also all OWL profiles, but not via specialized algorithms. I am
not aware of any list for this, but Uli Sattler maintains a list of
reasoners with a short description for each at:
http://www.cs.man.ac.uk/~sattler/reasoners.html

Best,

Birte

> --
> You received this message because you are subscribed to the Google Groups
> "HermiT Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to hermit-users...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.



--
Jun. Prof. Dr. Birte Glimm Tel.: +49 731 50 24125
Inst. of Artificial Intelligence Secr: +49 731 50 24258
University of Ulm Fax: +49 731 50 24188
D-89069 Ulm birte...@uni-ulm.de
Germany