- From: David Toman <david@cs.uwaterloo.ca>
- Date: Mon, 06 Mar 2006 09:49:56 -0500
- To: dl@dl.kr.org
- CC: david@cs.uwaterloo.ca, Bijan Parsia <bparsia@isr.umd.edu>
- CC: david@cs.uwaterloo.ca
2006 International Workshop on Description Logics (DL'06)
Lake District, UK
May 30-June 1, 2006
homepage: http://www.mindswap.org/2006/dl/
Final Call for Papers
The 2006 International Workshop on Description Logics (DL'06)
continues the tradition of international workshops devoted to
discussing developments and applications of knowledge representation
formalisms based on Description Logics.
----------------------------------------------------------------------
CALL FOR PAPERS
We invite submissions of technical papers of 8 pages. Accepted
technical papers will be included in the workshop proceedings as
normal papers (8 pages), long papers (12 pages), or as posters.
The workshop proceedings will be distributed in paper form at the
workshop, and will be made available electronically in the CEUR
Workshop Proceedings series (http://CEUR-WS.org/).
----------------------------------------------------------------------
IMPORTANT DATES
Paper submission deadline: March 10, 2006
Notification of acceptance: April 17, 2006
Camera ready papers due: May 12, 2006
DL'06 Workshop: May 30-June 1, 2006
----------------------------------------------------------------------
SCOPE
We invite contributions on all aspects of Description Logics.
Possible subjects include:
-- Foundations of Description Logics, including distinguishing
features of Description Logics with respect to other formalisms,
expressive power of Description Logics, decidability and complexity of
reasoning, and novel inference problems and reasoning techniques for
solving these problems.
-- Extensions of Description Logics, including, but not limited to,
closed world reasoning, defaults, epistemic reasoning, temporal and
spatial reasoning, procedural knowledge, and query languages.
-- Integration of Description Logics with other formalisms, such as
object-oriented languages, constraint-based programming, logic
programming, and rule-based systems.
-- Use of Description Logics in applications or areas such as natural
language, planning, learning, databases, document management,
semistructured data, ontology design, ontology languages, ontology
engineering, semantic web, and grid computing.
-- Building systems based on Description Logics, with special emphasis
on optimization and implementation techniques.
-- Tools that exploit Description Logic reasoning, such as ontology
editors, database schema design, query optimization, and data
integration tools.
----------------------------------------------------------------------
SUBMISSION DETAILS
Interested parties are invited to submit a technical paper not
exceeding 8 pages or a short position paper indicating interest in
Description Logics and the workshop. Both kinds of submission should
be formatted according to the guidelines to be found at
http://www.mindswap.org/2006/dl/
and must arrive by March 10, 2006. Detailed submission instructions
will be posted on DL'06 web site http://www.mindswap.org/2006/dl/
----------------------------------------------------------------------
PROGRAM COMMITTEE
Carlos Areces
Giuseppe De Giacomo
Enrico Franconi
Volker Haarslev
Ian Horrocks
Ralf Kuesters
Carsten Lutz
Ralf Moeller
Peter Patel-Schneider
Chris Welty
Frank Wolter
----------------------------------------------------------------------
ORGANIZING COMMITTEE
Bijan Parsia and David Toman (PC Co-chairs)
Uli Sattler (Local Arrangements Chair)
----------------------------------------------------------------------
--
Dr. David Toman, Associate Professor
School of Computer Science tel: (519) 888-4567 ext 4447
University of Waterloo fax: (519) 885-1208
200 University Avenue West david@uwaterloo.ca
Waterloo, Ontario, Canada N2L 3G1 http://db.uwaterloo.ca/~david
Received on Monday, 6 March 2006 14:50:19 UTC