@misc{Colore,

author = {M. Gruninger},

title = {COLORE -- {C}ommon {L}ogic {Re}pository},

note = {Available at \url{http://stl.mie.utoronto.ca/colore/}},

}

@misc{iso24a,

Key = {{ISO/IEC 24707:2007}},

publisher = {{ISO, Geneva, Switzerland}},

type = {{Norm}},

title = {{Information technology -- Common Logic (CL): a framework for a family of logic-based languages}},

number = {{ISO/IEC 24707:2007}},

year = {{2007}},

note = {{ISO/IEC 24707:2007}},

}

@unpublished{colore-fois,

author = {{Gruninger, M., Hahmann, T., and Hashemi, A., and Ong, D}},

title = {{Ontology Verification with Repositories}}

}