COLORE: Common Logic Ontology Repository (2E1W)
COLORE is a repository of first-order ontologies developed at the University of Toronto by Professor MichaelGruninger 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). (2E1X)
see: (2E1Y)
- http://stl.mie.utoronto.ca/colore/ (3BTV)
- and, http://stl.mie.utoronto.ca/colore/ontologies.html (3BTW)
- access the repository at: http://colore.oor.net (3BTX)
Ref. also ... (2E1Z)
- talk given by Professor MichaelGruninger on COLORE (2E20)