Venue

DL 2013 will be held at the University of Ulm in Building N27, Multimediaroom 2.059.

The building N27 is part of the Initiates file downloadCampus East (Campus Universität Ulm Ost). The buildings are built in a pattern, where rows are assigned a character (e.g., row N) and columns are assigned a number (e.g., 27). The most convenient bus stop is "Botanischer Garten" (Botanical Garden), which is served frequently by bus lines 3 and 5 (slower than line 3) from the city center. You can also download a general Initiates file downloadcampus map.

The easierst way up to the University is to take a bus line 3 heading for "Wissenschaftsstadt" or "Universität", get out at the bus stop "Botanischer Garten", cross the street, walk downhill, take the last path to your right before the curve, walk straight ahead and turn right at the first opportunity, this is the building N27.

If you get out one bus stop sooner, at "Uni Süd", you need to walk that small path towards O27.
If you get out of a line 5, just follow the street the bus is going, walk around the bend and turn the first path left, then you already see building N27.
If you get out of line 6, do not walk up the stairs outside, but walk towards the nearest bus stop and keep walking straight ahead. Pass by building O27, walk around the bend, turn first path left, then you already see building N27.

Map of the campus east with building N27 highlighted

Free Bus Ticket for DL Participants (Kongress-Ticket)

Your DL workshop tickets includes a Kongress-Ticket, which will allow you to move freely in the Ulm/Neu-Ulm area with any bus or tram, as many times as you like. It's valid from Tuesday to Friday. Either you pick it up during the ORE workshop on Monday (ORE participants can buy two single tickets for 2 Euros each or a single day ticket for 4.60 Euros) or you buy a single ticket for 2 Euros to get up to the University on Tuesday, where you'll get the Kongress-Ticket with your registration.

Those of you coming by car, please use the "Parkhaus Mitte", as it is open to the public (5 EUR per day). Other parking is short-term only or reserved for university members. 

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