[DL] DL-06 Call for Participation

David Toman david at cs.uwaterloo.ca
Tue May 9 22:55:46 CEST 2006


      2006 International Workshop on Description Logics (DL'06)

                          Lake District, UK
                         May 30-June 1, 2006

              homepage: http://www.mindswap.org/2006/dl/

                       Call for Participation

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.

**********************************************************************
The deadline for early registration is May 15th which is quite soon.
Please visit http://www.mindswap.org/2006/dl/ for details.
**********************************************************************

TOPICS:

-- 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.

-- 
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 at uwaterloo.ca
Waterloo, Ontario, Canada N2L 3G1     http://db.uwaterloo.ca/~david




More information about the dl mailing list