HermiT Users

1–30 of 98

0 selected

Martin Strecker, Birte Glimm2

12/23/20

Model generation

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

unread,

Model generation

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

12/23/20

Mikael, … Mikael Pesonen8

4/22/20

Problem with entailment file parsing

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

unread,

Problem with entailment file parsing

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

4/22/20

Mikael, Ignazio Palmisano6

4/2/20

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

unread,

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

4/2/20

Mikael, Jim Balhoff3

3/17/20

Explanation for entailment check?

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

unread,

Explanation for entailment check?

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

3/17/20

Mikael, … Ignazio Palmisano8

3/6/20

Problem with Manchester parser

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

unread,

Problem with Manchester parser

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

3/6/20

2/25/20

Example conclusion file

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

unread,

Example conclusion file

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

2/25/20

10/16/19

Does Hermit Perform Sequentially ?

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

unread,

Does Hermit Perform Sequentially ?

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

10/16/19

Maxwell Neal, … Sathyamoorthy R6

7/31/19

Reproducing Protege reasoning results programmatically in Java

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

unread,

Reproducing Protege reasoning results programmatically in Java

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

7/31/19

cho...@berkeley.edu, Sathyamoorthy R2

7/30/19

Is there documentation for the API?

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

unread,

Is there documentation for the API?

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

7/30/19

Kenny Cason, … Ignazio Palmisano20

7/1/19

Evaluating WHY an ontology is inconsistent

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

unread,

Evaluating WHY an ontology is inconsistent

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

7/1/19

Kenny Cason, Ignazio Palmisano3

6/14/19

Being compatible with Protege's version of HermiT

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

unread,

Being compatible with Protege's version of HermiT

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

6/14/19

Kenny Cason, Ignazio Palmisano5

6/10/19

Why won't the command line process the pizza.owl ontology?

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

unread,

Why won't the command line process the pizza.owl ontology?

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

6/10/19

Ignazio Palmisano, Jim Balhoff3

1/31/17

Re: [OWLAPI-developer] HermiT bug?

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

unread,

Re: [OWLAPI-developer] HermiT bug?

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

1/31/17

Vennrod Chietzcotl

1/5/17

xsd facet constraints

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

unread,

xsd facet constraints

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

1/5/17

Ehsan Majidi, Ignazio Palmisano3

11/2/16

The reasoning never ends?

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

unread,

The reasoning never ends?

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

11/2/16

Ehsan Majidi, Ignazio Palmisano2

10/21/16

Can I have a progress bar for Hermit?

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

unread,

Can I have a progress bar for Hermit?

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

10/21/16

Mark Schreiber, … Birte Glimm7

7/25/16

Can Hermit infer the type of an individual?

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

unread,

Can Hermit infer the type of an individual?

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

7/25/16

Dimitrios Koutsomitropoulos, Michal Joštiak2

6/7/16

xsd:anyURI malformed

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

unread,

xsd:anyURI malformed

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

6/7/16

Riccardo Tommasini, Birte Glimm2

4/14/16

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

unread,

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

4/14/16

Riccardo Tommasini, Birte Glimm2

4/14/16

Unique Name Assumption

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

unread,

Unique Name Assumption

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

4/14/16

Ehsan Majidi, Ernesto Jimenez-Ruiz3

3/18/16

HermiT cannot handle wktLitera

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

unread,

HermiT cannot handle wktLitera

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

3/18/16

Daniel Smullen, Ignazio Palmisano2

10/21/15

Issue Tracker & Infinite Loop Bug

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

unread,

Issue Tracker & Infinite Loop Bug

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

10/21/15

Alexandre Rademaker, Ignazio Palmisano2

8/20/15

Hermit and Literals

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

unread,

Hermit and Literals

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

8/20/15

Alexandre Rademaker, Ignazio Palmisano2

8/20/15

parser of turtle files

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

unread,

parser of turtle files

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

8/20/15

fcb...@gmail.com, Ernesto Jimenez-Ruiz2

8/3/15

Explanation for consistency check failure?

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

unread,

Explanation for consistency check failure?

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

8/3/15

Laurent Polese, … vincentv...@gmail.com6

6/10/15

HermiT causing ConcurrentModificationException

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

unread,

HermiT causing ConcurrentModificationException

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

6/10/15

ctr...@gmail.com, … Ernesto Jimenez-Ruiz13

5/16/15

HermiT causing OutOfMemory from Protege or Java applications

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

unread,

HermiT causing OutOfMemory from Protege or Java applications

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

5/16/15

Ludovic Bocken, Ernesto Jimenez-Ruiz2

4/6/15

Hermit & R statistical language

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

unread,

Hermit & R statistical language

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

4/6/15

Ignazio Palmisano, … Ernesto Jimenez-Ruiz3

3/9/15

HermiT update to OWLAPI version 4.x

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

unread,

HermiT update to OWLAPI version 4.x

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

3/9/15

pbo...@intec.ugent.be, Ernesto Jimenez-Ruiz6

3/4/15

Retrieve data that led to inferred data

Hi Pieter Yes, in another discussion a user pointed to https://github.com/matthewhorridge/

unread,

Retrieve data that led to inferred data

Hi Pieter Yes, in another discussion a user pointed to https://github.com/matthewhorridge/

3/4/15

Search

Clear search

Close search

Google apps

Main menu