[CFP] 1st CfP: OWL Reasoner Evaluation Workshop (ORE 2012)

--===============4239668934139989319==
Content-Type: multipart/alternative; boundary=0016e68fc5cd50444204b887eb37

--0016e68fc5cd50444204b887eb37
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

[Apologies for cross-posting]


---------------------------------------------------------------------------=
--------------------------
                                  1st CALL FOR PAPERS
                     OWL Reasoner Evaluation Workshop (ORE 2012)
                        Collocated with IJCAR 2012 Conference
                    http://www.cs.ox.ac.uk/isg/conferences/ORE2012/
---------------------------------------------------------------------------=
--------------------------


OBJECTIVES
--------------------------------------------------------------------------

OWL is a logic-based ontology language standard designed to promote
interoperability, particularly in
the context of the (Semantic) Web. The standard has encouraged the
development of numerous OWL reasoning
systems, and such systems are already key components of many applications.

The goal of this workshop is to bring together the developers 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
--------------------------------------------------------------------------

Submissions are solicited from developers interested in describing OWL
reasoning and query answering systems.
We invite submission of both SHORT SYSTEM DESCRIPTION papers and LONG
SYSTEM DESCRIPTION AND EVALUATION papers.
Papers should include a description of the system in question, including:

    * language subset(s) supported;

    * syntax(es) and interface(s) supported;

    * reasoning algorithm(s) implemented;

    * important optimisation techniques used;

    * particular advantages (or disadvantages);

    * application focus (e.g., large datasets, large ontologies, complex
ontologies, etc.);

    * other novel or interesting features.


Full papers should also include an evaluation (see guidelines), preferably
using (some of) the datasets provided.
Short papers may also include a brief performance analysis.


EVALUATION GUIDELINES
--------------------------------------------------------------------------

If possible, evaluations should use the standard datasets provided and
present results for the following reasoning
tasks (where relevant for the system being evaluated):

    * Classification. The dataset consists of a set of OWL ontologies. The
total time taken to load and classify
each ontology should be reported. It would also be interesting to report on
comparisons of the computed taxonomy
with the "reference" taxonomies that are provided with the dataset (in
preparation).

    * Class satisfiability. The dataset consists of a set of OWL
ontologies, and for each ontology one or more
class URIs. The time taken to perform each test along with the
satisfiability result for each class should be reported.

    * Ontology satisfiability. That dataset consists of a set of OWL
ontologies. The total time taken to load and test
the satisfiability of each ontology should be reported, along with the
satisfiability result for each ontology.

    * Logical entailment. The dataset consists of a set of pairs of OWL
ontologies. The total time take to determine if
the first ontology entails the second ontology should be reported, along
with the entailment result (true or false).

    * Instance retrieval. The dataset is an OWL ontology and a class
expression. For each ontology the total time taken
to load the ontology and retrieve the sets of instances for each class
expression should be reported. It would also be
interesting to report on comparisons of the retrieved instances with the
"reference" set that are provided with the dataset.

It is suggested that full results of any evaluations performed are made
available via the web, with summaries of the results
 being included in the papers submission as space permits.


SUBMISSIONS
--------------------------------------------------------------------------

Long papers must be no longer than 12 pages, while short papers must be no
longer than 6 pages.

Submissions must be in PDF and should be formatted according to the
Springer LNCS guidelines.
Submission is electronic through easychair.

All submissions will be peer-reviewed by the program committee. Selected
papers are to be published as a
volume of CEUR workshop proceedings.


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

    * Submission of abstracts: April 9th, 2012

    * Paper submission deadline: April 16th, 2012

    * (Optional) Submission of systems to SEALS platform: April 16th, 2012

    * Notification of acceptance: May 7th, 2012

    * Camera-ready papers due: May 25th, 2012

    * Workshop: July 1st, 2012 (Half-day)


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

    * Ian Horrocks, University of Oxford, UK
    * Mikalai Yatskevich, University of Oxford, UK
    * Ernesto Jim=E9nez-Ruiz, University of Oxford, UK
    * Franz Baader, TU Dresden, Germany
    * J=E9r=F4me Euzenat, INRIA, Grenoble, France
    * Pavel Klinov, Clark & Parsia, USA
    * Jeff Heflin, Lehigh University, PA, USA
    * Francisco Martin-Recuerda, Universidad Polit=E9cnica de Madrid, Spain
    * Bijan Parsia, University of Manchester, UK
    * Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands

