Explanation for entailment check?

Mikael

unread,

Mar 13, 2020, 6:08:56 AM3/13/20

to HermiT Users

Is it possible to get explanations from command line? By default entailment returns only true or false.

Jim Balhoff

unread,

Mar 13, 2020, 9:02:53 AM3/13/20

to Mikael, HermiT Users

Hi Mikael,

I’m not sure if you can do this with the HermiT command line, but HermiT is available in ROBOT, which has an explain command: http://robot.obolibrary.org/explain

Best regards,
Jim

> On Mar 13, 2020, at 6:08 AM, Mikael <pes...@lingsoft.fi> wrote:
>
> Is it possible to get explanations from command line? By default entailment returns only true or false.
>

> --
> 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.
> To view this discussion on the web, visit https://groups.google.com/d/msgid/hermit-users/068807d6-b525-4576-af2d-4c9018e7439c%40googlegroups.com.

Mikael

unread,

Mar 17, 2020, 6:49:33 AM3/17/20

to HermiT Users

Good to know, thanks!

On Friday, 13 March 2020 15:02:53 UTC+2, Jim Balhoff wrote:

Hi Mikael,

I’m not sure if you can do this with the HermiT command line, but HermiT is available in ROBOT, which has an explain command: http://robot.obolibrary.org/explain

Best regards,
Jim

> On Mar 13, 2020, at 6:08 AM, Mikael <pes...@lingsoft.fi> wrote:
>
> Is it possible to get explanations from command line? By default entailment returns only true or false.
>
> --
> 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...@googlegroups.com.

Reply all

Reply to author

Forward