Recherche:

Merci, c'est trèèèèèèèèèèès gentil de ta part :)

Merci beaucoup, mais c'est quoi au juste la différence entre des règles décidables et des règles indécidables ?

selon ce que j'ai compris, la règle suivante est une règle Dl-safe vu qu'elle attribue des rôles aux différents individus :

pere(rami) ∧ enfant(marwa) ∧ soeur(jamila) ∧ est_pere_de(rami, marwa) ∧...

sachant que Nom est un concept qui doit être rajouté à l'ontologie, si non ca va générer une erreur lors de l'interprétation de la règle, n'est ce pas ??

Autre question s'il vous plait, c'est...

Quelqu'un peut m'expliquer avec un exemple la différence entre une règle SWRL et DL-Safe rules SWRL ? J'arrive pas à saisir au juste la différence entre les deux. :calim2: