leanCoR: lean Connection-based DL Reasoner O axioma da escolha (the axiom of choice) - incomplete Mini-curso de Linux na CPRecife2 FISL14 - Desmontando uma engine de física Linux Desktop (Campus Party Recife) Protégé: Lógica de descrições na pratica! Mini-curso de linux básico Trabalho de Graduação - Normalização de ontologias em lógica de descrições ALC para o raciocínio com o leanCoP git: o primeiro passo do seu projeto de código aberto 
