elk-reasoner-discussion

Contact owners and managers

1–30 of 44

This group is for discussion, questions, and comments related to the OWL 2 ontology reasoner ELK and its applications.

0 selected

7/28/21

Using the classificationof ELK

Hello ! Sorry to play the necromancer by posting in there. I'm really really new with protegee in

unread,

Using the classificationof ELK

Hello ! Sorry to play the necromancer by posting in there. I'm really really new with protegee in

7/28/21

g...@recongate.com

11/27/18

Logs form Filebeat do not reach Elasticsearh

Hi, I am running a local EFK stack on my kubernetes cluster and I can see my logs in Kibana only

unread,

Logs form Filebeat do not reach Elasticsearh

Hi, I am running a local EFK stack on my kubernetes cluster and I can see my logs in Kibana only

11/27/18

B. Stucky, Yevgeny Kazakov3

4/4/17

elk-parent-datatypes branch still valid?

Great -- thanks for the quick response, Yevgeny! -Brian On 04/04/2017 03:16 AM, Yevgeny Kazakov wrote

unread,

elk-parent-datatypes branch still valid?

Great -- thanks for the quick response, Yevgeny! -Brian On 04/04/2017 03:16 AM, Yevgeny Kazakov wrote

4/4/17

Mikel Egaña Aranguren, … Yevgeny Kazakov13

8/4/16

Deactivating Elk messages

Dear Ronglin, On Sun, Jul 24, 2016 at 8:40 PM, RL Wang <rlw...@gmail.com> wrote: Hi Yevgeny,

unread,

Deactivating Elk messages

Dear Ronglin, On Sun, Jul 24, 2016 at 8:40 PM, RL Wang <rlw...@gmail.com> wrote: Hi Yevgeny,

8/4/16

RL Wang, … Yevgeny Kazakov3

8/4/16

NUM_OF_WORKING_THREADS vs usage of CPU cores

Dear Ronglin, As Peter mentioned, if your queries are very easy (run a few ms) it is unlikely that

unread,

NUM_OF_WORKING_THREADS vs usage of CPU cores

Dear Ronglin, As Peter mentioned, if your queries are very easy (run a few ms) it is unlikely that

8/4/16

RL Wang, Yevgeny Kazakov2

6/2/16

getEquivalentObjectProperties not supported?

Dear Ronglin, ELK supports EquivalentObjectProperties *axioms* in the ontology, but not querying for

unread,

getEquivalentObjectProperties not supported?

Dear Ronglin, ELK supports EquivalentObjectProperties *axioms* in the ontology, but not querying for

6/2/16

Ghislain AT, Jim Balhoff3

5/31/16

Combining ELK reasoner with a triple store for reasoning

Hi Jim, Many thanks for your detailed approach. I'll have a look and will let you know. Best,

unread,

Combining ELK reasoner with a triple store for reasoning

Hi Jim, Many thanks for your detailed approach. I'll have a look and will let you know. Best,

5/31/16

Yevgeny Kazakov, Chris Mungall2

12/3/15

upgrade to OWL API 4.x

Thanks for the update Yevgeny, We have a large codebase written against the OWLAPI 3.5.x. Last time I

unread,

upgrade to OWL API 4.x

Thanks for the update Yevgeny, We have a large codebase written against the OWLAPI 3.5.x. Last time I

12/3/15

Chris Mungall, Yevgeny Kazakov2

9/24/15

Did Elk move from google code?

On Thu, Sep 24, 2015 at 5:30 PM, Chris Mungall <cjmu...@lbl.gov> wrote: Is this the canonical

unread,

Did Elk move from google code?

On Thu, Sep 24, 2015 at 5:30 PM, Chris Mungall <cjmu...@lbl.gov> wrote: Is this the canonical

9/24/15

Muhammad Javed, Yevgeny Kazakov2

8/29/15

Reasoning on large triple store

Dear Muhammad, On Sat, Aug 29, 2015 at 5:42 AM, Muhammad Javed <ch.muham...@gmail.com>

unread,

Reasoning on large triple store

