| Résumé | La combinaison d'ontologies et de règles est devenue un sujet central dans le Web sémantique. Comblant l'écart entre ces deux représentations des connaissances, cet article présente DatalogDL comme une famille de langages hybrides où des règles Datalog sont paramétrisées au moyen de divers langages de logique de description (LD), allant de l'ALC au SHIQ. En faisant du DatalogDL un système décidable, avec la complexité d'EXPTIME, nous proposons des propriétés indépendantes dans le corps de la LD, comme la limitation aux règles hybrides, et réduisons la condition de sûreté pour équilibrer le compromis entre l'expressivité et la puissance de raisonnement. Misant sur des techniques existantes bien développées, nous présentons une approche fondée sur des principes pour enrichir les règles (RuleML) d'information tirée des ontologies (OWL) et développer un système prototype qui intègre un moteur à base de règles (OO jDREW) et un raisonneur LD (RACER). |
|---|
