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

[Kolovski, Vladimir]

Hi Matt,
 ExtractModel() was slow because I had included code that was extracting property assertions for each  pair of individuals. It is commented out in the SVN now and should work fine.

Cheers,
Vlad

-----Original Message-----
From: pellet-users-bounces at lists.mindswap.org on behalf of Matt Williams
Sent: Fri 9/8/2006 9:55 AM
To: Pellet
Subject: [Pellet-Users] Very Long reasoning time in nightly download
 
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
_______________________________________________
Pellet-Users mailing list
Pellet-Users at lists.mindswap.org
http://lists.mindswap.org/mailman/listinfo/pellet-users