Dear Muhammad, On Sat, Aug 29, 2015 at 5:42 AM, Muhammad Javed <ch.muham...@gmail.com>

8/29/15

Nacho Traverso Ribón, Yevgeny Kazakov8

8/3/15

ELK vs HermiT in DL query answering

Hi, Actually, I improved the computation 3 times (From 148 minutes to 43 minutes). I made a mistake

unread,

ELK vs HermiT in DL query answering

Hi, Actually, I improved the computation 3 times (From 148 minutes to 43 minutes). I made a mistake

8/3/15

Nacho Traverso Ribón, Yevgeny Kazakov4

7/29/15

ELK and Hermit do not agree on satifability

Hi, you are right. The code you provided is working. To get the complement of a class I was using the

unread,

ELK and Hermit do not agree on satifability

Hi, you are right. The code you provided is working. To get the complement of a class I was using the

7/29/15

Yevgeny Kazakov

7/16/15

PhD/Postdoc position in Ontology Reasoning (University of Ulm)

[please forward to whoever might be interested] The Institute of Artificial Intelligence of the

unread,

PhD/Postdoc position in Ontology Reasoning (University of Ulm)

[please forward to whoever might be interested] The Institute of Artificial Intelligence of the

7/16/15

Chris Mungall, … Yevgeny Kazakov8

5/15/15

Hi Chris, On Fri, May 15, 2015 at 4:21 PM, Chris Mungall <cjmu...@lbl.gov> wrote: > Thanks

unread,

Hi Chris, On Fri, May 15, 2015 at 4:21 PM, Chris Mungall <cjmu...@lbl.gov> wrote: > Thanks

5/15/15

cer...@gmail.com, … Yevgeny Kazakov10

1/8/15

ELK problem with Protege 5.0.0 beta15

David, are you still experiencing the freezing problem? I just tried loading and classifying go-plus.

unread,

ELK problem with Protege 5.0.0 beta15

David, are you still experiencing the freezing problem? I just tried loading and classifying go-plus.

1/8/15

Jim Balhoff, … Pavel Klinov4

9/23/14

reasoner never finishes query

On Tue, Sep 23, 2014 at 4:25 PM, Jim Balhoff <bal...@nescent.org> wrote: > Hi Yevgeny, >

unread,

reasoner never finishes query

On Tue, Sep 23, 2014 at 4:25 PM, Jim Balhoff <bal...@nescent.org> wrote: > Hi Yevgeny, >

9/23/14

asca...@noemalife.com, Yevgeny Kazakov15

9/23/14

Cannot infer individuals types via Java API

Btw, here is some more information on specification of ELK reasoner test files: https://code.google.

unread,

Cannot infer individuals types via Java API

Btw, here is some more information on specification of ELK reasoner test files: https://code.google.

9/23/14

asca...@noemalife.com, Yevgeny Kazakov3

7/10/14

ELK does not support $x. Axiom ignored

Il giorno giovedì 10 luglio 2014 10:52:18 UTC+2, Yevgeny Kazakov ha scritto: Hi, the reason why

unread,

ELK does not support $x. Axiom ignored

Il giorno giovedì 10 luglio 2014 10:52:18 UTC+2, Yevgeny Kazakov ha scritto: Hi, the reason why

7/10/14

Daria Stepanova, Yevgeny Kazakov3

4/2/14

Computing complex class expressions that subsume a given atomic concept

Dear Yevgeny, Thanks a lot for your quick reply. On Tuesday, April 1, 2014 5:17:53 PM UTC+2, Yevgeny

unread,

Computing complex class expressions that subsume a given atomic concept

Dear Yevgeny, Thanks a lot for your quick reply. On Tuesday, April 1, 2014 5:17:53 PM UTC+2, Yevgeny

4/2/14

Inanc Seylan, Yevgeny Kazakov4

3/11/14

class hierarchy and transitive closure

Hi Inanc, On Tue, Mar 11, 2014 at 5:26 PM, Inanc Seylan <inanc....@gmail.com> wrote: >

unread,

class hierarchy and transitive closure

