View source for KAON2 and Protégé Comment 1

{{Comment|
On=KAON2 and Protégé|
Author=Olivier Rossel|
Text=If I create a basic OWL-DL project in Protege and ask Kaon2 to check consistency, I get a Protege exception.

Something like:
edu.stanford.smi.protegex.owl.inference.dig.exception.DIGErrorException: Invalid object property type 'catom'. [ID: ]
at edu.stanford.smi.protegex.owl.inference.dig.reasoner.DefaultDIGReasoner.performErrorCheck(Unknown Source)

Any hint?|
Time=30 November 2005 18:23 CET|
Language=English|
Number=1}}