Groups keyboard shortcuts have been updated

Dismiss

See shortcuts

HermiT Users

1–30 of 102

0 selected

5/13/24

Running time issue

Hello, I am trying to check consistency on an expended ontology based on Gene Ontology. I added only

unread,

Running time issue

Hello, I am trying to check consistency on an expended ontology based on Gene Ontology. I added only

5/13/24

11/16/22

Current status and future of HermiT as a FOSS reasoner

Hello, regarding the current rather stagnant status of HermiT (indicated by a lack of an active or

unread,

Current status and future of HermiT as a FOSS reasoner

Hello, regarding the current rather stagnant status of HermiT (indicated by a lack of an active or

11/16/22

Jim Balhoff, Ignazio Palmisano4

11/14/22

TupleIndex out of memory

On Mon, 14 Nov 2022 at 20:29, Jim Balhoff <bal...@gmail.com> wrote: > > On Nov 14, 2022,

unread,

TupleIndex out of memory

On Mon, 14 Nov 2022 at 20:29, Jim Balhoff <bal...@gmail.com> wrote: > > On Nov 14, 2022,

11/14/22

A B, Ignazio Palmisano3

1/6/22

negative object properties assertions

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

unread,

negative object properties assertions

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

1/6/22

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...@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...@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.no...@gmail.com> wrote: > Hello

unread,

Issue Tracker & Infinite Loop Bug

On 20 October 2015 at 23:20, Daniel Smullen <biggest.no...@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 <arade...@gmail.com> wrote: > I have an

unread,

Hermit and Literals

On 20 August 2015 at 06:45, Alexandre Rademaker <arade...@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 <arade...@gmail.com> wrote: > I have

unread,

parser of turtle files

On 20 August 2015 at 06:26, Alexandre Rademaker <arade...@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.com5

6/10/15

HermiT causing ConcurrentModificationException

Hi Laurent, your problem might be fixed. Look here: https://code.google.com/p/hermit-reasoner/issues/

unread,

HermiT causing ConcurrentModificationException

Hi Laurent, your problem might be fixed. Look here: https://code.google.com/p/hermit-reasoner/issues/

6/10/15

Search

Clear search

Close search

Google apps

Main menu