<div dir="ltr"><div><div>[Apologies for cross-posting]<br><br></div>Due to several requests we have extended the deadline to <b>April 15, <span>2014</span>.<br></b></div><div></div><div><br><br></div><div>----------------------------------------------------------------------------------------------------<br>

<div><br><div dir="ltr">                      CALL FOR PAPERS, SYSTEMS & ONTOLOGIES<br>

                     3rd OWL Reasoner Evaluation Workshop (<span>ORE</span> <span>2014</span>)<br>                    Collocated with the Vienna Summer of Logic (VSL)<br>                       July 13, <span>2014</span> - Vienna, Austria<br>

                                    <a href="http://vsl2014.at/ore/" target="_blank">http://vsl2014.at/<span>ore</span>/</a><br>
                                 <a href="http://vsl2014.at/floc-ws/" target="_blank">http://vsl2014.at/floc-ws/</a><br>
-----------------------------------------------------------------------------------------------------<br><br><br><br>OBJECTIVES<br>--------------------------------------------------------------------------<br>The
 goal of this workshop is to bring together both the DEVELOPERS and 
END-USERS of reasoners for (subsets of) OWL, including systems focusing 
on both intensional (ontology) and extensional (data) query answering. 
The workshop will give developers a perfect opportunity to promote their
 systems.<br>
<br><br>CALL FOR PAPERS<br>--------------------------------------------------------------------------<br><br>We invite submission of papers describing:<br><br>    * System descriptions describing the architecture, implementation, and expected performance of the reasoner.<br>



<br>    * Reasoner implementation details, usage reports, implementation "tips and tricks".<br><br>    * Challenging ontologies and/or benchmark proposals for OWL reasoners.<br><br>Papers should be formatted according to the Springer LNCS guidelines (<a href="http://www.springer.de/comp/lncs/authors.html" target="_blank">http://www.springer.de/comp/lncs/authors.html</a>) and should not be longer than 6 pages (excluding references).<br>



<br>Submissions must be in PDF through the EasyChair conference system: <a href="https://www.easychair.org/conferences/?conf=ore2014" target="_blank">https://www.easychair.org/conferences/?conf=ore2014</a>.<br><br>All
 submissions will be peer-reviewed by the program committee. Selected 
papers will be presented during the workshop and published as a volume 
of CEUR workshop proceedings (<a href="http://ceur-ws.org/" target="_blank">http://ceur-ws.org/</a>).<br>
<br><br><br>CALL FOR SYSTEMS AND ONTOLOGIES(COMPETITION)<br>--------------------------------------------------------------------------<br><br>In addition to the workshop we will run an OWL Reasoner Competition, which is part of the 1st FLoC Olympic Games (<a href="http://vsl2014.at/olympics/" target="_blank">http://vsl2014.at/olympics/</a>).
 The FLoC Olympic Games are intended as a new FLoC tradition and Games 
will bring together a multitude of established solver competitions by 
different research communities. The winners in the competition 
categories will be awarded Kurt Goedel medals at the FLoC Olympic Games 
award ceremonies.<br>
<br>We invite both reasoner developers and developers of challenging 
ontologies to submit their systems/ontologies for participation in the 
OWL reasoner competition. The preliminary outline for the competition is
 as follows:<br>
<br>    * The test sets will include OWL ontologies from all OWL 2 
profiles and of varying sizes, from a large corpus of ontologies 
(including ontologies from the NCBO BioPortal, a web crawl, and 
user-submitted ontologies).<br>
    * The tested tasks will include consistency checking, classification, and realisation. <br>   
 * Developers will have to submit an executable wrapper script that 
triggers the reasoning system (see <span>ORE</span> <span>2014</span> Specification), and the 
system itself to the competition organizers, who will then carry out the
 benchmarks.<br>
<br>Further instructions and a testing framework is available at: <a href="https://bitbucket.org/andreas-steigmiller/ore-2014-testing-framework" target="_blank">https://bitbucket.org/andreas-steigmiller/<span>ore</span>-<span>2014</span>-testing-framework</a> <br>



Please note: The deadline for all system submissions is 16th May <span>2014</span>.<br><br>In
 addition to the system submissions, both reasoner and ontology 
developers are invited to submit a short paper describing their 
system/ontology. See the above instructions for paper submissions.<br>
<br><br>IMPORTANT DATES<br>--------------------------------------------------------------------------<br><br><b>    * Paper submission deadline: April 15, <span>2014</span> (EXTENDED)</b><br>    * Notification of acceptance: May 2, <span>2014</span><br>

    * Camera-ready papers:  May 16, <span>2014</span><br>
    * System submission (for competition): May 16, <span>2014</span><br>
    * Workshop:  July 13, <span>2014</span><br>    * Live Competition: July 18, <span>2014</span> (TBD)<br>    * Olympic Games Award Ceremony (Competition): July  21, <span>2014</span><br><br><br>
ORGANISATION<br>--------------------------------------------------------------------------<br>

<br>For enquiries, please contact the organisers at <a href="mailto:ore2014@easychair.org" target="_blank">ore2014@easychair.org</a><br><br>Organisers, PC chairs<br><br>    * Ernesto Jiménez-Ruiz, University of Oxford, UK<br>


    * Samantha Bail, University of Manchester, UK<br>
<br>Competition Organisers<br><br>    * Birte Glimm, Ulm University, Germany<br>    * Nicolas Matentzoglu, University of Manchester, UK<br>    * Bijan Parsia, University of Manchester, UK<br>    * Andreas Steigmiller, Ulm University, Germany<br>



<br>Program committee<br><br>    * Ana Armas, University of Oxford, UK<br>    * Franz Baader, TU Dresden, Germany<br>    * Michel Dumontier, Stanford University, USA<br>    * Christine Golbreich, LIRMM, CNRS, Montpellier & University Versailles Saint-Quentin, France<br>



    * Janna Hastings, European Bioinformatics Institute, UK<br>    * Yevgeny Kazakov, Ulm University, Germany<br>    * Pavel Klinov, Ulm University, Germany<br>    * Ilianna Kollia, National Technical University of Athens, Greece<br>



    * Despoina Magka, Yahoo!, UK<br>    * Francisco Martin-Recuerda, Universidad Politécnica de Madrid, Spain<br>    * Christian Meilicke, University of Mannheim, Germany<br>    * Julian Mendez, TU Dresden, Germany<br>    * Maria del Mar Roldán García, Universidad de Malaga, Spain<br>



    * Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands<br>    * Jörg Schönfisch, Softplant GmbH, Germany <br>    * Weihong Song, University of New Brunswick, Canada<br>    * Kavitha Srinivas, IBM Research, USA<br>



    * Dmitry Tsarkov, University of Manchester, UK<br>    * Zhe Wang, Griffith University</div></div><br><br><br><div class="gmail_extra">-- <br>Ernesto Jiménez-Ruiz<br>Research Assistant<br>
Department of Computer Science<br>
University of Oxford<br>Wolfson Building, Parks Road, Oxford OX1 3QD, UK<br><br><a href="http://krono.act.uji.es/people/Ernesto" target="_blank">http://krono.act.uji.es/people/Ernesto</a><br><a href="http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/" target="_blank">http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/</a><br>
<br><br>
</div></div></div>