[Project] LOGO [Type] Funded (EPSRC) [Description] 
LOGO aims to develop logics and reasoning techniques that will form the foundations of the next generation of ontology languages and reasoning systems.