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 +