Difference between revisions of "KAON2 and Protégé Comment 1"
Jump to navigation
Jump to search
imported>Denny (New page: {{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:...) |
imported>Denny |
||
| Line 5: | Line 5: | ||
Something like: | Something like: | ||
| − | |||
edu.stanford.smi.protegex.owl.inference.dig.exception.DIGErrorException: Invalid object property type 'catom'. [ID: ] | 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?| | Any hint?| | ||
Time=30 November 2005 18:23 CET| | Time=30 November 2005 18:23 CET| | ||
Language=English| | Language=English| | ||
Number=1}} | Number=1}} | ||
Latest revision as of 20:51, 27 December 2007
|
| 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"
Number"Number" is a type and predefined property provided by Semantic MediaWiki to represent numeric values.
1 +
