- From: Carsten Lutz <clu@tcs.inf.tu-dresden.de>
- Date: Thu, 01 Nov 2007 18:35:45 +0100 (CET)
- To: cadeinc@cs.albany.edu, cg@conceptualgraphs.org, choose-news@iam.unibe.ch, cl-adverts@janeway.inf.tu-dresden.de, clean-list@cs.kun.nl, cofi-discuss@cofi.info, colibri@let.uu.nl, colognet@ucy.ac.cy, community@mlnet.org, comprox@doc.ic.ac.uk, compulog@doc.imperial.ac.uk, compulognet-parimp@dia.fi.upm.es, conferences@computer.org, corba-patterns@cs.uiuc.edu, dacm-patterns@cs.uiuc.edu, dbitaly@dia.uniroma3.it, dbworld@cs.wisc.edu, debenham@it.uts.edu.au, devedzic@fon.fon.bg.ac.yu, digicult-forum@digicult.info, diglib@infoserv.inist.fr, dip-all@lists.deri.org, disa@cs.unitn.it, dl@dl.kr.org, dotkom-project@dcs.shef.ac.uk, dsinfo@mailbox.gsu.edu, e-eu-contact@dfki.de, ecoop-info@ecoop.org, editor@agentlink.org, editor@knowledgeboard.com, ehn@cs.cmu.edu, elsnet-list@elsnet.org, epontell@cs.nmsu.edu, esap-news@disputatio.com, event@in.tu-clausthal.de, events_calendar@acm.org, fellbaum@clarity.princeton.edu, fg-db@informatik.uni-rostock.de, fgwm@uni-trier.de, flaviusf@win.tue.nl, folli@coli.uni-sb.de, gang-of-4-patterns@cs.uiuc.edu, gmod-devel@lists.sourceforge.net, grin@di.unipi.it, gwa@lists.ut.ee, humanist@Princeton.EDU, ieeesb-vr@metropolis.sci.univr.it, ifla-l@infoserv.inist.fr, ipc-patterns@cs.uiuc.edu, isworld@listserv.heanet.ie, juris.borzovs@dati.lv, kaw@science.uva.nl, kif@philebus.tamu.edu, kr2004org@it.uts.edu.au, kurt.godden@gm.com, linguist@linguistlist.org, ll-discuss@lists.csail.mit.edu, ln@cines.fr, loom-forum@isi.edu, lprolog@cs.umn.edu, mailings@iwv.jku.at, mip6@ietf.org, moby-l@biomoby.org, noe_interop@drimm.u-bordeaux1.fr, obi-devel@lists.sourceforge.net, obo-discuss@lists.sourceforge.net, obo-phenotype@lists.sourceforge.net, ontolog-forum@ontolog.cim3.net, ontology@buffalo.edu, ontoquery@ruc.dk, ontoweb-list@lists.deri.org, oose@uni-paderborn.de, papm@informatics.ed.ac.uk, patterns-discussion@cs.uiuc.edu, petrinet@informatik.uni-hamburg.de, pjm@doc.ic.ac.uk, plt-scheme@slow.flux.utah.edu, potokte@ornl.gov, project@aktors.org, public-owl-dev@w3.org, public-rif-wg@w3.org, public-sws-ig@w3.org, reengineering@uni-koblenz.de, research@lists.deri.org, risc@idf.ext.jussieu.fr, ruleml-all@ruleml.org, sekt@aifb.uni-karlsruhe.de, semantic-web@w3.org, semanticweb@egroups.com, semanticweb@yahoogroups.com, semantik@uni-duesseldorf.de, seweb-list@lists.deri.org, siemens-patterns@cs.uiuc.edu, space@it.edu, spinn@cst.dk, sw-ergo@gui-design.de, swikig@aifb.uni-karlsruhe.de, taboo-list@deis.unibo.it, telecom-patterns@cs.uiuc.edu, topicmapmail@infoloom.com, users@mozart-oz.org, vki-list@dfki.de, web-semantica-ayuda@es.tldp.org, web-semantics-italia@yahoogroups.com, webmaster@aisb.org.uk, weekly@egovmonitor.com, wi@aifb.uni-karlsruhe.de, winikoff@cs.rmit.edu.au, wsmo-discussion@lists.deri.org, www-annotation@w3.org, www-rdf-logic@w3.org, www-rdf-rules@w3.org, www-webont-wg@w3.org, www-ws@w3.org, loginf@lat.inf.tu-dresden.de, logic@math.uni-bonn.de, dl08pc@tcs.inf.tu-dresden.de
--------------------------------------------------------------------- 21st International Workshop on Description Logics (DL'08) CALL FOR PAPERS Dresden, Germany May 13-16, 2008 http://dl.kr.org/dl2008/ The DL workshop is the major annual event of the description logic research community. The workshop is a gathering forum to meet, discuss and exchange experiences among all those, both in academia and industry, who are interested in description logics and their applications. ---------------------------------------------------------------------- IMPORTANT DATES Paper submission deadline: 15 February 2008 Notification of acceptance: 23 March 2008 Camera ready papers due: 13 April 2008 DL'07 Workshop: 13-16 May 2008 (3 or 4 days, to be decided) ---------------------------------------------------------------------- INVITED SPEAKERS * Bernhard Ganter, Dresden, Germany * Georg Gottlob, Oxford, UK * Maarten Marx, Amsterdam, The Netherlands * Kent Spackman, Oregon, USA ---------------------------------------------------------------------- SCOPE We invite contributions on all aspects of description logics. Possible subjects include: * Foundations of description logics, including expressive power, decidability and complexity of reasoning, 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 representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems. * Use of description logics in applications or areas such as ontology engineering, ontology languages, databases, semi-structured data, document management, natural language, learning, planning, 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 We invite submissions of papers in Springer LNCS style, see http://www.springer.com/comp/lncs/Authors.html to arrive no later than February 15, 2008. The length of submissions is limited to 11 pages, including title and abstract (if any), and list of references. Submitted papers must be in PDF format. Submission is via EasyChair, see http://www.easychair.org/DL08/ The workshop proceedings will be made available electronically in the CEUR Workshop Proceedings series, see http://www.CEUR-ws.org/ ---------------------------------------------------------------------- WORKSHOP CHAIRS * Franz Baader, Dresden, Germany (General chair) * Carsten Lutz, Dresden, Germany (PC Chair) ---------------------------------------------------------------------- PROGRAM COMMITTEE * Carlos Areces, Nancy, France * Alessandro Artale, Bozen-Bolzano, Italy * Alex Borgida, Rutgers, USA * Sebastian Brandt, Machester, UK * Diego Calvanese, Bozen-Bolzano, Italy * Giuseppe de Giacomo, Rome, Italy * Volker Haarslev, Montreal, Canada * Ian Horrocks, Oxford, UK * Ulrich Hustadt, Liverpool, UK * Pascal Hitzler, Karlsruhe, Germany * Carsten Lutz, Dresden, Germany (Chair) * Maja Milicic, Dresden, Germany * Boris Motik, Oxford, UK * Ralf Moeller, Hamburg, Germany * Bijan Parsia, Manchester, UK, * Peter Patel-Schneider, Alcatel Lucent, USA * Riccardo Rosati, Rome, Italy * Uli Sattler, Manchester, UK * Umberto Straccia, Pisa, Italy * David Toman, Waterloo, Canada * Frank Wolter, Liverpool, UK * Misha Zakharyaschev, London, UK ---------------------------------------------------------------------- RESOURCES * Information regarding registration, travel information, hotels, etc will be made available on the DL2008 homepage http://dl.kr.org/dl2008/ * Enquiries about the DL2008 workshop can be made by mailing to lutz@tcs.inf.tu-dresden.de * The general Description Logic home page is at http://dl.kr.org/ ----------------------------------------------------------------------
Received on Thursday, 1 November 2007 17:36:35 UTC