Lucas-Cade Example

Files for Running the Example

• KIF Ontology
  
• KIF Meta Ontology
  
• Service Providing Agents
  
• Goal
  

Results

• Output from ORS
  
• Updated KIF Ontology
  
• Updated KIF Meta Ontology
  
• Differences between before and after ontologies
  
• Differences between before and after meta-ontologies
  

Links

• Main Project Page
• The Mathematical Reasoning Group

Funding