Résumé | La combinaison d'ontologies et de règles est devenue un sujet central sur le Web sémantique. Comblant l'écart entre les deux représentations des connaissances, cet article présente DatalogDL, comme 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écurité pour équilibrer le compromis entre l'expressivité et la puissance de raisonnement. Misant sur des techniques très 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 outil de raisonnement LD (RACER). |
---|