Capacité à déduire automatiquement de nouveaux triplets par application de règles logiques.
Les règles permettent d’enrichir le graphe sans stocker d’informations redondantes.
Exemple de règle:
Id: music_linked_musicians
Prémisses:
music <radiofrance:musicBand> band
band <radiofrance:musicBandMember> member
Conclusion:
music <radiofrance:artist> member
Application concrète:
Triplets stockés:
:Yellow_Submarine radiofrance:musicBand :The_Beatles .
:The_Beatles radiofrance:musicBandMember :John_Lennon .Triplet inféré automatiquement:
:Yellow_Submarine radiofrance:artist :John_Lennon .graph LR YS[:Yellow_Submarine] -->|radiofrance:musicBand| TB[:The_Beatles] TB -->|radiofrance:musicBandMember| JL[:John_Lennon] YS -.radiofrance:artist<br/>inféré.-> JL
Autre exemple avec RDFS:
Si bt:Entreprise_Telecommunication rdfs:subClassOf bt:Entreprise
Et :Bouygues_Telecom rdf:type bt:Entreprise_Telecommunication
Alors :Bouygues_Telecom rdf:type bt:Entreprise (inféré)
Avantages:
Évite de stocker des informations redondantes
Garantit la cohérence logique
Enrichit automatiquement le graphe
Simplifie les requêtes ultérieures
Le raisonneur applique automatiquement les règles sur les données existantes.
Permet de répondre à des requêtes implicites, pas seulement explicites.