<div dir="ltr">[Apologies for cross-posting]<br><br><div dir="ltr">----------------------------------------------------------------------------------------------------<br>                      CALL FOR PAPERS, SYSTEMS & ONTOLOGIES<br>

                     3rd OWL Reasoner Evaluation Workshop (ORE 2014)<br>                    Collocated with the Vienna Summer of Logic (VSL)<br>                       July 13, 2014 - Vienna, Austria<br>                                    <a href="http://vsl2014.at/ore/">http://vsl2014.at/ore/</a><br>
                                 <a href="http://vsl2014.at/floc-ws/">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 ORE 2014 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/ore-2014-testing-framework</a> <br>

Please note: The deadline for all system submissions is 16th May 2014.<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>    * Paper submission deadline: April 1, 2014<br>    * Notification of acceptance: May 2, 2014<br>    * Camera-ready papers:  May 16, 2014<br>
    * System submission (for competition): May 16, 2014<br>
    * Workshop:  July 13, 2014<br>    * Live Competition: July 18, 2014 (TBD)<br>    * Olympic Games Award Ceremony (Competition): July  21, 2014<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<span class=""></span></div><div class="gmail_extra"><br><br><br>-- <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>