[DL] CFP: WORM08 - ESWC Workshop on Ontologies: Reasoning and Modularity

[Andrei Tamilin]

[Apologies for cross and multiple postings]

CALL FOR PAPERS
----------------------------------------------------------------------------
International Workshop on Ontologies: Reasoning and Modularity (WORM-08)
http://dkm.fbk.eu/worm08
Hosted by the 5th European Semantic Web Conference (ESWC-08)
http://www.eswc2008.org
June 1, 2008 - Tenerife, Spain

OBJECTIVES
----------------------------------------------------------------------------
The aim of the workshop is to create a forum for discussing and 
exchanging latest advances and practical experiences on reasoning and 
modularization of ontologies, their usefulness for various ontology 
engineering and operating tasks, discussing theoretical and practical 
frameworks, and system implementations.

The workshop welcomes users, tool developers, and researchers to learn 
more about and discuss latest advances related to topics of ontology 
reasoning and modularity. The workshop invites contributions addressing 
well-defined reasoning services and novel reasoning problems, 
theoretical and practical frameworks for structuring complex ontologies 
in a modular way, applications of reasoning and modularization 
techniques to various ontology engineering and operation tasks, 
presentations of experiences and case-studies, descriptions of 
methodologies and tools.

TOPICS
----------------------------------------------------------------------------
We welcome various kinds of contributions:

* presentations of novel reasoning problems/algorithms and how they link 
to ontology engineering and operation tasks,
* presentations of novel formalisms/languages/algorithms/methodologies 
for working with modular ontologies, their advantages and disadvantages 
for ontology engineering and operation tasks
* descriptions of reasoning tools for ontologies, their properties and 
strengths, and how they relate to existing such tools,
* description of tools to support ontology engineering and operation 
such as ontology editors, browsers, repositories, their properties and 
strengths, and how they relate to existing such tools, and
* applications of (modular) ontologies and their requirements regarding 
reasoning support, experiences and case studies, including reports of 
unorthodox yet fruitful applications of ontologies.

The particular topics of interest include, but are not limited to:

* standard and non-standard reasoning services
* novel reasoning problems and algorithms
* sharing and reuse of ontological modules
* efficiency versus (in)completeness of ontology reasoning
* logical formalisms for modular ontologies
* requirements for ontology modularity
* composing and decomposing modular ontologies
* ontologies update
* reasoning with modular ontologies
* inference explanations and debugging of ontologies
* collaborative and modular ontology engineering
* ontologies plus databases - reasoning and querying
* use cases and applications
* systems and tools demonstrations

SUBMISSIONS
----------------------------------------------------------------------------
The workshop welcomes submission of high quality original papers that 
describe research results on tasks related to ontology reasoning and 
modularity, presentations of user requirements and application 
scenarios, descriptions and demonstrations of systems and tools. 
Contributions should not exceed twelve (12) pages in length and must be 
formatted according to the Information for LNCS Authors 
(http://www.springer.de/comp/lncs/authors.html). All contributions 
should be prepared in PDF format and submitted not later than March 7, 
2008 through the WORM 08 EasyChair Submission System 
http://www.easychair.org/conferences/?conf=worm08.

Submitted papers will be peer-reviewed by members of the program 
committee. Accepted papers will be published as a volume of CEUR-WS 
online proceedings.

IMPORTANT DATES
----------------------------------------------------------------------------
Submission: March 7, 2008
Notification: April 4, 2008
Camera ready: April 18, 2008
Workshop day: June 1, 2008

ORGANIZERS
----------------------------------------------------------------------------
* Diego Calvanese, Free University of Bozen-Bolzano, Italy
* Bernardo Cuenca Grau, University of Oxford, UK
* Ulrike Sattler, University of Manchester, UK
* Luciano Serafini, FBK-IRST, Italy
* Evren Sirin, Clark & Parsia LLC, USA
* Andrei Tamilin, FBK-IRST, Italy
* Michael Wessel, Racer Systems GmbH, Germany
* Frank Wolter, University of Liverpool, UK

PROGRAMME COMMITEE
----------------------------------------------------------------------------
* Jie Bao, Iowa State University, USA
* Alex Borgida, Rutgers University, USA
* Gerhard Brewka, University of Leipzig, Germany
* Diego Calvanese, Free University of  Bozen-Bolzano, Italy
* Bernardo Cuenca Grau, University of Oxford, UK
* Mathieu d'Aquin, Open University, UK
* Giuseppe De Giacomo, University of Rome, Italy
* Chiara Ghidini, FBK-IRST, Italy
* John Goodwin, Ordnance Survey, UK
* Peter Haase, University of Karlsruhe, Germany
* Pascal Hitzler, University of Karlsruhe, Germany
* Vasant Honavar, Iowa State University, USA
* Ian Horrocks, Oxford University, UK
* Oliver Kutz, University of Bremen, Germany
* Carsten Lutz, Dresden University of Technology, Germany
* Christine Parent, University of Lausanne, Switzerland
* Alan Rector, University of Manchester , UK
* Marie-Christine Rousset, University of Grenoble, France
* Ulrike Sattler, University of Manchester, UK
* Anne Schlicht, University of Mannheim, Germany
* Marco Schorlemmer, IIIA-CSIC, Spain
* Luciano Serafini, FBK-IRST, Italy
* Andrei Tamilin, FBK-IRST, Italy
* Sergio Tessaris, Free University of  Bozen-Bolzano, Italy
* Anni-Yasmin Turhan, Dresden University of Technology, Germany
* Guido Vetere, IBM Italia
* Holger Wache, FHNW, Switzerland
* Michael Wessel, Racer Systems GmbH, Germany
* Antoine Zimmermann, INRIA Rhone-Alpes, France