以文本方式查看主题

-  中文XML论坛 - 专业的XML技术讨论区  (http://bbs.xml.org.cn/index.asp)
--  『 Semantic Web(语义Web)/描述逻辑/本体 』  (http://bbs.xml.org.cn/list.asp?boardid=2)
----  【CFP】DL 2009 (Description Logics顶级会议)  (http://bbs.xml.org.cn/dispbbs.asp?boardid=2&rootid=&id=73421)


--  作者:windking8888
--  发布时间:3/23/2009 4:38:00 PM

--  【CFP】DL 2009 (Description Logics顶级会议)
22st International Workshop on Description Logics (DL 2009)
                           CALL FOR PAPERS
               Oxford, United Kingdom
                           27-30 July 2009

                      http://dl.kr.org/dl2009/

The DL workshop is the major annual event of the description logic
research community. The workshop is thought as a gathering forum to
meet, discuss and exchange experiences among all those, both in the
academia and industry, who are interested in description logics and
their applications.

----------------------------------------------------------------------

IMPORTANT DATES

Paper submission deadline:  20    April 2009 (strict!)
Notification of acceptance: 01    June  2009
Camera ready papers due:    22    June  2009
DL'07 Workshop:             27-30 July  2008 (3 1/2 days)

----------------------------------------------------------------------

WORKSHOP SCOPE

We invite contributions on all aspects of description logics,
such as

* 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 and nonmonotonic 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; and

* 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 April 20, 2009.

The length of submissions is limited to 11 pages, including title and
abstract (can be omitted if necessary), but excluding references
(i.e., the length of the paper without the references must be at most
11 pages). Papers must be submitted in PDF format via EasyChair; see

 http://www.easychair.org/conferences/?conf=dl2009

The workshop proceedings will be made available electronically in the
CEUR Workshop Proceedings series; see

 http://www.CEUR-ws.org/

Accepted submissions will be selected for either oral or poster
presentation; however, no distinction will be made in the workshop
proceedings: all accepted papers can be 11 pages long.

----------------------------------------------------------------------

INVITED SPEAKERS

* Leonid Libkin, University of Edinburgh, UK

* Kavitha Srinivas, IBM Research, USA

* TDB

----------------------------------------------------------------------

WORKSHOP CHAIRS

* Ian Horrocks, Oxford, UK (Workshop chair)
* Bernardo Cuenca Grau, Oxford, UK (PC Chair)
* Boris Motik, Oxford, UK (PC Chair)

----------------------------------------------------------------------

PROGRAM COMMITTEE

* Achille Fokoue, IBM Research, USA
* Aditya Kalyanpur, IBM Research, USA
* Alex Borgida, Rutgers University, USA
* Anni-Yasmin Turhan, TU Dresden, Germany
* Bijan Parsia, University of Manchester, UK
* Birte Glimm, University of Oxford, UK
* Carlos Areces, LORIA, France
* Carsten Lutz, University of Bremen, Germany
* Diego Calvanese, Free University of Bozen-Bolzano, Italy
* Dirk Walther, University of Liverpool, UK
* Evren Sirin, IBM Research, USA
* Frank Wolter, University of Liverpool, UK
* Giorgos Stamou, National Technical University of Athens, Greece
* Grant Weddell, University of Waterloo, Canada
* Jeff Z. Pan, University of Aberdeen, UK
* Jos de Bruijn, Free University of Bolzano, Italy
* Luciano Serafini, ITC-IRST, Italy
* Magdalena Ortiz, TU Vienna, Austia
* Maja Milicic, TU Dresden, Germany
* Markus Krötzsch, University of Karlsruhe, Germany
* Meghyn Bienvenu, University of Bremen, Germany
* Oliver Kutz, University of Bremen, Germany
* Pascal Hitzler, University of Karlsruhe, Germany
* Peter Patel-Schneider, Bell Labs Research, USA
* Rajeev Gore, Australian National University, Australia
* Ralf Möller, Hamburg University of Technology, germanz
* Riccardo Rosati, Sapienza Universita di Roma, Italy
* Robert Stevens, University of Manchester, UK
* Roman Kontchakov, Birkbeck College, UK
* Sebastian Rudolph, University of Karlsruhe, Germany
* Stefan Schlobach, Vrije Universiteit Amsterdam, The Netherlands
* Stijn Heymans, TU Vienna, Austia
* Thomas Meyer, Meraka Institute, South Africa
* Thomas Schneider, University of Manchester, UK
* Umberto Straccia, ISTI-CNR, Italy
* Viorica Sofronie-Stokkermans, Max-Planck-Institute, Germany
* Volker Haarslev, Concordia University, Canada
* Yevgeny Kazakov, University of Oxford, UK

----------------------------------------------------------------------

RESOURCES

* Information about registration, travel information, accommodation,
  and so on will be made available on the DL 2009 homepage:

  http://dl.kr.org/dl2009/
     
* Enquiries about the DL 2009 workshop can be made by contacting
  the organizing committee:

  dl2009@easychair.org

* The official Description Logic home page is at

  http://dl.kr.org/

----------------------------------------------------------------------



--  作者:Humphrey
--  发布时间:3/24/2009 8:16:00 AM

--  
原以为描述逻辑应该是一个十分成熟的领域,好像不用再讨论什么了似的。没想到还是有年会啊。换句话说就是还有进步的空间?
--  作者:whfcarter
--  发布时间:3/24/2009 10:32:00 AM

--  
DL workshop每年都有,最近比较focus在OWL2中的各种实用DL子集,希望实现大规模推理或更加符合各种应用要求的逻辑扩展。
W 3 C h i n a ( since 2003 ) 旗 下 站 点
苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》
46.875ms