Ontologies et web sémantique: Introduction aux logiques de ... - IRIT
Ontologies et web s´emantique: Introduction aux logiques de description ... entrepôt d'ontologies ... Traduction de ALC en FOL : exercices. ?(A, x) = A(x).
Ontologies et web s´emantique: Introduction aux logiques de description ... entrepôt d'ontologies ... Traduction de ALC en FOL : exercices. ?(A, x) = A(x).