Exercices

la représentation logique et ontologique des logiques de description, et la notion d'objet ... La lettre S désigne la logique ALC additionnée de R+. L'extension ...