Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
HermiT Users
Conversations
About
HermiT Users
1–30 of 101
Mark all as read
Report abusive group
0 selected
Otso
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 Palmisano
4
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 Palmisano
3
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 Glimm
2
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 Pesonen
8
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 Palmisano
6
4/2/20
Import error
Created https://github.com/owlcs/owlapi/issues/921 Thanks for help! On Thursday, 2 April 2020 15:36:
unread,
Import error
Created https://github.com/owlcs/owlapi/issues/921 Thanks for help! On Thursday, 2 April 2020 15:36:
4/2/20
Mikael
,
Jim Balhoff
3
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 Palmisano
8
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
Mikael
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
Haifa ASH
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 R
6
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 R
2
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 Palmisano
20
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 Palmisano
3
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 Palmisano
5
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 Balhoff
3
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 Palmisano
3
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 Palmisano
2
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 Glimm
7
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štiak
2
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 Glimm
2
4/14/16
Entailment
Hi, I am not sure what you mean by different entailments? Do you mean reasoning in different OWL
unread,
Entailment
Hi, I am not sure what you mean by different entailments? Do you mean reasoning in different OWL
4/14/16
Riccardo Tommasini
,
Birte Glimm
2
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-Ruiz
3
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 Palmisano
2
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 Palmisano
2
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 Palmisano
2
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-Ruiz
2
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.com
6
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-Ruiz
13
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