For enquiries, please contact the Organisers at [email protected]



--=20
Ernesto Jim=E9nez-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/

--0016e68fc5cd50444204b887eb37
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

[Apologies for cross-posting]<br><br><br>----------------------------------=
-------------------------------------------------------------------<br>=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0 1st CALL FOR PAPERS=A0=A0 <br>=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 OWL Reasoner Evaluation Workshop (O=
RE 2012)<br>
=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0 Collo=
cated with IJCAR 2012 Conference<br>=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=A0=
=A0=A0=A0=A0=A0=A0 <a href=3D"http://www.cs.ox.ac.uk/isg/conferences/ORE201=
2/">http://www.cs.ox.ac.uk/isg/conferences/ORE2012/</a><br>----------------=
---------------------------------------------------------------------------=
----------<br>
<br><br>OBJECTIVES<br>-----------------------------------------------------=
---------------------<br><br>OWL is a logic-based ontology language standar=
d designed to promote interoperability, particularly in <br>the context of =
the (Semantic) Web. The standard has encouraged the development of numerous=
 OWL reasoning <br>
systems, and such systems are already key components of many applications.<=
br><br>The goal of this workshop is to bring together the developers of rea=
soners for (subsets of) OWL, <br>including systems focusing on both intensi=
onal (ontology) and extensional (data) query answering. <br>
The workshop will give developers a perfect opportunity to promote their sy=
stems. <br><br><br>CALL FOR PAPERS<br>-------------------------------------=
-------------------------------------<br><br>Submissions are solicited from=
 developers interested in describing OWL reasoning and query answering syst=
ems. <br>
We invite submission of both SHORT SYSTEM DESCRIPTION papers and LONG SYSTE=
M DESCRIPTION AND EVALUATION papers. <br>Papers should include a descriptio=
n of the system in question, including:<br><br>=A0=A0=A0 * language subset(=
s) supported;<br>
<br>=A0=A0=A0 * syntax(es) and interface(s) supported;<br><br>=A0=A0=A0 * r=
easoning algorithm(s) implemented;<br><br>=A0=A0=A0 * important optimisatio=
n techniques used;<br><br>=A0=A0=A0 * particular advantages (or disadvantag=
es);<br><br>=A0=A0=A0 * application focus (e.g., large datasets, large onto=
logies, complex ontologies, etc.);<br>
<br>=A0=A0=A0 * other novel or interesting features.<br><br><br>Full papers=
 should also include an evaluation (see guidelines), preferably using (some=
 of) the datasets provided. <br>Short papers may also include a brief perfo=
rmance analysis.<br>
<br><br>EVALUATION GUIDELINES<br>------------------------------------------=
--------------------------------<br><br>If possible, evaluations should use=
 the standard datasets provided and present results for the following reaso=
ning <br>
tasks (where relevant for the system being evaluated):<br><br>=A0=A0=A0 * C=
lassification. The dataset consists of a set of OWL ontologies. The total t=
ime taken to load and classify <br>each ontology should be reported. It wou=
ld also be interesting to report on comparisons of the computed taxonomy <b=
r>
with the &quot;reference&quot; taxonomies that are provided with the datase=
t (in preparation).<br><br>=A0=A0=A0 * Class satisfiability. The dataset co=
nsists of a set of OWL ontologies, and for each ontology one or more <br>cl=
ass URIs. The time taken to perform each test along with the satisfiability=
 result for each class should be reported.<br>
<br>=A0=A0=A0 * Ontology satisfiability. That dataset consists of a set of =
OWL ontologies. The total time taken to load and test <br>the satisfiabilit=
y of each ontology should be reported, along with the satisfiability result=
 for each ontology.<br>
