KAON2 and Protégé Comment 1

KAON2 and Protégé

Olivier Rossel, 30 November 2005 18:23 CET

[[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?]]