<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:GRAPHIK</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Software and Platforms - Cogui"/>
    <meta name="dc.title" content="Software and Platforms - Cogui"/>
    <meta name="dc.creator" content="Alain Gutierrez"/>
    <meta name="dc.creator" content="Michel Leclère"/>
    <meta name="dc.creator" content="Marie-Laure Mugnier"/>
    <meta name="dc.creator" content="Michel Chein"/>
    <meta name="dc.creator" content="Madalina Croitoru"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2013-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="GRAPHIK"/>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Graphik</a>
        </div>
        <span>
          <a href="uid1.html">Members</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Logic and Graph-based KRR</a></li><li><a href="./uid4.html">From Theory to Applications, and Vice-versa</a></li><li><a href="./uid8.html">Main Challenges</a></li><li><a href="./uid13.html">Scientific Directions</a></li><li><a href="./uid19.html">Highlights of the Year</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid23.html&#10;&#9;&#9;  ">Logic-based Knowledge Representation and Reasoning</a></li><li><a href="uid24.html&#10;&#9;&#9;  ">Graph-based Knowledge Representation and Reasoning</a></li><li><a href="uid25.html&#10;&#9;&#9;  ">Ontological Query Answering</a></li><li><a href="uid28.html&#10;&#9;&#9;  ">Imperfect Information and Priorities</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid35.html&#10;&#9;&#9;  ">Introduction</a></li><li><a href="uid36.html&#10;&#9;&#9;  ">Agronomy</a></li><li><a href="uid37.html&#10;&#9;&#9;  ">Document Metadata</a></li></ul></div>
      <div class="TdmEntry">Software and Platforms<ul><li class="tdmActPage"><a href="uid39.html&#10;&#9;&#9;  ">Cogui</a></li><li><a href="uid43.html&#10;&#9;&#9;  ">Cogui/Capex</a></li><li><a href="uid44.html&#10;&#9;&#9;  ">Alaska</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">Tools for Rule-Based Reasoning</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid47.html&#10;&#9;&#9;  ">Ontology-Based Query Answering with Existential Rules</a></li><li><a href="uid55.html&#10;&#9;&#9;  ">Reasoning with Imperfect Information and Priorities</a></li><li><a href="uid68.html&#10;&#9;&#9;  ">Semantic Data Integration</a></li></ul></div>
      <div class="TdmEntry">Bilateral Contracts and Grants with Industry<ul><li><a href="uid77.html&#10;&#9;&#9;  ">ABES</a></li><li><a href="uid78.html&#10;&#9;&#9;  ">CTFC</a></li><li><a href="uid79.html&#10;&#9;&#9;  ">Panzani</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid81.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid98.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid118.html&#10;&#9;&#9;  ">International Research Visitors</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid129.html&#10;&#9;&#9;  ">Scientific Animation</a></li><li><a href="uid155.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid189.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
          <li>
            <a id="tdmbibentfoot" href="bibliography.html#References">References in notes</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2013</a> | <a href="http://www.inria.fr/en/teams/graphik">Presentation of the Project-Team GRAPHIK</a> | <a href="http://team.inria.fr/graphik">GRAPHIK Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="graphik.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="graphik.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-graphik-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../graphik/graphik.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-graphik-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid37.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid43.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Software and Platforms</h2>
        <h3 class="titre3">Cogui</h3>
        <p class="participants"><span class="part">Participants</span> :
	Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Michel Chein, Madalina Croitoru.</p>
        <p><i>Cogui</i> (<a href="http://www.lirmm.fr/cogui">http://www.lirmm.fr/cogui</a> ) is a tool for building and verifying knowledge bases. It is a freeware written in Java (version 1.6). Currently, it supports Conceptual Graphs and import/export in RDFS and Datalog+/-. This year, the following features have been developed:</p>
        <ul>
          <li>
            <p class="notaparagraph"><a name="uid40"> </a>we have introduced the concept of scripted rule which associates more fluidly the editable graphical objects with scripts that perform operations on knowledge graphs. These features have been tested and improved in various projects this year (see <i>e.g.</i> Qualinca in Section <a title="National Initiatives" href="./uid81.html">
	8.1</a>  or CTFC in Section <a title="CTFC" href="./uid78.html">
	7.2</a> ).</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid41"> </a>we have implemented an interface for quick and assisted creation of graphs. It is based upon Datalog+/- language and provides tools for automatic completion.</p>
          </li>
          <li>
            <p class="notaparagraph"><a name="uid42"> </a>finally, default conceptual graphs rules were implemented in Cogui. An editing interface is available as well as the operation to find all extensions of a rule set. This feature is required by the CTFC project (see Section <a title="CTFC" href="./uid78.html">
	7.2</a> ).</p>
          </li>
        </ul>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid37.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid43.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
