Warning: You are not logged in. Your IP address will be recorded in this page's edit history.
Free text:
Arrived this year to its 20th edition, '''DL''' is the major annual event of the [[description logic]]s research community. The workshop is thought as a gathering forum to meet, discuss and exchange experiences among all those, both in the academy and industry, who are interested in description logics and in all their broad range of applications. The 2007 edition of the DL workshop will take place from the 8th to the 10th of June 2007 in Brixen-Bressanone (near [[Bozen-Bolzano]]), [[Italy]]. This is 80 Km south of [[Innsbruck]] (where the [[ESWC2007]] conference will take place immediately before); direct train connections run every hour between Innsbruck and Brixen-Bressanone. The workshop will enjoy the following invited speakers: * [[Hector Levesque]] * [[Alex Borgida]] * [[Renée J. Miller]] In order to celebrate the 20th edition of the Description Logics workshop, a special event is being organised during the workshop. == 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 representation languages, database query 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 == We invite submissions of technical papers as extended abstracts of 8 pages, and submissions of statements of interest of 2 pages. The technical papers will be judged according to their scientific quality, while the statements of interest will be judged according to their scientific relevance. Accepted papers will be included in the workshop proceedings as extended abstract (8 pages), regular papers (12 pages), or as statements of interest (2 pages). The workshop proceedings will be distributed in paper form at the workshop, and will be made available electronically in the CEUR Workshop Proceedings series. Papers should follow the formatting and submission guidelines to be found at the workshop submissions web page, and should arrive by the paper submission deadline stated above. == Program Committee == * Area chairs: ** [[has PC member::Volker Haarslev]] (chair of the Systems and Tools area) ** [[has PC member::Domenico Lembo]] (chair of the Database and Information Systems area) ** [[has PC member::Boris Motik]] (chair of the Ontologies and Semantic Web area) ** [[has PC member::Anni-Yasmin Turhan]] (chair of the Foundations and Theory area) * PC members: ** [[has PC member::Aditya Kalyanpur]] ** [[has PC member::Alessandro Artale]] ** [[has PC member::Alex Borgida]] ** [[has PC member::Andrea Calì]] ** [[has PC member::Bernardo Cuenca Grau]] ** [[has PC member::Bijan Parsia]] ** [[has PC member::Birte Glimm]] ** [[has PC member::Carlos Areces]] ** [[has PC member::Carsten Lutz]] ** [[has PC member::David Toman]] ** [[has PC member::Evren Sirin]] ** [[has PC member::Francesco Donini]] ** [[has PC member::Frank Wolter]] ** [[has PC member::Franz Baader]] ** [[has PC member::Grant Weddell]] ** [[has PC member::Ian Horrocks]] ** [[has PC member::Luciano Serafini]] ** [[has PC member::Luigi Palopoli]] ** [[has PC member::Maarten Marx]] ** [[has PC member::Maurizio Lenzerini]] ** [[has PC member::Michael Zakharyaschev]] ** [[has PC member::Peter F. Patel-Schneider]] ** [[has PC member::Ralf Küsters]] ** [[has PC member::Ralf Möller]] ** [[has PC member::Riccardo Rosati]] ** [[has PC member::Rob Shearer]] ** [[has PC member::Stefan Schlobach]] ** [[has PC member::Thomas Eiter]] ** [[has PC member::Thorsten Liebig]] ** [[has PC member::Ulrike Sattler]] ** [[has PC member::Umberto Straccia]] ** [[has PC member::Yevgeny Kazakov]] * DL-07 Committee ** [[has OC member::Alessandro Artale]] (Free University of Bozen-Bolzano) ** [[has OC member::Raffella Bernardi]] (Free University of Bozen-Bolzano) ** [[has OC member::Andrea Calí]] (Free University of Bozen-Bolzano) ** [[has OC member::Diego Calvanese]] (Free University of Bozen-Bolzano), co-chair ** [[has OC member::Jos de Bruijn]] (Free University of Bozen-Bolzano) ** [[has OC member::Enrico Franconi]] (Free University of Bozen-Bolzano), co-chair ** [[has OC member::Rosella Gennari]] (Free University of Bozen-Bolzano) ** [[has OC member::Davide Martinenghi]] (Free University of Bozen-Bolzano) ** [[has OC member::Werner Nutt]] (Free University of Bozen-Bolzano) ** [[has OC member::Sergio Tessaris]] (Free University of Bozen-Bolzano), co-chair ** [[has OC member::David Toman]] (Free University of Bozen-Bolzano) == Venue == The workshop will take place in the charming town of Brixen-Bressanone, near Bozen-Bolzano in South Tyrol at the heart of the Dolomites - the pink mountains of the Alps. Like Bozen-Bolzano, Brixen-Bressanone has always been a crossroads of various cultures and it is distinguished by its mediaeval Gothic architecture. The mediaeval alleys and the wealth of historical references are an ideal starting point for excursions into the countryside and for practising a whole variety of sports and leisure activities. Leaving directly from the town centre delegates can set off on their bikes or on foot for excursions into the surrounding hills and mountains. Brixen-Bressanone is on the main arterial road between Austria/Germany and Italy and it is easily accessible from everywhere by train, car, bus or plane. [[Category:Workshop]]
Summary:
This is a minor edit Watch this page
Cancel
