[Pellet-users] Expressivity question and InternalReasonerException

[Christiane Telöken]

Dear Pellet-users,

I am using Jena and Pellet 1.5 and an Ontology which expressivity is 
ALCHON (D), also known as SHON (D)). You will be able to find it in the 
attachment.

After creating an ontology model and reading from the ontology file 
Pellet tells me the expressivity of the ontology is ALCHF(D). That is 
not correct because there are Nominals in it.
I've tried to find more information on it in the pellet.properties 
file, but unfortunately I was not lucky.
Could anybody tell me where the problem may be? The code is as follows:

Is it something I am doing wrong in the code?

//  create an empty ontology model using Pellet spec
     OntModel ontoModel = null;
     try{
       ontoModel = ModelFactory.createOntologyModel
                   (PelletReasonerFactory.THE_SPEC);
     }
     catch(Exception e){
       System.out.println (e);
     }

     // read ontology-file
     try{
       ontoModel.read(init.Ontology.ontology);
     }
     catch (Exception e){
       System.out.println (e);
     }


The ontology is consistent and OWL DL.

Now the next problem arises. I want to retrieve all statements out of 
the ontology but it aborts in an InternalReasonerException.
The code looks like:

     StmtIterator it = ontoModel.listStatements();
     Statement stmt = null;

     if (it != null){
       while (it.hasNext()){
         stmt = (Statement) it.next();
         System.out.println ("Statement: " + stmt.toString());
         try{
           out.write ("Statement: " + stmt.toString());
         }
         catch (IOException e){
           System.out.println (e);
         }
       }
     }

And the exception goes like this:

Exception in thread "main" 
org.mindswap.pellet.exceptions.InternalReasonerException:
Adding type to a pruned node "85"^^http://www.w3.org/2001/XMLSchema#int 
not(value(literal(33,(),http://www.w3.org/2001/XMLSchema#int)))
at org.mindswap.pellet.Node.addType(Node.java:536)
at org.mindswap.pellet.Literal.addType(Literal.java:178)
at 
org.mindswap.pellet.CompletionStrategy.addType(CompletionStrategy.java:252)
at 
org.mindswap.pellet.CompletionStrategy.applyAllValues(CompletionStrategy.java:972)
at 
org.mindswap.pellet.CompletionStrategy.applyAllValues(CompletionStrategy.java:927)
at 
org.mindswap.pellet.CompletionStrategy.applyAllValues(CompletionStrategy.java:882)
at 
org.mindswap.pellet.CompletionStrategy.restore(CompletionStrategy.java:2353)
at org.mindswap.pellet.SROIQStrategy.backtrack(SROIQStrategy.java:93)
at org.mindswap.pellet.SROIQStrategy.complete(SROIQStrategy.java:303)
at org.mindswap.pellet.ABox.isConsistent(ABox.java:1605)
at org.mindswap.pellet.ABox.isType(ABox.java:1088)
at 
org.mindswap.pellet.KnowledgeBase.partitionInstanceRetrieval(KnowledgeBase.java:3484)
at 
org.mindswap.pellet.KnowledgeBase.binaryInstanceRetrieval(KnowledgeBase.java:3466)
at 
org.mindswap.pellet.KnowledgeBase.partitionInstanceRetrieval(KnowledgeBase.java:3480)
at 
org.mindswap.pellet.KnowledgeBase.binaryInstanceRetrieval(KnowledgeBase.java:3466)
at 
org.mindswap.pellet.KnowledgeBase.partitionInstanceRetrieval(KnowledgeBase.java:3489)
at 
org.mindswap.pellet.KnowledgeBase.binaryInstanceRetrieval(KnowledgeBase.java:3466)
at 
org.mindswap.pellet.KnowledgeBase.partitionInstanceRetrieval(KnowledgeBase.java:3489)
at 
org.mindswap.pellet.KnowledgeBase.binaryInstanceRetrieval(KnowledgeBase.java:3466)
at 
org.mindswap.pellet.KnowledgeBase.partitionInstanceRetrieval(KnowledgeBase.java:3489)
at 
org.mindswap.pellet.KnowledgeBase.binaryInstanceRetrieval(KnowledgeBase.java:3466)
at org.mindswap.pellet.KnowledgeBase.retrieve(KnowledgeBase.java:3397)
at org.mindswap.pellet.KnowledgeBase.getInstances(KnowledgeBase.java:2681)
at org.mindswap.pellet.KnowledgeBase.getDifferents(KnowledgeBase.java:2395)
at 
org.mindswap.pellet.jena.PelletInfGraph.differentFromIterator(PelletInfGraph.java:1023)
at 
org.mindswap.pellet.jena.PelletInfGraph.access$4(PelletInfGraph.java:1021)
at 
org.mindswap.pellet.jena.PelletInfGraph$ABoxSubjPredObjIterator.findNextSubject
(PelletInfGraph.java:818)
at org.mindswap.pellet.jena.PelletInfGraph$ABoxSubjPredObjIterator.<init>
(PelletInfGraph.java:801)
at 
org.mindswap.pellet.jena.PelletInfGraph.findInABox(PelletInfGraph.java:396)
at 
org.mindswap.pellet.jena.PelletInfGraph.findWithContinuation(PelletInfGraph.java:215)
at 
com.hp.hpl.jena.reasoner.BaseInfGraph.graphBaseFind(BaseInfGraph.java:344)
at 
com.hp.hpl.jena.reasoner.BaseInfGraph.graphBaseFind(BaseInfGraph.java:333)
at com.hp.hpl.jena.graph.impl.GraphBase.find(GraphBase.java:240)
at com.hp.hpl.jena.graph.GraphUtil.findAll(GraphUtil.java:31)
at com.hp.hpl.jena.rdf.model.impl.ModelCom.listStatements(ModelCom.java:877)
at init.InitComponents.main(InitComponents.java:82)

To understand why this happens would help me a lot with my ongoing work 
and I appreciate very much any hints, explanations and advice for this 
exception.


Bye,
Christiane
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ABoxThoriumReiheOI.owl
Type: text/rdf
Size: 172237 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080128/5cce6287/attachment-0001.bin