De l'utilisation de l'Answer Set Programming pour la formalisation de logiques de description
Résumé
Nous voulons utiliser l'ASP comme un cadre unifiant les aspects du web sémantique correspondant aux niveaux Ontologies et Règles de la pile du web sémantique pour permettre d'utiliser la puissance des solveurs ASP pour interroger les informations décrites. Pour cela, nous étudions les différents opérateurs utilisés en logique de description et en donnons une traduction en ASP. Notre travail porte sur la logique SHOIQ
Origine : Fichiers produits par l'(les) auteur(s)
Loading...