inria-00339184, version 2

XML Reasoning Solver User Manual

Pierre Genevès () ^a, 1, Nabil Layaïda () ^b, 1, Vojtech Knyttl ^c, 1

N° RR-6726 (2011)

• a –  CNRS
• b –  INRIA
• c –  INRIA Grenoble
• 1 :  WAM (INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble)
• INRIA – Institut National Polytechnique de Grenoble (INPG) – Université Joseph Fourier - Grenoble I – Université Pierre Mendès-France - Grenoble II – CNRS : UMR5217

• Domaine : Informatique/Langage de programmation
  Informatique/Web
  Informatique/Base de données
• Mots-clés : Solver – Satisfiability – XML – XPath – Static Analysis – Containment – Reasoning
• Référence interne : RR-6726
• Versions disponibles :  v1 (17-11-2008) v2 (22-08-2011)

• inria-00339184, version 2
• http://hal.inria.fr/inria-00339184
• oai:hal.inria.fr:inria-00339184
• Contributeur : Pierre Genevès <>
• Soumis le : Lundi 22 Août 2011, 09:26:42
• Dernière modification le : Lundi 22 Août 2011, 10:13:48