<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    ============================================================<br>
    The First International Workshop on Advanced Reasoning Technology
    (ART) for e-Science<br>
             November 28, 2012, Paphos, Cyprus (<a
      href="http://wasp.cs.vu.nl/art2012/%29">http://wasp.cs.vu.nl/art2012/)</a><br>
    Collocated with the 13th International Conference on Web Information
    System Engineering (WISE2012)<br>
    ============================================================<br>
    <br>
    Overview<br>
    ---------<br>
    Reasoning and inference about semantically annotated data is a key
    technology for any future application aiming at exploring digital
    information. The ART2012 workshop is a reaction on the novel
    challenges of the Semantic Web, which the modern information mining
    and reasoning technology face with. Among those challenges are size,
    completeness, closeness, trustworthiness, consistence, coherence,
    and dynamic nature of the explored data. The workshop will elaborate
    a strategy and a roadmap for the traditional reasoning approaches
    such as complete and deductive reasoning to be advanced by the novel
    techniques such as automated and streaming reasoning in order to get
    a dominating position on the Intelligent Information Management
    system market, leveraging the on-demand infrastructures such as high
    performance computing and Cloud.<br>
    <br>
    ART2012 will continue the discussion forum started at the previous
    workshops such as NeFoRS'07, NeFoRS'08, SR'09, and NeFoRS'10. <br>
    <br>
    The ART workshop invites submissions that address world-class
    research and development and highlight innovative and emerging
    systems, methods, and technologies in Semantic Web Reasoning. The
    workshop explores the latest and most innovative work in the
    following topics:<br>
    <br>
    -> scalable reasoning for the Web<br>
    -> automated reasoning<br>
    -> web scale querying and searching<br>
    -> reasoning with inconsistent ontologies<br>
    -> temporal and spatial reasoning in the Semantic Web<br>
    -> abduction reasoning in the Semantic Web<br>
    -> stream reasoning in the Semantic Web<br>
    -> efficient storage of structured data that scale to a very
    large size<br>
    -> reasoning with large, expressive or distributed ontologies<br>
    -> distribution and parallelization for semantic reasoning<br>
    -> cognitively-inspired approaches to deal with large and dynamic
    information<br>
    -> implementation and evaluation of scalable and dynamic
    reasoners<br>
    -> applications of reasoning on large and dynamic datasets<br>
    <br>
    Key dates<br>
    ---------<br>
    Full Paper Submission Deadline: September 17, 2012.<br>
    Acceptance notification: October 8, 2012.<br>
    Camera ready: October 24, 2012.<br>
    Workshop Full-day: November 28, 2012.<br>
    <br>
    Venue information<br>
    ---------------------<br>
    The workshop will take place in Paphos, Cyprus, November 28, 2012, 
    <a href="http://wasp.cs.vu.nl/art2012/.">http://wasp.cs.vu.nl/art2012/.</a><br>
    The workshop is collocated with the WISE2012 conference,  <a
      href="http://www.wise2012.cs.ucy.ac.cy/.">http://www.wise2012.cs.ucy.ac.cy/.</a><br>
    <br>
    Submission Guidelines<br>
    ---------------------<br>
    The workshop invites full papers (up to 14 pages) as well as short
    papers (up to 6 pages). <br>
    Submissions should be formatted according to the Lecture Notes in
    Computer Science guidelines <br>
    for proceedings available at <a
      href="http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0">http://www.springer.com/computer/lncs?SGWID=0-164-7-72376-0</a>.
    <br>
    Papers should be submitted in the PDF format.<br>
    <br>
    Submission performs via the Easy Chair system set up at <a
      href="http://www.easychair.org/conferences?conf=art2012">http://www.easychair.org/conferences?conf=art2012</a>
    <br>
    <br>
    Publication<br>
    ----------------<br>
    Proceedings of the workshop will be published online. All papers
    presented at the workshop will be invited <br>
    to be revised and extended for a second peer-review process to be
    published by Springer in the Lecturer Notes <br>
    in Computer Science series.<br>
    <br>
    Workshop Chairs<br>
    ----------------<br>
        Alexey Cheptsov, High Performance Computing Center Stuttgart
    (HLRS), Universitat Stuttgart, Germany<br>
        Jeff Pan, University of Aberdeen, UK<br>
        Zhisheng Huang, Free University of Amsterdam, the Netherlands<br>
    <br>
    Program Committee<br>
    -----------------
    <ul>
      <li>Frank van Harmelen, Vrije Universiteit Amsterdam </li>
      <li>Stefan Wesner, High Performance Computing Center Stuttgart,
        Germany </li>
      <li>Marko Grobelnik, Jozef Stefan Institute in Ljubljana, Slovenia
      </li>
      <li>Volker Tresp, Ludwig Maximilian University of Munich, Germany
      </li>
      <li>Michael Witbrock, Cycorp, USA </li>
      <li>Dongmo Zhang, University of Western Sydney, Australia </li>
      <li>Frank van Harmelen, Vrije University Amsterdam, the
        Netherlands </li>
      <li>Kewen Wang, Griffith University, Australia </li>
      <li>Guilin Qi, Southeast University, China </li>
      <li>Grigoris Antoniou, University of Huddersfield, Greece </li>
      <li>Jianfeng Du, Guangdong University of Foreign Studies, China </li>
      <li>Luciano Serafini, FBK-IRST </li>
      <li>Giorgos Stoilos, Information System Group, University of
        Oxford
      </li>
    </ul>
    <br>
    Contact<br>
    -------<br>
    Dr. Alexey Cheptsov, email: cheptsov<add>hlrs.de, tel.:
    +49-711-68560470
  </body>
</html>