HermiT Users

Hi. Thanks for your answer. I understand that my question was not clear enough. Actually, there is an

Hi Martin, HermiT generates model abstractions that are not full models. Since many DLs do not enjoy

Any idea on this? I'm happy to help with further testing. Br, Mikael On Thursday, 9 April 2020 12

Created https://github.com/owlcs/owlapi/issues/921 Thanks for help! On Thursday, 2 April 2020 15:36:

Good to know, thanks! On Friday, 13 March 2020 15:02:53 UTC+2, Jim Balhoff wrote: Hi Mikael, I'm

Wouldn't be an inconsistency - by the time the reasoner sees the axioms, the entity has received

Hi, I'm new to HermiT. I would like to check if an owl ontology entails some facts. Does anyone

I'm preparing my master thesis in semantic web domain. I want to ask you whether Hermit performs

I assumed the question matches my requirement - Sathya On Tuesday, July 30, 2019 at 7:25:10 PM UTC+5:

I'm also looking for the same! any pointers would be helpful. On Thursday, July 5, 2018 at 11:30:

Chalk this up to user error. The ontology was first being read into Jena, then "converted"

Yes, I stated the versioning very badly. Thanks for the feedback. Any reply to my other post: https:/

Ok, this worked: $ java -jar HermiT.jar -ooutput.owl file:///Users/kcason/Desktop/apis/HermiT/pizza.

(copied back to list) Thanks for letting me know! - Jim > On Jan 31, 2017, at 9:17 AM, Vincent

Hello there, I have defined pattern and length constraints in my datatypes. When running HermiT

Thanks for your reply, I am using 4.1.3 version of OWL api. I also skipped the disjoint axiom

On 21 October 2016 at 11:18, Ehsan Majidi <ehsan.msc87@gmail.com> wrote: Hi, I am using Hermit

This looks much better and should do the job. Best, Birte -- Jun. Prof. Dr. Birte Glimm Tel.: +49 731

Exactly same problem here. Did you fix it ? Dňa piatok, 25. júla 2014 7:52:59 UTC+2 Dimitrios

Hi, I am not sure what you mean by different entailments? Do you mean reasoning in different OWL

Hi, for HermiT there is no configuration option to enable the unique name assumption. Best, Birte On

Hi Ernesto, I did as you recommended but still the same error appears. here is how my code looks like

On 20 October 2015 at 23:20, Daniel Smullen <biggest.noob.in.town@gmail.com> wrote: > Hello

On 20 August 2015 at 06:45, Alexandre Rademaker <arademaker@gmail.com> wrote: > I have an

On 20 August 2015 at 06:26, Alexandre Rademaker <arademaker@gmail.com> wrote: > I have

Dear Fabricio As far as I know Protege 4 implements this functionality. There is little a reasoner

Thanks Vincent, I'll check that. Laurent 2015-06-10 12:28 GMT+02:00 <vincentvialard67@gmail.

Yes, I meant that is was challenging for reasoners. If incomplete reasoning may do the job for your

Dear Ludovic About 1), there are several interfaces to call java from R and vice versa. For example:

When is (or has!) protege moving? It seem that the current protege 5 beta still uses OWL API 3.5 >