[CfP] 3rd OWL Reasoner Evaluation Workshop (with VSL 2014)

[Apologies for cross-posting]


-----------------------------------------------------------------------------------------------------
                      CALL FOR PAPERS, SYSTEMS & ONTOLOGIES
                     3rd OWL Reasoner Evaluation Workshop (ORE 2014)
                    Collocated with the Vienna Summer of Logic (VSL)
                       July 13, 2014 - Vienna, Austria
                       http://vsl2014.at/pages/ORE-index.html
-----------------------------------------------------------------------------------------------------



OBJECTIVES
--------------------------------------------------------------------------
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.


CALL FOR PAPERS
--------------------------------------------------------------------------

We invite submission of papers describing:

    * System descriptions describing the architecture, implementation, and
expected performance of the reasoner.

    * Reasoner implementation details, usage reports, implementation "tips
and tricks".

    * Challenging ontologies and/or benchmark proposals for OWL reasoners.

Papers should be formatted according to the Springer LNCS guidelines (
http://www.springer.de/comp/lncs/authors.html) and should not be longer
than 6 pages (excluding references).

Submissions must be in PDF through the EasyChair conference system:
https://www.easychair.org/conferences/?conf=ore2014.

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 (http://ceur-ws.org/).



CALL FOR SYSTEMS AND ONTOLOGIES(COMPETITION)
--------------------------------------------------------------------------

In addition to the workshop we will run an OWL Reasoner Competition, which
is part of the 1st FLoC Olympic Games (http://vsl2014.at/olympics/). 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.

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:

    * 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).
    * The tested tasks will include consistency checking, classification,
and realisation.
    * 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.

Further instructions and a testing framework is available at:
https://bitbucket.org/andreas-steigmiller/ore-2014-testing-framework
Please note: The deadline for all system submissions is 16th May 2014.

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.


IMPORTANT DATES
--------------------------------------------------------------------------

    * Paper submission deadline: April 1, 2014
    * Notification of acceptance: May 16, 2014
    * System submission (for competition): May 16, 2014
    * Workshop:  July 13, 2014
    * Live Competition: July 18, 2014 (TBD)
    * Olympic Games Award Ceremony (Competition): July  21, 2014


ORGANISATION
--------------------------------------------------------------------------

For enquiries, please contact the organisers at ore2014@easychair.org

Organisers, PC chairs

    * Ernesto Jiménez-Ruiz, University of Oxford, UK
    * Samantha Bail, University of Manchester, UK

Competition Organisers

    * Birte Glimm, Ulm University, Germany
    * Nicolas Matentzoglu, University of Manchester, UK
    * Bijan Parsia, University of Manchester, UK
    * Andreas Steigmiller, Ulm University, Germany

Program committee

    * Ana Armas, University of Oxford, UK
    * Franz Baader, TU Dresden, Germany
    * Michel Dumontier, Stanford University, USA
    * Christine Golbreich, LIRMM, CNRS, Montpellier & University Versailles
Saint-Quentin, France
    * Janna Hastings, European Bioinformatics Institute, UK
    * Yevgeny Kazakov, Ulm University, Germany
    * Pavel Klinov, Ulm University, Germany
    * Ilianna Kollia, National Technical University of Athens, Greece
    * Despoina Magka, Yahoo!, UK
    * Francisco Martin-Recuerda, Universidad Politécnica de Madrid, Spain
    * Christian Meilicke, University of Mannheim, Germany
    * Julian Mendez, TU Dresden, Germany
    * Maria del Mar Roldán García, Universidad de Malaga, Spain
    * Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
    * Jörg Schönfisch, Softplant GmbH, Germany
    * Weihong Song, University of New Brunswick, Canada
    * Kavitha Srinivas, IBM Research, USA
    * Dmitry Tsarkov, University of Manchester, UK
    * Zhe Wang, University of Oxford, UK




-- 
Ernesto Jiménez-Ruiz
Research Assistant
Department of Computer Science
University of Oxford
Wolfson Building, Parks Road, Oxford OX1 3QD, UK

http://krono.act.uji.es/people/Ernesto
http://www.cs.ox.ac.uk/people/ernesto.jimenez-ruiz/