Évènements

Titre: Sémantique catégorielle des logiques de description et raisonnement Title: Categorical Semantics for Description Logics and Reasonning Lieu: salle R41, Bâtiment Illustration, Campus Bobigny, Unniversité Sorbonne Paris Nord Résumé : Les logiques de description (DL) sont des formalismes de la représentation des connaissances permettant de raisonner sur des bases de connaissances d’un domaine d’application particulier, comme […]