[Pellet-users] Slow reasoning & getting status info

[Rinke Hoekstra]

Hi Brandon, Holger,

Thank you for the compliment, but I'm not one of the developers ;)

The problems with my ontology have actually been resolved (with thanks 
to Dave Wang and others). It was slightly inconsistent *blush* and 
contained a lot of generic concept inclusion axioms. Relaxing a number 
of class definitions solved most of my problems.

The problem I reported to Holger are of a slightly different nature in 
that the same ontology is classified within 30 seconds if I use the 
Pellet commandline, whereas running the classifier from within TopBraid 
(i.e. through a Jena-Pellet bridge) can take up to a couple of minutes 
(about 6 in one case).

Best,

	Rinke

Ibach, Brandon L wrote:
> Hi, Holger...
> 	There was actually a thread on the list about this very
> ontology, started by one of the developers, Rinke Hoekstra.  The first
> message was on Feb 26 and it continued for a week or two.  Dave Wang
> provided some analysis of the performance problems based on some tools
> he's working on.  The messages were under the subject "Ontology stalls
> Pellet".
> 
> -Brandon :)
> 
> 
> -----Original Message-----
> From: pellet-users-bounces at lists.owldl.com
> [mailto:pellet-users-bounces at lists.owldl.com] On Behalf Of Holger
> Knublauch
> Sent: Sunday, March 25, 2007 6:15 PM
> To: pellet-users at lists.owldl.com
> Subject: [Pellet-users] Slow reasoning & getting status info
> 
> I had two requests from users who have run into a situation in which 
> Pellet seems to run for a couple of minutes and it is hard to say why. 
> As I am not at all a DL person, Pellet is pretty much a black box for 
> me.  Is there a way to get some status information while Pellet is 
> running?  Can the logging be configured so that end-users of a tool like
> 
> TopBraid get some information what declarations in their model cause the
> 
> system to seemingly hang?  One particular ontology that takes very long 
> to classify is  http://www.estrellaproject.org/lkif-core/lkif-core.owl
> 
> Thanks,
> Holger
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
> 
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
> 
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/

-- 
----------------------------------------------
Drs. Rinke Hoekstra

Email: hoekstra at uva.nl   Skype:  rinkehoekstra
Phone: +31-20-5253499    Fax:   +31-20-5253495
Web:   http://www.leibnizcenter.nl/users/rinke

Leibniz Center for Law,         Faculty of Law
University of Amsterdam,           PO Box 1030
1000 BA  Amsterdam,            The Netherlands
----------------------------------------------
-------------- next part --------------
A non-text attachment was scrubbed...
Name: hoekstra.vcf
Type: text/x-vcard
Size: 317 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20070327/56f94381/attachment.vcf