Difference between pages "KAON2 and Protégé Comment 1" and "KIT"

From Simia
(Difference between pages)
Jump to navigation Jump to search
imported>Denny
 
imported>Denny
(New page: The KIT is the Karlsruhe Institute of Technology. See [http://www.kit.edu the KIT homepage]. * equivalent URI::http://semanticweb.org/id/Karlsruhe_Institute_of_Technology * [[equivale...)
 
Line 1: Line 1:
{{Comment|
+
The KIT is the Karlsruhe Institute of Technology. See [http://www.kit.edu the KIT homepage].
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:
+
* [[equivalent URI::http://semanticweb.org/id/Karlsruhe_Institute_of_Technology]]
edu.stanford.smi.protegex.owl.inference.dig.exception.DIGErrorException: Invalid object property type 'catom'. [ID: ]
+
* [[equivalent URI::http://dbpedia.org/resource/Karlsruhe_Institute_of_Technology]]
at edu.stanford.smi.protegex.owl.inference.dig.reasoner.DefaultDIGReasoner.performErrorCheck(Unknown Source)
 
 
 
Any hint?|
 
Time=30 November 2005 18:23 CET|
 
Language=English|
 
Number=1}}
 

Latest revision as of 09:25, 1 July 2011

The KIT is the Karlsruhe Institute of Technology. See the KIT homepage.

  • http://semanticweb.org/id/Karlsruhe_Institute_of_TechnologyProperty "Equivalent URI" is a declarative property and can only be used on a property or category page.
  • http://dbpedia.org/resource/Karlsruhe_Institute_of_TechnologyProperty "Equivalent URI" is a declarative property and can only be used on a property or category page.
17:23:00, 30 November 2005 +
Number"Number" is a type and predefined property provided by Semantic MediaWiki to represent numeric values.
1 +