News

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 windowCEUR-WS.org 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:

 

Accommodation

Most hotels are located in the city center, but there are frequent bus connections to the university (every 5 to 10 minutes). 

Please find a map of the hotels at the bottom of the page.

IQ-Hotel Ulm

Lise-Meitner-Str. 26, 89081 Ulm
Tel: +49 (0)731-509705-0
Fax: +49 (0)731–509705-20
Opens window for sending emailRezeption-ulm(at)iq-hotels.de
Opens external link in new windowHomepage

The hotel is close to the campus (i.e., away from the city center), but still quite some walk to the venue. A single room is about 65€ per night with breakfast. The reception desk is open 24 hrs and they speak English. Until 10pm the hotel offers free hot drinks (e.g. tea), water, fruits and fruit juice.
If you book there, please tell them you attend the DL-Workshop. If you arrive later than 8 pm for check-in, please tell them. They have reserved 6 single rooms for participants who book until July 8. Afterwards the not-booked rooms are up for sale again.

Hotel IBIS Ulm

Neutorstr. 12, 89073 Ulm (next to the theater)
Tel: +49 (0)731-96470
Fax: +49 (0)731-9647123
Opens window for sending emailh0800(at)accor.com
Opens external link in new windowHomepage

A single room is about 75 € per night with breakfast. If you book this, tell them you attend the DL Workshop. They have reserved 10 rooms from July 21-26 (for those who additionally want to attend the OWL Workshop on Monday) and another 10 rooms for July 22-26, if you book until July 1st. Afterwards the not-booked rooms are up for sale again.

Ibis budget Ulm City

Neutorstrasse 16, 89073 Ulm
parking garage: Bessererstraße, Ulm
Tel.: +49 (0)731-17662720
Fax: +49(0)731-17662725
Opens external link in new windowHomepage
GPS-coordinates: N 48° 24' 6.74'' E 9° 59' 12.64''

Single rooms are around 60€ per night. Located next to the theater, bus line 3 is directly in front of the hotel and gets you up to the University in about 10 minutes. Free WLAN. If you book there, please tell them you attend the DL-Workshop.

 

Hotel Goldenes Rad

Neue Straße 65, 89073 Ulm
Tel.: +49 (0)731-800184
Fax: +49 (0)731-8001888
Opens window for sending emailinfo(at)goldenes-rad.com
Opens external link in new windowHomepage

Single rooms are around 80€, double rooms around 107€ per night.
If you book there, please tell them you attend the DL-Workshop.

Münster Hotel

Münsterplatz 14, 89073 Ulm
Tel.: +49 (0)731-64162
Fax: +49 (0)731-1532870
Opens window for sending emailinfo(at)muenster-hotel.de
Opens external link in new windowHomepage

A single room with breakfast is 46€ per night, but only if you book it for the whole week of the DL workshop. No credit cards are accepted, you need to pay cash.
The owner knows a bit of English, but would prefer reservations via email if you do not speak German. The reception desk is open until 10pm. If you book there, please tell them you attend the DL-Workshop. They have reserved 4 rooms from Sunday July 21 to Friday, July 26 (check-out on Friday morning) for participants who book before June 21. Afterwards the not-booked rooms are up for sale again.

Pension Rösch

Schwörhausgasse 18, 89073 Ulm
Tel.: +49 (0)731-65718
Fax: +49 (0)731-6022584
Opens window for sending emailpensionroesch(at)gmx.de
Opens external link in new windowHomepage

Single rooms range from 30€ to 48€ per night, doubles from 60 to 82€ (depending on equipment and furnishing, ask before you book. The cheaper prices are for shared bathrooms/showers. Rooms are clean, but very small. All in all more like a B&B, but very centrally located. If you book there, please tell them you attend the DL-Workshop.

Hotel Garni Lehrer Tal

Lehrertalweg 3, 89075 Ulm
Tel.: +49 (0)731-954000
Opens window for sending emailHotel.garni(at)lehrertal.de
Opens external link in new windowHomepage

Single rooms are about 65€ with breakfast, double rooms about 90€ with breakfast, free WLAN. They speak English, the reception desk opening hours are: Mo-Th: 7am-2pm, 4pm-9pm; Fr 7am-2pm, 4pm-8pm, Sa 7am-12pm, 5pm-8pm, Su 7am-12pm.
If you book there, please tell them you attend the DL-Workshop.
They have reserved 2 single rooms and 2 double rooms for participants who book before June 21. Afterwards the not-booked rooms are up for sale again.

 

Hotel Engel

Loherstraße 35, 89081 Ulm-Lehr
Tel.: +49 (0)731-14040-0
Fax: +49 (0)731-14 040-300
Opens window for sending emailinfo(at)hotel-engel-ulm.de
Opens external link in new windowHomepage

Single rooms are about 62€ per night with breakfast, double rooms about 78€ per night with breakfast. They speak English and their reception desk is open from 6.30am to 11pm. If you book there, please tell them you attend the DL-Workshop.

 

Hotel Blaubeurer Tor (Hotel Fricker)

Blaubeurer Str. 19, 89077 Ulm
Telefon: +49 (0)731-93460
Telefax: +49 (0)731-9346200
Opens window for sending emailinfo(at)hotel-blaubeurertor.de
Opens external link in new windowHomepage

A single room is about 70,00€ per night without breakfast. Breakfast buffet is 10€ extra. If you book there, please tell them you attend the DL-Workshop. They have reserved 15 single rooms for participants if you book until June 24. Afterwards the not-booked rooms are up for sale again. 

 

 

A prerequisite for overnight accomodation in youth hostels (around the world) is membership in the German Youth Hostel Association (DJH). Opens external link in new windowSee here. 

Foreign guests require a membership card from the Youth Hostel Association in their home country in order to be able to spend the night in a German youth hostel. Opens external link in new windowSee here.


Show DL 2013 Hotels on a larger map.

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