Hi Inanc, On Tue, Mar 11, 2014 at 5:26 PM, Inanc Seylan <inanc....@gmail.com> wrote: >

3/11/14

Lasitha Wattaladeniya, Yevgeny Kazakov13

2/28/14

Dear Lasitha, FYI: we have recently implemented some optimizations in ELK for handling of transitive

unread,

Dear Lasitha, FYI: we have recently implemented some optimizations in ELK for handling of transitive

2/28/14

Artem Revenko, … Dhruv Kohli8

2/28/14

Problem importing source code: Non-resolvable parent POM

Hi Artem, I had the same problem. In my case, I added proxy configurations in /usr/local/apache-maven

unread,

Problem importing source code: Non-resolvable parent POM

Hi Artem, I had the same problem. In my case, I added proxy configurations in /usr/local/apache-maven

2/28/14

Yue Ma, Yevgeny Kazakov2

11/11/13

question about complex subsumption checking

Dear Yue, On Mon, Nov 11, 2013 at 11:23 AM, Yue Ma <bingy...@gmail.com> wrote: > Dear ELK

unread,

question about complex subsumption checking

Dear Yue, On Mon, Nov 11, 2013 at 11:23 AM, Yue Ma <bingy...@gmail.com> wrote: > Dear ELK

11/11/13

Azlinayati Manaf, Yevgeny Kazakov3

10/14/13

Any rule language integrated with ELK?

Dear Yevgeny, Thanks for your prompt reply as well as the pointer to the ISWC13 paper. I'll

unread,

Any rule language integrated with ELK?

Dear Yevgeny, Thanks for your prompt reply as well as the pointer to the ISWC13 paper. I'll

10/14/13

Jim Balhoff, … Jim Balhoff3

8/13/13

querying ELK from multiple threads

Thank you, Pavel, this is very helpful. It's good to know that it can be used in this way, even

unread,

querying ELK from multiple threads

Thank you, Pavel, this is very helpful. It's good to know that it can be used in this way, even

8/13/13

jed...@gmail.com, … Olexandr Pospishniy3

3/9/13

Is it possible for us to add ObjectUnionOf and DataHasValue to ELK?

There is an experimental (although stable) branch of ELK with extensive datatype support that you

unread,

Is it possible for us to add ObjectUnionOf and DataHasValue to ELK?

There is an experimental (although stable) branch of ELK with extensive datatype support that you

3/9/13

Onur Deniz, Yevgeny Kazakov6

3/6/13

protege4.1 elk-plugin 0.3.2 java 7 compatibility?

Dear Onur, On Wed, Mar 6, 2013 at 12:59 PM, Onur Deniz <onur...@gmail.com> wrote: > >

unread,

protege4.1 elk-plugin 0.3.2 java 7 compatibility?

Dear Onur, On Wed, Mar 6, 2013 at 12:59 PM, Onur Deniz <onur...@gmail.com> wrote: > >

3/6/13

Samuel Croset, … Yevgeny Kazakov13

1/18/13

Elk stability with number of workers

On Fri, Jan 18, 2013 at 12:24 PM, Samuel Croset <samuel...@gmail.com> wrote: > >>

unread,

Elk stability with number of workers

On Fri, Jan 18, 2013 at 12:24 PM, Samuel Croset <samuel...@gmail.com> wrote: > >>

1/18/13

Samuel Croset, … Pavel Klinov6

10/14/12

Control over the number of working threads

On Thu, Oct 11, 2012 at 7:00 PM, Yevgeny Kazakov <yevgeny...@uni-ulm.de> wrote: > Hi

unread,

Control over the number of working threads

On Thu, Oct 11, 2012 at 7:00 PM, Yevgeny Kazakov <yevgeny...@uni-ulm.de> wrote: > Hi

10/14/12

Samuel Croset, Yevgeny Kazakov2

10/5/12

Brain 1.0 released

Dear Samuel, Thanks for letting us know about your library! I have briefly looked at your

unread,

Brain 1.0 released

Dear Samuel, Thanks for letting us know about your library! I have briefly looked at your

10/5/12

Search

Clear search

Close search

Google apps

Main menu