KAON2 and Protégé Comment 1
Revision as of 20:51, 27 December 2007 by imported>Denny
|
| 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?]]
... more about "KAON2 and Protégé Comment 1"
Text"Text" is a predefined property that represents text of arbitrary length and is provided by Semantic MediaWiki.
If I create a basic OWL-DL project in Protege and ask Kaon2 to check consistency, I get a Protege exception.
Something like: '"`UNIQ--pre-00000000-QINU`"'
Any hint? +Number"Number" is a type and predefined property provided by Semantic MediaWiki to represent numeric values.
1 +