<br>=A0=A0=A0 * Logical entailment. The dataset consists of a set of pairs =
of OWL ontologies. The total time take to determine if <br>the first ontolo=
gy entails the second ontology should be reported, along with the entailmen=
t result (true or false).<br>
<br>=A0=A0=A0 * Instance retrieval. The dataset is an OWL ontology and a cl=
ass expression. For each ontology the total time taken <br>to load the onto=
logy and retrieve the sets of instances for each class expression should be=
 reported. It would also be <br>
interesting to report on comparisons of the retrieved instances with the &q=
uot;reference&quot; set that are provided with the dataset.<br><br>It is su=
ggested that full results of any evaluations performed are made available v=
ia the web, with summaries of the results<br>
=A0being included in the papers submission as space permits.<br><br><br>SUB=
MISSIONS<br>---------------------------------------------------------------=
-----------<br><br>Long papers must be no longer than 12 pages, while short=
 papers must be no longer than 6 pages.<br>
<br>Submissions must be in PDF and should be formatted according to the Spr=
inger LNCS guidelines. <br>Submission is electronic through easychair.<br><=
br>All submissions will be peer-reviewed by the program committee. Selected=
 papers are to be published as a <br>
volume of CEUR workshop proceedings.<br><br><br>IMPORTANT DATES<br>--------=
------------------------------------------------------------------<br><br>=
=A0=A0=A0 * Submission of abstracts: April 9th, 2012<br><br>=A0=A0=A0 * Pap=
er submission deadline: April 16th, 2012<br>
<br>=A0=A0=A0 * (Optional) Submission of systems to SEALS platform: April 1=
6th, 2012<br><br>=A0=A0=A0 * Notification of acceptance: May 7th, 2012<br><=
br>=A0=A0=A0 * Camera-ready papers due: May 25th, 2012<br><br>=A0=A0=A0 * W=
orkshop: July 1st, 2012 (Half-day)<br>
<br><br>ORGANISATION<br>---------------------------------------------------=
-----------------------<br><br>=A0=A0=A0 * Ian Horrocks, University of Oxfo=
rd, UK<br>=A0=A0=A0 * Mikalai Yatskevich, University of Oxford, UK<br>=A0=
=A0=A0 * Ernesto Jim=E9nez-Ruiz, University of Oxford, UK<br>
=A0=A0=A0 * Franz Baader, TU Dresden, Germany<br>=A0=A0=A0 * J=E9r=F4me Euz=
enat, INRIA, Grenoble, France<br>=A0=A0=A0 * Pavel Klinov, Clark &amp; Pars=
ia, USA<br>=A0=A0=A0 * Jeff Heflin, Lehigh University, PA, USA<br>=A0=A0=A0=
 * Francisco Martin-Recuerda, Universidad Polit=E9cnica de Madrid, Spain<br=
>
=A0=A0=A0 * Bijan Parsia, University of Manchester, UK<br>=A0=A0=A0 * Stefa=
n Schlobach, Vrije Universiteit Amsterdam, The Netherlands<br><br>For enqui=
ries, please contact the Organisers at <a href=3D"mailto:ore2012@easychair.=
org">[email protected]</a><br>
<br><br clear=3D"all"><br>-- <br>Ernesto Jim=E9nez-Ruiz<br>Research Assista=
nt<br>
Department of Computer Science<br>
University of Oxford<br>Wolfson Building, Parks Road, Oxford OX1 3QD, UK<br=
><br><a href=3D"http://krono.act.uji.es/people/Ernesto" target=3D"_blank">h=
ttp://krono.act.uji.es/people/Ernesto</a><br><a href=3D"http://www.cs.ox.ac=
.uk/people/ernesto.jimenez-ruiz/" target=3D"_blank">http://www.cs.ox.ac.uk/=
people/ernesto.jimenez-ruiz/</a><br>
<br><br><br>

--0016e68fc5cd50444204b887eb37--

--===============4239668934139989319==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
protege-owl mailing list
[email protected]
https://mailman.stanford.edu/mailman/listinfo/protege-owl

Instructions for unsubscribing: http://protege.stanford.edu/doc/faq.html#01a.03

--===============4239668934139989319==--