The ORE Winners of this year's live competition were: 
OWL DL Classification: WSClassifier, OWL EL Classification: ELK.
For the offline competition:
OWL DL Classification: HermiT, OWL DL Consistency: Konclude, OWL DL Satisfiability: Konclude;
OWL EL Classification: ELK, OWL EL Consistency: ELK, OWL EL Satisfiability:Chainsaw;
OWL RL Classification: TReasoner, OWL RL Consistency: Konclude, OWL RL Satisfiability: MORe. MORe also won the Best Newcomer Award. 
Full details are available from the Opens external link in new windowORE website.

This year, the Opens internal link in current windowDistinguished Student Paper Award goes to the paper "Temporal Query Answering in DL-Lite" by Stefan Borgwardt, Marcel Lippmann and Veronika Thost.

Opens internal link in current windowThe informal proceedings of the workshop are now available from Opens external link in new and as a Initiates file downloadzipped file for offline reading. 

Opens internal link in current windowThe Initiates file downloadprogram for DL 2013 is now available. The Initiates file downloadprint template also includes some information about the venue, guided tour and the social dinner. 

Opens internal link in current windowStudent grants have been announced. 

Opens internal link in current windowRegistration is now open!

Abstract and paper submission deadlines have been extended by one week!

As in previous years, the DL Workshop will consider to select one or more Distinguished Student Papers among the accepted submissions that are authored without the direct participation of senior researchers. [Opens internal link in current windowmore]

Opens external link in new windowMichel DumontierOpens external link in new windowGiuseppe De Giacomo, and Opens external link in new windowIan Pratt-Hartmann will give invited talks at DL 2013. 

The second Opens external link in new windowOWL Reasoner Evaluation Workshop (ORE) will take place July 22nd in Ulm, Germany.

Opens external link in new windowRR 2013 will take place in Mannheim, which is 1:40 min by train from Ulm, directly subsequent to the DL workshop (July 27th - 29th)! Followed by the Opens external link in new window9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim. 

DL 2013 will take place from July 23rd to 26th in Ulm, Germany.

We thank our sponsors:


Call for Papers

26th International Workshop on Description Logics (DL 2013)
Ulm, Germany, July 23--26, 2013
Co-located with ORE 2013; followed by RR 2013, Reasoning Web 2013
Opens internal link in current window

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.

The workshop will be held at the University of Ulm, Campus East, from July 23rd to July 26th, 2013.

In this year, DL workshop will be collocated with the Opens external link in new window2nd OWL Reasoner Evaluation Workshop (ORE), which will take place on July 22nd in Ulm, Germany. Furthermore, theOpens external link in new window International Conference on Web Reasoning and Rule Systems (RR), will take place in Mannheim (1:40 min by train from Ulm) directly subsequent to the DL workshop (July 27th - 29th), and the Opens external link in new window9th Reasoning Web Summer School (July 30th - Aug 2nd) also in Mannheim.

Important Dates

Abstract submission deadline:April 5th, 2013 April 12th, 2013
Paper submission deadline:April 12th, 2013 April 19th, 2013
Acceptance notification:May 27th, 2013
Camera ready copies:June 9th, 2013 June 17th, 2013
Early registration:June 24th, 2013
Workshop:July 23rd to 26th, 2013

Workshop Scope

We invite contributions on all aspects of description logics, including but not limited to:

  • Foundations of description logics: decidability and complexity of reasoning, expressive power, novel inference problems, inconsistency tolerance, reasoning techniques, and modularity aspects
  • Extensions of description logics: closed-world and nonmonotonic reasoning, defaults, epistemic reasoning, temporal and spatial reasoning, procedural knowledge, query languages
  • Integration of description logics with other formalisms: object-oriented representation languages, database query languages, constraint-based programming, logic programming, and rule-based systems
  • Applications and use areas of description logics: ontology engineering, ontology languages, databases, ontology-based data access, semi-structured data, document management, natural language, learning, planning, Semantic Web, and cloud computing
  • Systems and tools around description logics: reasoners, software tools for and using description logic reasoning (e.g. ontology editors, database schema design, query optimization, and dataintegration tools), implementation and optimization techniques, benchmarking, evaluation, modeling

