Ontologies et web sémantique: Introduction aux logiques de ... - IRIT
DL = description logic = logique de description. (avant : logiques ... Traduction de ALC en FOL : exercices. ?(A, x) = A(x). ?(, x) = ?(?, x) = ?. ? ...
DL = description logic = logique de description. (avant : logiques ... Traduction de ALC en FOL : exercices. ?(A, x) = A(x). ?(, x) = ?(?, x) = ?. ? ...