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

[JPQ]

Michael,

Thank you for the reply.

Unfortunately, I am not at liberty to submit the ontologies in question.

> The types of axioms in the importing ontology are much more important that
the number of classes and properties.
Agreed. I should have noted that the level of axiomatic complexity is on par
with that of the classes contained in the imported ontology, which is why I
anticipated a similar run time.

> Pellet from the command line?
No, I ran it within TopBraid Composer. Unfortunately, I had difficultly
running Pellet on the command line. The error messages seemed to indicate
that Pellet was unable to resolve certain URIs, one of which is of the form
"urn:this:that...". Honestly, I would prefer to run Pellet on the command
line, but other than the command line help, I have been unable to locate any
documentation. I would appreciate your pointing me in the right direction
for any available documentation (other than the Javadocs API).

Thanks.

Anthony

On 4/29/08, Michael Smith <msmith at clarkparsia.com> wrote:
>
> On Tue, 2008-04-29 at 15:22 -0400, JPQ wrote:
>
> > 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.
>
> The types of axioms in the importing ontology are much more important
> that the number of classes and properties.  Without seeing the actual
> ontologies in question, we can't explain much.
>
> > 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.
>
> Same thing.  Imports structure really helpful because we have no idea
> how the axioms in each ontology interact without seeing the ontologies.
>
> > When I manually Pellet, no error is returned.
>
> Pellet from the command line?  Which options are you using?  How long
> does the run take?
>
> > 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?
>
> If you are running Pellet from the command line, you can pass the
> -timing option and get some information about where Pellet is spending
> its CPU time.  If you'd like to report those results back here, maybe
> there will be something telling.  I suggest, however, finding a way to
> send the ontologies.
>
> Regards,
> --
> Mike Smith
>
> Clark & Parsia
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20080429/81bb52f8/attachment.htm