[Pellet-users] Ontology stalls Pellet

[Rinke Hoekstra]

Hi All,

I am one of the lead developers of the LKIF Core ontology at [1a,1b] . 
This friday I received a message by Laurent Lefort [2] in which he 
expressed his concerns that ontology developers do not usually consider 
reasoner efficiency while building an ontology. It turns out that the 
LKIF Core ontology has become an innocent victim of one of those lazy 
developers (*blush*).

All well and good, I ran Pellet on the LKIF-Core main module and indeed 
it stalls at 7% of the reasoning process (this holds for the Pellet 
distributed by Holger Knublauch/TopBraid Composer as well as the Protege 
4 alpha and SWOOP nightly distributions). The LKIF ontology consists of 
multipe modules, some of which pose no problems whatsoever (because they 
are overly simple) and others stall at different percentages (e.g. [3] 
stalls at 45%).

Apparently this problem is not typical for Pellet (cf. [4]) but I wonder 
what particular constructs I should avoid, and especially what 
constructs or patterns included in the LKIF-Core ontology cause the delay.

Any feedback is very much welcome!

Thanks,

	Rinke Hoekstra


[1a] http://www.estrellaproject.org/lkif-core/lkif-core.owl
[1b] http://www.estrellaproject.org/lkif-core
[2] http://www.ict.csiro.au/staff/Laurent.Lefort
[3] http://www.estrellaproject.org/lkif-core/role.owl
[4] http://crpit.com/confpapers/CRPITV72Lefort.pdf
-- 
----------------------------------------------
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/20070226/5cf2de80/attachment.vcf