Problem with properties

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

Problem with properties

Lamia

Dear all,

 

I have a problem when I try to make a property both asymmetric and transitive . A similar exception also occurs if I try to make a property Functional and transitive. Both cases throw an exception   here are the exceptions I got from fact ++ and Racer respectively.  Is there a way I can avoid this ?

 

Error 4 Logged at Thu May 08 17:18:17 CEST 2008

OWLRuntimeException: org.protege.editor.owl.model.inference.ReasonerException: uk.ac.manchester.cs.factplusplus.owlapi.FaCTPlusPlusReasonerException: uk.ac.manchester.cs.factplusplus.NonSimpleRoleInNumberRestrictionException: http://wise.vub.ac.be/members/lamia/variability/fm/Variability_Design.owl#Includes

    org.protege.editor.owl.model.inference.DefaultOWLReasonerExceptionHandlerhandle(DefaultOWLReasonerExceptionHandler.java:39)

    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$1.run(OWLReasonerManagerImpl.java:244)

    java.lang.Thread.run(Unknown Source)

---------------------------------------------------------------------------------------------------

 

Error 5 Logged at Thu May 08 17:19:39 CEST 2008

OWLRuntimeException: org.protege.editor.owl.model.inference.ReasonerException: java.lang.ArrayIndexOutOfBoundsException: 0

    org.protege.editor.owl.model.inference.DefaultOWLReasonerExceptionHandlerhandle(DefaultOWLReasonerExceptionHandler.java:39)

    org.protege.editor.owl.model.inference.OWLReasonerManagerImpl$1.run(OWLReasonerManagerImpl.java:244)

    java.lang.Thread.run(Unknown Source)

 

Many thanks for your help

Lamia

 

 


_______________________________________________
p4-feedback mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/p4-feedback