reasoner

12 views

Skip to first unread message

unread,

Oct 26, 2017, 7:06:02 AM10/26/17

to Open Semantic Framework

Hi,

which reasoner is used in OSF?

can we configure any other reasoner if required

unread,

Oct 29, 2017, 4:09:21 PM10/29/17

to open-semant...@googlegroups.com

Hi,

> which reasoner is used in OSF?

All the main reasoners supported by the OWLAPI. The one we most often
used is Hermit.

> can we configure any other reasoner if required

Yes given some modifications to the code.

Thanks,

Fred

Reply all

Reply to author

Forward

0 new messages