Résumé | Dans ce document, nous faisons valoir qu'une architecture réaliste pour le Web sémantique doit être fondée sur de multiples piles de langages indépendantes mais interfonctionnelles. Plus particulièrement, nous faisons valoir qu'il existe une classe très importante de langages fondée sur des règles, qui découle de trente ans d'histoire et d'expérience et qui ne peut pas être disposée en couches au-dessus d'OWL. En effet, celle-ci doit plutôt être incluse dans l'architecture du Web sémantique, de pair avec la pile de langages fondés OWL. La classe de langages dont nous nous servons comprend des règles du style de programmation logique, qui appuie la négation des défauts. Nous faisons un bref survol des fondements logiques de ces langages et nous discutons du cadre d'interfonctionnement dans lequel de tels langages peuvent co-exister avec OWL et ses extensions. |
---|