Table des matières
6 relations: Chaînage avant, Clause de Horn, Datalog, Décidabilité, Web Ontology Language, Web sémantique.
Chaînage avant
Le chaînage avant est une méthode de déduction qui applique des règles en partant des prémisses pour en déduire de nouvelles conclusions.
Voir Semantic Web Rule Language et Chaînage avant
Clause de Horn
En logique, en particulier en calcul propositionnel, une clause de Horn est une clause comportant au plus un ''littéral positif''.
Voir Semantic Web Rule Language et Clause de Horn
Datalog
Datalog est un langage de requête et de règles pour les bases de données déductives.
Voir Semantic Web Rule Language et Datalog
Décidabilité
En logique mathématique, le terme décidabilité recouvre deux concepts liés: la décidabilité logique et la décidabilité ''algorithmique''.
Voir Semantic Web Rule Language et Décidabilité
Web Ontology Language
(OWL) est un langage de représentation des connaissances construit sur le modèle de données de RDF.
Voir Semantic Web Rule Language et Web Ontology Language
Web sémantique
Logo du W3C pour le Web sémantique Le Web sémantique, ou toile sémantique.
Voir Semantic Web Rule Language et Web sémantique
Également connu sous le nom de SWRL.

