A project on finding justifications of EL ontologies using multi-cores.