[Pellet-users] ontology that crashes pellet with null-pointer exception

[Evren Sirin]

On 7/13/07 7:20 AM, Julian Seidenberg wrote:
> Hi,
> I've built an ontology of music using Protege 4. The ontology crashes  
> Pellet with a null-pointer exception when I attempt to classify it.  
>   
In the ontology, the transitive property hasPart is used in a 
cardinality restriction which is not allowed in OWL-DL and not supported 
by Pellet. Pellet will ignore such unsupported axioms upon loading 
(alternatively Pellet can be configured to throw an exception on 
unsupported axioms as explained in [1]). Due to a bug, an NPE occurs 
when Pellet tries to ignore the transitivity axiom. This bug has been 
recorded [2] but even when it is fixed your ontology will not be fully 
handled. You either need to remove the cardinality restriction or the 
transitivity axiom.
> It classifies correctly using FaCT++.
>   
FaCT++ has the same restriction w.r.t. cardinality restrictions on 
transitive properties. So I suspect it ignores one or the other axiom to 
classify the ontology,
> Here is the ontology:
> http://www.cs.man.ac.uk/~seidenbj/music.owl
>
> Any idea what is wrong?
>   
Cheers,
Evren

[1] http://pellet.owldl.com/faq/owl-full
[2] http://cvsdude.com/trac/clark-parsia/pellet-devel/ticket/45
> Regards,
> Julian
> _______________________________________________
> 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/
>