De l'utilisation de l'Answer Set Programming pour la formalisation de logiques de description

Laurent Garcia (1) , Aymeric Le Dorze (1)

1 LERIA - Laboratoire d'Etudes et de Recherche en Informatique d'Angers

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

Mots clés: Answer Set Programming; Logiques de description; Web sémantique

Domaines: Intelligence artificielle [cs.AI]; Vision par ordinateur et reconnaissance de formes [cs.CV]

Laurent Garcia, Aymeric Le Dorze. De l'utilisation de l'Answer Set Programming pour la formalisation de logiques de description. RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3. ⟨hal-00656560⟩