Nous travaillons à restaurer l'application Unionpedia sur le Google Play Store
SortantEntrants
🌟Nous avons simplifié notre design pour une meilleure navigation !
Instagram Facebook X LinkedIn
Votre propre Unionpédia avec votre logo et votre domaine, à partir de 9,99 USD/mois
Créer mon Unionpédia

Semantic Web Rule Language

Indice Semantic Web Rule Language

SWRL (Semantic Web Rule Language) est un langage de règles pour le web sémantique, combinant le langage OWL-DL et le langage RuleML (Rule Markup Language (Unary/Binary Datalog)).

Table des matières

  1. 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.