[Pellet-Users] Very Long reasoning time in nightly download

[Matt Williams]

Dear List,

I've got a problem with Pellet. I've just got the nightly build, and I 
use the following code:

OWLReasoner reasoner = new OWLReasoner();
		reasoner.load(base);
		reasoner.realize();
		owlinf = reasoner.extractModel(false);

It just seems to run and run and run....

I get this at the beginning:

Expressivity: SHOIF(D), Classes: 118 Properties: 29 Individuals: 46 
Strategy: SHOINStrategy
  INFO [main] (ABox.java:1419) - ABox consistency for 0 individuals
  INFO [main] (ABox.java:1500) - Consistent: true Tree depth: 2 Tree 
size: 55
  INFO [main] (TaxonomyBuilder.java:99) - Classes: 120 Individuals: 46

the ontology is at:

http://acl.icnet.uk/~mw/MDMDomain0.2.2.owl, which passes the wonderweb 
validator (http://phoebus.cs.man.ac.uk:9999/OWL/Validator) and comes out 
as OWL-DL.

I don't get this behaviour with pellet-1.3.zip

Any ideas?

Thanks,

Matt


Thanks,

Matt

-- 
http://acl.icnet.uk/~mw
http://adhominem.blogsome.com/
+44 (0)7834 899570