[Pellet-users] Reasoning Speed and Memory Problems

[Stuart Hendren]

At the moment it is large in the TBox, though the plan is for it to be large
in the ABox too.
They are currently SHOIN(D) but I may be happy to sacrifice some
expressitivity to get faster reasoning.
The reasoning seemed to get a lot slower after a significant number of
disjoints were added, but it could have been something else. Would this be
normal?

Unfortunately they're not public and I can't release them.

Stuart

On 17/01/2008, Kendall Clark <kendall at clarkparsia.com> wrote:
>
>
> On Thu, 2008-01-17 at 18:45 +0000, Stuart Hendren wrote:
> > Hi,
> >
> > Can anyone point me to information on modeling strategies to improve
> > the reasoning speed, particularly with large ontologies?
>
> Stuart,
>
> We can do more in this regard with more information; what is the
> expressivity of these large ontologies? Are they large in tbox? Abox?
> Both?
>
> If the ontologies are public, a pointer to them will help too.
>
> Cheers,
> Kendall Clark
>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080118/fba5a3cb/attachment.htm