You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@jena.apache.org by "Zlatareva, Neli (Computer Science)" <Zl...@ccsu.edu> on 2019/10/02 12:37:29 UTC
Jena OWL Reasoner question
Hi, I am trying to run a very small ontology with Jena OWLReasoner using Jena libraries in Eclipse and it runs forever. The memory was initially an issue, but after I added extra 16GB of RAM, it was still working after 24 hours. This is an ontology that runs in under a second with Pellet. Any idea why is that? I will really appreciate any suggestions.
Thank you SO MUCH.
Regards, Neli.
Neli P. Zlatareva, PhD
Professor of Computer Science
Department of Computer Science
Central Connecticut State University
New Britain, CT 06050
Phone: (860) 832-2723
Fax: (860) 832-2712
Web site: cs.ccsu.edu/~neli/
Re: Jena OWL Reasoner question
Posted by "Zlatareva, Neli (Computer Science)" <Zl...@ccsu.edu>.
Thank you so much, Lorenz!
Regards, Neli.
Neli P. Zlatareva, PhD
Professor of Computer Science
Department of Computer Science
Central Connecticut State University
New Britain, CT 06050
Phone: (860) 832-2723
Fax: (860) 832-2712
Web site: cs.ccsu.edu/~neli/
________________________________
From: Lorenz Buehmann <bu...@informatik.uni-leipzig.de>
Sent: Friday, October 4, 2019 2:07 AM
To: users@jena.apache.org <us...@jena.apache.org>
Subject: Re: Jena OWL Reasoner question
Please be cautious: **External Email**
you need a Jena 3 compatible implementation of Pellet, I can highly
recommend this fork: https://nam01.safelinks.protection.outlook.com/?url=https%3A%2F%2Fgithub.com%2FGaligator%2Fopenllet&data=01%7C01%7CZlatareva%40ccsu.edu%7C6ec39be6883a426b51dc08d7489134ca%7C2329c570b5804223803b427d800e81b6%7C0&sdata=QOkoDHOZyJA1lUhSHDurJLlgmVIZAVUsZVfNMfT4PEo%3D&reserved=0 and then in
your code you use ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);
On 03.10.19 23:21, Zlatareva, Neli (Computer Science) wrote:
> Thank you, Dave. Is there any way to incorporate Pellet into Jena library as an external reasoner?
> Thank you so much.
> Regards, Neli.
>
> Neli P. Zlatareva, PhD
> Professor of Computer Science
> Department of Computer Science
> Central Connecticut State University
> New Britain, CT 06050
> Phone: (860) 832-2723
> Fax: (860) 832-2712
> Web site: cs.ccsu.edu/~neli/
> ________________________________
> From: Dave Reynolds <da...@gmail.com>
> Sent: Thursday, October 3, 2019 3:47 AM
> To: users@jena.apache.org <us...@jena.apache.org>
> Subject: Re: Jena OWL Reasoner question
>
> Please be cautious: **External Email**
>
> There's not a lot details there to go on.
>
> As a general principle Pellet is a complete DL reasoner whereas the jena
> OWL rules are much more limited. If you want complete and performant DL
> inference then use a proper DL reasoner. In simple cases the jena rules
> can give useful results in reasonable time and they serve a useful
> purpose in many settings. However, for hard cases they can easily fall
> into exponential behaviour. Even just equality reasoning can be
> problematic. Ontology size it not itself an indication of reasoning
> complexity.
>
> Dave
>
> On 02/10/2019 13:37, Zlatareva, Neli (Computer Science) wrote:
>> Hi, I am trying to run a very small ontology with Jena OWLReasoner using Jena libraries in Eclipse and it runs forever. The memory was initially an issue, but after I added extra 16GB of RAM, it was still working after 24 hours. This is an ontology that runs in under a second with Pellet. Any idea why is that? I will really appreciate any suggestions.
>> Thank you SO MUCH.
>> Regards, Neli.
>>
>> Neli P. Zlatareva, PhD
>> Professor of Computer Science
>> Department of Computer Science
>> Central Connecticut State University
>> New Britain, CT 06050
>> Phone: (860) 832-2723
>> Fax: (860) 832-2712
>> Web site: cs.ccsu.edu/~neli/
>>
Re: Jena OWL Reasoner question
Posted by Lorenz Buehmann <bu...@informatik.uni-leipzig.de>.
you need a Jena 3 compatible implementation of Pellet, I can highly
recommend this fork: https://github.com/Galigator/openllet and then in
your code you use ModelFactory.createOntologyModel(PelletReasonerFactory.THE_SPEC);
On 03.10.19 23:21, Zlatareva, Neli (Computer Science) wrote:
> Thank you, Dave. Is there any way to incorporate Pellet into Jena library as an external reasoner?
> Thank you so much.
> Regards, Neli.
>
> Neli P. Zlatareva, PhD
> Professor of Computer Science
> Department of Computer Science
> Central Connecticut State University
> New Britain, CT 06050
> Phone: (860) 832-2723
> Fax: (860) 832-2712
> Web site: cs.ccsu.edu/~neli/
> ________________________________
> From: Dave Reynolds <da...@gmail.com>
> Sent: Thursday, October 3, 2019 3:47 AM
> To: users@jena.apache.org <us...@jena.apache.org>
> Subject: Re: Jena OWL Reasoner question
>
> Please be cautious: **External Email**
>
> There's not a lot details there to go on.
>
> As a general principle Pellet is a complete DL reasoner whereas the jena
> OWL rules are much more limited. If you want complete and performant DL
> inference then use a proper DL reasoner. In simple cases the jena rules
> can give useful results in reasonable time and they serve a useful
> purpose in many settings. However, for hard cases they can easily fall
> into exponential behaviour. Even just equality reasoning can be
> problematic. Ontology size it not itself an indication of reasoning
> complexity.
>
> Dave
>
> On 02/10/2019 13:37, Zlatareva, Neli (Computer Science) wrote:
>> Hi, I am trying to run a very small ontology with Jena OWLReasoner using Jena libraries in Eclipse and it runs forever. The memory was initially an issue, but after I added extra 16GB of RAM, it was still working after 24 hours. This is an ontology that runs in under a second with Pellet. Any idea why is that? I will really appreciate any suggestions.
>> Thank you SO MUCH.
>> Regards, Neli.
>>
>> Neli P. Zlatareva, PhD
>> Professor of Computer Science
>> Department of Computer Science
>> Central Connecticut State University
>> New Britain, CT 06050
>> Phone: (860) 832-2723
>> Fax: (860) 832-2712
>> Web site: cs.ccsu.edu/~neli/
>>
Re: Jena OWL Reasoner question
Posted by "Zlatareva, Neli (Computer Science)" <Zl...@ccsu.edu>.
Thank you, Dave. Is there any way to incorporate Pellet into Jena library as an external reasoner?
Thank you so much.
Regards, Neli.
Neli P. Zlatareva, PhD
Professor of Computer Science
Department of Computer Science
Central Connecticut State University
New Britain, CT 06050
Phone: (860) 832-2723
Fax: (860) 832-2712
Web site: cs.ccsu.edu/~neli/
________________________________
From: Dave Reynolds <da...@gmail.com>
Sent: Thursday, October 3, 2019 3:47 AM
To: users@jena.apache.org <us...@jena.apache.org>
Subject: Re: Jena OWL Reasoner question
Please be cautious: **External Email**
There's not a lot details there to go on.
As a general principle Pellet is a complete DL reasoner whereas the jena
OWL rules are much more limited. If you want complete and performant DL
inference then use a proper DL reasoner. In simple cases the jena rules
can give useful results in reasonable time and they serve a useful
purpose in many settings. However, for hard cases they can easily fall
into exponential behaviour. Even just equality reasoning can be
problematic. Ontology size it not itself an indication of reasoning
complexity.
Dave
On 02/10/2019 13:37, Zlatareva, Neli (Computer Science) wrote:
> Hi, I am trying to run a very small ontology with Jena OWLReasoner using Jena libraries in Eclipse and it runs forever. The memory was initially an issue, but after I added extra 16GB of RAM, it was still working after 24 hours. This is an ontology that runs in under a second with Pellet. Any idea why is that? I will really appreciate any suggestions.
> Thank you SO MUCH.
> Regards, Neli.
>
> Neli P. Zlatareva, PhD
> Professor of Computer Science
> Department of Computer Science
> Central Connecticut State University
> New Britain, CT 06050
> Phone: (860) 832-2723
> Fax: (860) 832-2712
> Web site: cs.ccsu.edu/~neli/
>
Re: Jena OWL Reasoner question
Posted by Dave Reynolds <da...@gmail.com>.
There's not a lot details there to go on.
As a general principle Pellet is a complete DL reasoner whereas the jena
OWL rules are much more limited. If you want complete and performant DL
inference then use a proper DL reasoner. In simple cases the jena rules
can give useful results in reasonable time and they serve a useful
purpose in many settings. However, for hard cases they can easily fall
into exponential behaviour. Even just equality reasoning can be
problematic. Ontology size it not itself an indication of reasoning
complexity.
Dave
On 02/10/2019 13:37, Zlatareva, Neli (Computer Science) wrote:
> Hi, I am trying to run a very small ontology with Jena OWLReasoner using Jena libraries in Eclipse and it runs forever. The memory was initially an issue, but after I added extra 16GB of RAM, it was still working after 24 hours. This is an ontology that runs in under a second with Pellet. Any idea why is that? I will really appreciate any suggestions.
> Thank you SO MUCH.
> Regards, Neli.
>
> Neli P. Zlatareva, PhD
> Professor of Computer Science
> Department of Computer Science
> Central Connecticut State University
> New Britain, CT 06050
> Phone: (860) 832-2723
> Fax: (860) 832-2712
> Web site: cs.ccsu.edu/~neli/
>