[Pellet-users] ClassCastException with invproperty usage in object property chains

[Nick Drummond]

Hi,

I've got an ontology with an object property chain (minimal version  
attached) that includes an inverse role inv(q).
I'm running this through Protege4.0, but it appears to be giving  
pellet a hard time.

I've run this with the current 1.5.1 release.
Could you verify this is a pellet (OWLAPI) bug please.

Thanks

Nick


Caused by: java.lang.ClassCastException:  
uk.ac.manchester.cs.owl.OWLObjectPropertyInverseImpl
	at org.mindswap.pellet.owlapi.PelletVisitor.visit(PelletVisitor.java: 
752)
	at  
uk 
.ac 
.manchester 
.cs 
.owl 
.OWLObjectPropertyChainSubPropertyAxiomImpl 
.accept(OWLObjectPropertyChainSubPropertyAxiomImpl.java:65)
	at org.mindswap.pellet.owlapi.PelletVisitor.visit(PelletVisitor.java: 
675)
	at  
uk.ac.manchester.cs.owl.OWLOntologyImpl.accept(OWLOntologyImpl.java: 
1973)
	at org.mindswap.pellet.owlapi.PelletLoader.load(PelletLoader.java:203)
	at org.mindswap.pellet.owlapi.Reasoner.loadOntologies(Reasoner.java: 
1077)
	at  
org 
.protege 
.editor 
.owl 
.model 
.inference 
.OWLReasonerManagerImpl.loadOntologies(OWLReasonerManagerImpl.java:135)
	at  
org.protege.editor.owl.model.inference.OWLReasonerManagerImpl.access 
$100(OWLReasonerManagerImpl.java:33)
	at org.protege.editor.owl.model.inference.OWLReasonerManagerImpl 
$1.run(OWLReasonerManagerImpl.java:239)


-------------- next part --------------
A non-text attachment was scrubbed...
Name: pellet-inv-prop-chain-crash.owl
Type: application/octet-stream
Size: 2408 bytes
Desc: not available
Url : http://lists.owldl.com/pipermail/pellet-users/attachments/20080306/6f7e8da7/attachment.obj 
-------------- next part --------------