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

[Evren Sirin]

On 3/6/08 9:03 AM, Nick Drummond wrote:
> 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.

Yes, this is a Pellet bug. I've created a ticket for this issue [1].

Cheers,
Evren

[1] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/107
>
> 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) 
>
>
>
>
> ------------------------------------------------------------------------
>
> _______________________________________________
> Pellet-users mailing list
> Pellet-users at lists.owldl.com
> http://lists.owldl.com/mailman/listinfo/pellet-users
> _______________________________________________
>
> Sponsored by Clark & Parsia, LLC http://clarkparsia.com/