[Pellet-users] Tracing the Cause of a Lengthy Inference

[JPQ]

Hi, folks.

I have an ontology that imports a second ontology, which is in the local
workspace. The namespace URI in the <owl:imports> statement matches the base
URI in the ontology to be imported. Pellet is run over the ontology that
imports the second ontology. Unfortunately, it runs for a long period of
time. The imported ontology inferences in about nine minutes. The ontology
that imports the second ontology adds approximately one dozen classes and
two dozen properties. I don't understand what is preventing this ontology
from inferencing within a similar time frame.

One additional point of interest. The bulk of the ontology is comprised of a
third ontology imported into the second ontology, yet the second ontology
inferences while the ontology in question does not.

When I manually Pellet, no error is returned. Lastly, Pellet is running
within TopBraid Composer.

At this point, I'm baffled as to why this occurs. Aside from checking that
the namespaces match as described earlier, is there some prescribed method
of tracing this problem?

Your help is greatly appreciated. Thanks.


Regards,

Anthony
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080429/f47d19c5/attachment.htm