Search Mailing List Archives


Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-owl] protege 4.0 and Pellet 1.5: reasoning is quite slow

Davide Codoro da.codo at gmail.com
Sat Jan 12 18:02:08 PST 2008


2008/1/11, Jennifer Vendetti <vendetti at stanford.edu>:
>
> Davide,
>
> We have a separate mailing list for Protege 4.0.  Please repost your
> question there:
>
> http://mailman.stanford.edu/mailman/listinfo/p4-feedback
>
> Thank you,
> Jennifer


Thanks Jennifer, I reposted my question there! ;)

2008/1/11, Matt Williams <matthew.williams at cancer.org.uk>:

> Dear Davide,
>
> It might be helpful if you compared reasoning with protege vs. reasoning
> directly with pellet via the command-line.
>
> (i.e. something like: ./pellet.sh -c -if file:///home/yourontology.owl
> on linux)
>
>  From experience, reasoning with an ontology containing DL-safe rules
> does seem to slow down reasoning quite a lot. However, in order to try
> and work out where the problem is, a quick comparison might help pin
> down the problem.
>
> If you confirm that it is pellet (i.e. it is slow with both approaches),
> then an email on the pellet mailing list might help.
>
> HTH,
>
> Matt
>

Dear Matt, thanks for your help!!
I agree with you but I've a problem: with my ontology if I reason from
Protege 4.0 the result is correct, but like I said it takes quite a long
time. If I reason directly in Pellet 1.5.1 the reasoner tells me that the
ontology is OWL-Full and what I've to add to make it OWL-DL. If I add the
code to the ontology and then I try reasoning again Pellet notices the
changes but there's a single tag that it still says I've to add, even if I
already added it and I see it clearly in the ontology. The tag is this one:

> Add the following statements to make this document OWL DL
> <rdf:RDF
>     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" >
> </rdf:RDF>
>
Do you have any idea for the reason of this??

Davide
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.stanford.edu/pipermail/protege-owl/attachments/20080113/96a6d370/attachment.html>


More information about the protege-owl mailing list