Le moteur de recherche
des thèses françaises
Michaël Thomazo
IdRefMots clés
FR |
EN
Bases de données -- Interrogation
Logiques de description
Ontologies (informatique)
Intelligence artificielle
Représentation des connaissances et raisonnement
Datalog+/-
Règles existentielles
Requêtes conjonctives
Algorithmes
Accès aux données en présence d'ontologie
Requêtes de comptage
Complexité du raisonnement
Logique informatique
Ontologies
Raisonnement
Représentation des connaissances
Web sémantique
Provenance
Graphes
Bases de données