[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 (TBC) - 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 parallel with the workshop we will run an OWL Reasoner Competition. 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,
entailment checking, and query answering.
    * Developers will send a JAR file of their systems to the competition
organizers who will then carry out the benchmarks.

More details will be published soon. Information about last year's
competition can be found on the ORE 2013 website:
http://ore2013.cs.manchester.ac.uk/competition/

In addition to the system submissions, both reasoner and ontology
developers are invited to submit a short paper describing their system. 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 (TBC)
    * Competition: July 13, 2014 (TBC)


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
    * 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/