From OntologPSMW

Jump to: navigation, search
[ ]

COLORE: Common Logic Ontology Repository     (1)

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).     (1A)

Ref. also ...     (1F)

This page has been migrated from the OntologWiki - Click here for original page     (1H)