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:




Universität Ulm
89069 Ulm
Telephone +49 (0)731/501-0
Telefax +49 (0)731/50-22038
Sales tax identification number DE173703203


The University of Ulm is a corporation under public law. It is represented legally by the President Professor Dr. Karl Joachim Ebeling or by the Chancellor Dieter Kaufmann.

Address of the President

Universität Ulm
Opens window for sending emailPräsident Prof. Dr. Karl Joachim Ebeling
Helmholtzstr. 16
89081 Ulm, Germany

Address of the chancellor

Universität Ulm
Opens window for sending emailKanzler Dieter Kaufmann
Helmholtzstr. 16
89081 Ulm, Germany


Responsible for contents of the internet pages of the International Workshop on Description Logics 2013:

Opens window for sending emailJuniorprof. Dr. Birte Glimm

Opens window for sending emailDr. Yevgeny Kazakov

Universität Ulm
Institut für Künstliche Intelligenz
89069 Ulm

Telephone +49 731 50 24125
Telefax +49 731 50 24119

Responsibility for the contents of internet pages, which belong to a particular facility or institute within the Universität Ulm, is solely with these institutes.

Supervising authority

Ministerium für Wissenschaft, Forschung und Kunst Baden-Württemberg
Königstraße 46
70173 Stuttgart


© Institute of Artificial Intelligence of the Universität Ulm

All information published on this website (layout, texts, pictures, tables, graphics, etc.) are protected by copyright. Any use of this information not allowed by copyright laws requires the prior explicit approval of the Institute of Artificial Intelligence of the Universität Ulm. This applies especially for the distribution, alteration, translation, copying, processing or reproduction of information on database or other electronic media and systems.

The photocopying and downloading of web pages for private, scientific, non-commercial use is acceptable.

The Institute of Artificial Intelligence of the Universität Ulm expressly allows and encourages the citation of its documents and web pages and the creation of links to its website.

The Institute of Artificial Intelligence of the Universität Ulm makes every effort to observe all copyright laws to which the illustrations, sound files, video sequences, and texts of its own creation, or to use illustrations, sound files, video sequences, and texts from the public domain.

All registered trademarks and brand names on this website are subject without restrictions to any regulations pertaining to the registration and property rights of their respectice owners. One should not assume that trademarks are nor protected by the rights of third parties on the basis of the simple fact that they are named on this website!

Disclaimer for own contents

Contents under "" have been researched and implemented with a high degree of care. However, the possibility of errors in the processing and implementation cannot be fully excluded. Please send any remarks or corrections to Opens window for sending emailJuniorprof. Dr. Birte Glimm.

Despite our care in designing this website, we can assume liability neither for its correctness and completeness, nor for information on it that is not current. More specifically, the Institute of Artificial Intelligence of the Universität Ulm assumes no liability for damages or other consequences directly or indirectly resulting from the use of content on this website.

Disclaimer for cross-references and links

In accordance with common law, the Institute of Artificial Intelligence of the Universität Ulm is responsible for own contents. Such contents do not include cross-references to contents from other websites. These foreign contents neither originate from the Institute of Artificial Intelligence of the Universität Ulm, nor does the Institute of Artificial Intelligence of the Universität Ulm possess any influence over the content of such third party sites.

The contents of foreign sites with which the Institute of Artificial Intelligence of the Universität Ulm is associated by links do not reflect the opinion of the Institute of Artificial Intelligence of the Universität Ulm, serving merely as a source of further information and the description of connections.

These remarks hold for all links and references on this website as well as for entries in guest books set up by the Institute of Artificial Intelligence of the Universität Ulm, discussion forums, and mailing lists. Legally responsible for illegal, incorrect, or incomplete contents or especially for damages incurred as a result of the use of such information is solely the owner of the page the reference refers to.

Links and cross-references to other websites are marked by this symbol:

Conception, realization and organization

Institute of Artificial Intelligence of the Universität Ulm

Privacy Policy

Every time you access a web page of the University of Ulm and with every file you retrieve, the following data is registered for statistical and troubleshooting purposes:

  • date and time
  • IP-address of the calling program
  • our web server address
  • retrieved file (access address)
  • http status code
  • size of data transmitted (in bytes)
  • "referer" address, if available
  • browser type, if available

IP-addresses are made anonymous every night; merely the last two domain parts remain unchanged. Personally identifiable user images cannot be formed by these IP-addresses. Anonymous made IP-addresses and all other data are analyzed statistically once a month and deleted after 35 days.

Some of the internet pages of the University of Ulm use JavaScript functions for a more attractive presentation of the information and for different navigation helps. However, all relevant information may also be accessed without JavaScript.

Most internet pages of the University of Ulm can be used without cookies being set. Only at some few pages session cookies are generated for the identifying the browser meeting. These are deleted after the end of the browser meeting. There will be no analysis of these cookies, nor can personally identifiable information be concluded.

In case you communicate via e-mail with the University of Ulm, the university will use any information that personally identifies you exclusively for the intended purpose.

The University of Ulm does not take on responsibility for the contents or for the privacy policy of external resources.


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