- From: Ulrike Sattler <sattler@cs.man.ac.uk>
- Date: Mon, 04 Apr 2005 16:21:00 +0100
- To: standard-upper-ontology@ieee.org, seweb-list@www1-c703.uibk.ac.at, gulp@di.unipi.it, taboo@deis.unibo.it, cg@cs.uah.edu, dbitaly@dia.uniroma3.it, loginf@lat.inf.tu-dresden.de, www-rdf-logic@w3.org, kr@kr.org, aisb@cogs.sussex.ac.uk, dbworld@cs.wisc.edu, colibri@let.uu.nl, dl@dl.kr.org, i3world@tzi.de, loom-forum@isi.edu, daml-all@daml.org, protege-owl@smi.stanford.edu, aiia@di.unito.it
----------------------------------------------------------------------
We apologize if you receive this more than once. You are receiving
this message since you are a subscriber of a relevant mailing list.
----------------------------------------------------------------------
2005 International Workshop on Description Logics
(DL2005)
26th to 28th July 2005
in Edinburgh, Scotland, UK
http://dl.kr.org/dl2005/
co-located with IJCAI 2005, http://ijcai05.csd.abdn.ac.uk/
The 2005 International Workshop on Description Logics (DL2000)
continues the tradition of international workshops devoted to
discussing developments and applications of knowledge representation
formalisms based on Description Logics.
DL2005 will be co-located with IJCAI 2005 (the Nineteenth
International Joint Conference on Artificial Intelligence,
http://ijcai05.csd.abdn.ac.uk/, 30 July to 5 August 2005), and will
take place from the 26th to 28th July 2005 in the National e-Science
Centre in Edinburgh, Scotland.
----------------------------------------------------------------------
CALL FOR PAPERS
We invite submissions of technical papers of 8 pages. Authors of
accepted papers will be invited to present their papers at the
workshop. Accepted papers will be included in the informal conference
proceedings as normal papers (8 pages) or long papers (12 pages). We
plan to make the conference proceedings available electronically via
CEUR at http://www.ceur-ws.org.
Please note that, in contrast to previous DL workshops,
registration is open to everybody, and not by invitation only.
----------------------------------------------------------------------
IMPORTANT DATES
Paper submission deadline: April 15th, 2005
Notification of acceptance: May 30th, 2005
Camera ready papers due: June 26th, 2005
DL 2005 Workshop: July 26th to 28th, 2005
----------------------------------------------------------------------
SCOPE
We invite contributions on all aspects of Description Logics,
including but not limited to:
* 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, fuzzy
operators, temporal and spatial knowledge, 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 and
engineering, e-Science, 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 and database schema design and integration tools.
----------------------------------------------------------------------
SUBMISSION DETAILS
Interested parties are invited to submit a technical paper not
exceeding 8 pages that has been prepared according to the instructions
found in
http://dl.kr.org/dl2005/submission.tex
In case you cannot use LaTeX, you can use the instructions found in
http://dl.kr.org/dl2005/submission.ps
To submit your paper, please follow the instructions at
http:///www.easychair.org/DL-05/submit/
In case you have problems with electronic submissions, please contact
one of the workshop organizers.
----------------------------------------------------------------------
ORGANIZING COMMITTEE
* Ian Horrocks, University of Manchester, UK
* Ulrike Sattler, University of Manchester, UK
* Frank Wolter, University of Liverpool, UK
----------------------------------------------------------------------
PROGRAM COMMITTEE
* Carlos Areces, France
* Alessandro Artale, Italy
* Giuseppe De Giacomo, Italy
* Volker Haarslev, Canada
* Ian Horrocks, UK
* Holger Knublauch, US
* Carsten Lutz, Germany
* Maarten Marx, NL
* Ralf Moeller, Germany
* Bijan Parsia, USA
* Peter Patel-Schneider, USA
* Ulrike Sattler, UK
* Luciano Serafini, Italy
* David Toman, Canada
* Holger Wache, NL
* Frank Wolter, UK
----------------------------------------------------------------------
RESOURCES
* Information regarding costs, travel information, hotels, etc.
will be distributed later. Check the home page of DL 2005
for updates.
* Enquiries about the DL2000 workshop can be made by mailing to
the organizing committee:
dl2005@cs.man.ac.uk
* The official Description Logics WWW home page is at
http://dl.kr.org/dl/
* Patrick Lambrix has a nice collection of DL references,
researchers, etc. at:
http://www.ida.liu.se/labs/iislab/people/patla/DL/index.html
----------------------------------------------------------------------
Received on Monday, 4 April 2005 15:23:10 UTC