COLORE: Common Logic Ontology Repository

COLORE is a repository of first-order ontologies developed at the University of Toronto by Professor Michael Grüninger and his team. It is designed to serve as a testbed for ontology evaluation and integration techniques, and that can support the design, evaluation, and application of ontologies in first-order logic. All ontologies on COLORE are specified using Common Logic (ISO 24707).

see:

• http://stl.mie.utoronto.ca/colore/
• and, http://stl.mie.utoronto.ca/colore/ontologies.html
• access the repository at: http://colore.oor.net

Ref. also ...

• talk given by Professor Michael Grüninger on COLORE
  • session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2009_02_19
  • slides: http://ontolog.cim3.net/file/work/OOR-Ontolog-Panel/2009-02-19_OOR-Development-II/colore-ontolog-oor--MichaelGruninger_20090219.pdf