HAL - INRIA :: [inria-00339184, version 2] XML Reasoning Solver User Manual

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)

Abstract: This manual provides documentation for using the XML reasoning solver.

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

inria-00339184, version 2
http://hal.inria.fr/inria-00339184
oai:hal.inria.fr:inria-00339184
From: Pierre Genevès <>
Submitted on: Monday, 22 August 2011 09:26:42
Updated on: Monday, 22 August 2011 10:13:48

See detailed view

Associated documents

PDF :

Export

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="report"><head>Research reports</head>
<biblStruct type="report" xml:id="inria-00339184"><monogr>
<author><persName><forename>Pierre</forename><surname>Genevès</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">WAM</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble - INPG</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<author><persName><forename>Nabil</forename><surname>Layaïda</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">WAM</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble - INPG</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<author><persName><forename>Vojtech</forename><surname>Knyttl</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Grenoble Rhône-Alpes / LIG Laboratoire d'Informatique de Grenoble</orgName>
<orgName type="team">WAM</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">Institut National Polytechnique de Grenoble - INPG</orgName>
<orgName type="institution">Université Joseph Fourier - Grenoble I</orgName>
<orgName type="institution">Université Pierre Mendès-France - Grenoble II</orgName>
<orgName type="institution">CNRS : UMR5217</orgName>
</affiliation>
</author>
<title type="main" level="m">XML Reasoning Solver User Manual</title><title type="main" level="m">XML Reasoning Solver User Manual</title><imprint><biblScope type="publicationDate">2011-06-29</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00339184</idno><idno type="HALFile">http://hal.inria.fr/inria-00339184/PDF/RR-6726.pdf</idno></biblStruct>
</listBibl>
</listBibl>