Invited Speakers


  • Submissions are limited to 11 pages, excluding references, and  should follow the Opens external link in new windowSpringer LNCS style guide.
  • There is no page limit on the list of references.
  • A clearly marked appendix with additional proofs or evaluation data  can be appended; it will be read at the discretion of the reviewers.
  • Submission page: Opens external link in new window
  • Accepted papers will be made available electronically in the  Opens external link in new windowCEUR Workshop Proceedings series.
  • Accepted submissions will be selected for either oral or poster  presentation, which will be clearly distinguished in the proceedings;  however, the length of all accepted papers can be the same.


  • Thomas Eiter, Vienna University of Technology (Program co-Chair)
  • Markus Kroetzsch, University of Oxford, U.K. (Program co-Chair)
  • Birte Glimm, University of Ulm, Germany (Workshop co-Chair)
  • Yevgeny Kazakov, University of Ulm, Germany (Workshop co-Chair)


  • Information about submission, registration, travel information, etc., is available on the DL 2013 homepage: Opens internal link in current window
  • Enquiries about the DL 2013 workshop can be made by contacting the organizing committee
  • The official Description Logic home page is at Opens external link in new window

Session Recordings

Veranstaltungen der Universitaet Ulm
Veranstaltungen der Universitaet Ulm - Alle Rechte vorbehalten
Materialization Calculus for Contexts in the Semantic Web
24/07 - 2013
Computing Solutions in OWL 2 QL Knowledge Exchange
26/07 - 2013
Towards Typed Higher-Order Description Logics
26/07 - 2013
Using the TBox to Optimise SPARQL Queries
23/07 - 2013
Complexity of Answering Counting Aggregate Queries over DL-Lite
23/07 - 2013
Tractability Guarantees for DL-Lite Query Answering
23/07 - 2013
Action, Processes and Ontologies (Keynote)
23/07 - 2013
Empirical Study of Logic-based Modules: Cheap is Cheerful
23/07 - 2013
Incremental Reasoning in EL+ without Bookkeeping
23/07 - 2013
Optimising Resolution-Based Rewriting Algorithms for DL Ontologies
23/07 - 2013
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness
23/07 - 2013
Sufficient Conditions for First-Order and Datalog Rewritability in ELU
23/07 - 2013
Hybrid Unification in the Description Logic EL
23/07 - 2013
Axiomatizing Confident EL_gfp-General Concept Inclusions in the Presence of...
24/07 - 2013
A Hybrid Approach for Learning Concept Definitions from Text
24/07 - 2013
Absorption for ABoxes with Local Universal Restrictions
24/07 - 2013
Exact Learning of TBoxes in DL-Lite and EL
24/07 - 2013
Query Answering via Modal Definability with FaCT++: First Blood (only second...
23/07 - 2013
Query Rewriting over Shallow Ontologies
23/07 - 2013
Evaluating Mapping Repair Systems with Large Biomedical Ontologies
24/07 - 2013
Temporal Query Answering in DL-Lite
24/07 - 2013
Extending Absorption to Nominal Schemas
24/07 - 2013
Temporalising OWL 2 QL
24/07 - 2013
Evolving Graph Databases under Description Logic Constraints
24/07 - 2013
The Empirical Robustness of Description Logic Classification
24/07 - 2013
Computing the lcs w.r.t. General EL+-TBoxes
26/07 - 2013
Rough EL Completion
25/07 - 2013
Finite Model Reasoning in Horn-SHIQ
25/07 - 2013
Ontology-Based Access to Probabilistic Data
25/07 - 2013
Nonmonotonic Existential Rules for Non-Tree-Shaped Ontological Modelling
25/07 - 2013
Towards Practical Uniform Interpolation and Forgetting for ALC TBoxes
26/07 - 2013
Efficient approximation in DL-Lite of OWL 2 ontologies
26/07 - 2013
Minimal Model Semantics and Rational Closure in Description Logics
25/07 - 2013
Preferential Role Restrictions for ALC
25/07 - 2013
Well-Founded Semantics for Extended Datalog and Ontological Reasoning
25/07 - 2013
Transitivity and Equivalence in Decidable Fragments of First-Order Logic
25/07 - 2013
Drugs, Genetics and Phenotypes: an Admission of Formal Semantics in Biomedical...
24/07 - 2013
Conjunctive Query Inseparability in OWL 2 QL is ExpTime-hard
26/07 - 2013
More is Sometimes Less: Succinctness in EL
26/07 - 2013