XML Reasoning Solver User Manual

Pierre Genevès 1 Nabil Layaïda 1 Vojtech Knyttl 1
1 WAM - Web, adaptation and multimedia
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : This manual provides documentation for using the XML reasoning solver.
Document type :
Reports
[Research Report] RR-6726, INRIA. 2011
Liste complète des métadonnées


https://hal.inria.fr/inria-00339184
Contributor : Pierre Genevès <>
Submitted on : Monday, August 22, 2011 - 9:26:42 AM
Last modification on : Saturday, September 17, 2016 - 1:38:18 AM
Document(s) archivé(s) le : Sunday, December 4, 2016 - 8:44:57 AM

File

RR-6726.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : inria-00339184, version 2

Collections

Citation

Pierre Genevès, Nabil Layaïda, Vojtech Knyttl. XML Reasoning Solver User Manual. [Research Report] RR-6726, INRIA. 2011. <inria-00339184v2>

Share

Metrics

Record views

246

Document downloads

158