The DL workshop is the major annual event of the description logic research community. It is the forum at which those interested in description logics, both from academia and industry, meet to discuss ideas, share information and compare experiences.
DL 2012 will take place in Rome, Italy, from June 7 to June
10, 2012.
DL 2012 will be co-located with KR 2012,
NMR 2012,
AI*IA 2012,
CILC
2012,
KiBP 2012
On Saturday, June 9, DL 2012 will share a joint session with NMR 2012.
JAIR special track for the DL workshop silver anniversary
This year marks the 25th edition of the International Workshop of Description Logics. To commemorate this anniversary, the Journal of Artificial Intelligence Research invites submissions to a special track on Description Logics.The call for papers is available at http://www.jair.org/specialtrack-dl.html
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.