KAON2 and Protégé Comment 1

From Simia
Jump to navigation Jump to search

 

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


17:23:00, 30 November 2005 +
Number"Number" is a type and predefined property provided by Semantic MediaWiki to represent numeric values.
1 +