Menu:

News:

June 3rd, 2010
Slides of invited speakers posted.

April 21st, 2010
On-line Proceedings Posted.

April 5th, 2010
Full Program Posted.

March 18th, 2010
Student aid applications extended to March 31

Febuary 5th, 2010
Registration and accommodation information available.

January 25, 2010
Deadline extended to Feb. 1st

October 15, 2009
Important Dates have been posted.

September 14, 2009:
DL2010 will be held in Waterloo, Canada!

Invited Speakers' Slides

Roberto Sebastiani
Ian Horrocks
Phokion Kolaitis

DL 2010 Program

Tuesday, May 4th
7:30am to 8:50am Registration and continental breakfast.
8:50am to 9:00amWelcoming introduction.
9:00am to 10:00amInvited talk by Roberto Sebastiani (Trento)
From DL to SMT (and back?)
    Satisfiability Modulo Theory (SMT) is the problem of checking the satisfiability of first-order formulas with respect to some background theories. In recent years, SMT has become increasingly popular due to its success in encoding and solving many real-world problems in important applications domains that include formal verification, scheduling and compiler optimization. To this extent, very-efficient SMT solvers have been developed combining the power of SAT solvers with the expressiveness of dedicated decision procedures for several theories of practical interest (including, e.g., the theory linear arithmetic, of arrays, and of bit-vectors). In this talk I will survey my many-year experience in SMT, which initially largely benefitted from ideas coming from my previous work on satisfiability in ALC. I will highlight techniques and ideas which may be of interest to the DL community and hint at some ongoing work in which DL reasoning largely benefits from SAT and SMT techniques.
10:00am to 10:30amRefreshment break.
10:30am to 12:00pmPaper session 1:Theory (3 papers; 2 posters)
Arne Meier and Thomas Schneider.
The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
Sebastian Wandelt and Ralf Moeller.
Distributed Island-based Query Answering for Expressive Ontologies
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini and Azzurra Ragone.
Second-Order Description Logics: Semantics, Motivation, and a Calculus
Tarek Richard Besold and Bernhard Schiemann.
[Poster] A Multi-Context System Computing Modalities
Prakash Panangaden, Caitlin Phillips, Doina Precup and Mehrnoosh Sadrzadeh.
[Poster] An Algebraic Approach to Dynamic Epistemic Logic
12:00pm to 2:00pmLunch.
2:00pm to 3:30pmPaper session 2:Extensions (3 papers; 2 posters)
Norihiro Kamide.
Paraconsistent Description Logics Revisited
Martin Knechtel and Rafael Peñaloza.
Correcting Access Restrictions to a Consequence
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev.
Temporal Conceptual Modelling with DL-Lite
Norihiro Kamide.
[Poster] A Compatible Approach to Temporal Description Logics
Thomas Hubauer, Steffen Lamparter and Michael Pirker.
[Poster] Automata-Based Abduction for Tractable Diagnosis
3:30pm to 4:00pmRefreshment break.
4:00pm to 5:30pmPaper session 3: Ontology (3 papers; 1 poster)
C. Maria Keet.
On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
Martin Homola and Luciano Serafini.
Towards Formal Comparison of Ontology Linking, Mapping and Importing
Lina Lubyte and Sergio Tessaris.
Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel and Abraham Bernstein.
[Poster] Structure Preserving TBox Repair using Defaults
5:30pm to ???Reception.

Wednesday, May 5th
8:00am to 9:00amContinental breakfast.
9:00am to 10:00amInvited talk by Ian Horrocks (Oxford)
Searching for the Holy Grail
     In this talk I will review my personal odyssey from Grail to the Semantic Web and back again: a fifteen-year (and counting) mission to explore strange new worlds; to seek out new logics and new applications; to boldly go where no description logician has gone before. I will try to identify important lessons that I have learned along the way about the theory and practice of logic based knowledge representation (and I will try to avoid further mixing of metaphors), but like any "road movie", the journey should be at least as important as the destination.
10:00am to 10:30amRefreshment break.
10:30am to 12:00pmPaper session 4:Reasoning (3 papers; 2 posters)
Birte Glimm, Ian Horrocks and Boris Motik.
Optimized DL Reasoning via Core Blocking
Jocelyne Faddoul and Volker Haarslev.
Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
Nikolaos Simou, Theofilos Mailis, Giorgos Stoilos and Giorgos Stamou.
Optimization Techniques for Fuzzy Description Logics
Quentin Reul and Jeff Z. Pan.
[Poster] KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Chan Le Duc and Myriam Lamolle.
[Poster] Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
12:00pm to 2:00pmLunch.
2:00pm to 3:30pmPaper session 5:EL (3 papers; 2 posters)
Carsten Lutz, Robert Piro and Frank Wolter.
EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
Despoina Magka, Yevgeny Kazakov and Ian Horrocks.
Tractable Extensions of the Description Logic EL with Numerical Datatypes
Anni-Yasmin Turhan and Rafael Peñaloza.
Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes
Shasha Feng, Yonggang zhang, Dantong Ouyang and Jie Liu.
[Poster] The Logical Difference For Fuzzy EL+ Ontologies
Raghava Mutharaju, Frederick Maier and Pascal Hitzler.
[Poster] A MapReduce Algorithm for EL+
3:30pm to 4:00pmRefreshment break.
4:00pm to 5:30pmPaper session 6:Systems (3 papers; 2 posters)
Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi and Gabriele Stella.
Mastro at Work: Experiences on Ontology-Based Data Access
Markus Krötzsch, Anees Mehdi and Sebastian Rudolph.
Orel: Database-Driven Reasoning for OWL 2 Profiles
Mina Aslani and Volker Haarslev.
TBox Classification in Parallel: Design and First Evaluation
Paula Severi, Jose Fiadeiro and David Ekserdjian.
[Poster] Guiding Reification in OWL through Aggregation
Yuan Ren, Kees van Deemter and Jeff Z. Pan.
[Poster] Generating Referring Expressions with OWL2

Thursday, May 6th
8:00am to 9:00amContinental breakfast.
9:00am to 10:00amInvited talk by Phokion Kolaitis (UC Santa Cruz and IBM Research - Almaden)
Composing and Inverting Schema Mappings
    Schema mappings are high-level specifications that describe the relationship between two database schemas. Schema mappings constitute the essential building blocks in formalizing the main data inter-operability tasks, including data exchange and data integration. Several different operators on schema mappings have been introduced and studied in considerable depth. Among these, the composition operator and the inverse operator are the most fundamental and prominent ones. The aim of this talk is to present an overview of results about two these operators, and to illustrate their applications to schema evolution.
10:00am to 10:30amRefreshment break.
10:30am to 12:00pmPaper session 7:Querying (3 papers; 2 posters)
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz and Mantas Simkus.
Query Answering in the Description Logic S
Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu.
Query Algebra and Query Optimization for Concept Assertion Retrieval
Inanc Seylan, Enrico Franconi and Jos de Bruijn.
Optimal Rewritings in Definitorially Complete Description Logics
henson graves.
[Poster] Logic for Modeling Product Structure
Yue Ma and Pascal Hitzler.
[Poster] Distance-based Measures of Inconsistency and Incoherency for Description Logics
12:00pm to 1:30pmLunch.
1:30pm to 3:00pmPaper session 8:DL-Lite (3 papers)
Rafael Peñaloza and Barış Sertkaya.
Complexity of Axiom Pinpointing in the DL-Lite Family
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov and Werner Nutt.
Updating TBoxes in DL-Lite
Elena Botoeva, Alessandro Artale and Diego Calvanese.
Query Rewriting in DL-Lite_^(HN)_horn
3:00pm to 6:00pmRefreshment break, posters and demos.
7:00pm to ???Banquet.

Friday, May 7th
8:00am to 9:00amContinental breakfast.
9:00am to 9:50amPaper session 9:OWL (2 papers).
Jiao Tao, Evren Sirin, Jie Bao and Deborah McGuinness.
Extending OWL with Integrity Constraints
Yuan Ren, Jeff Z. Pan and Yuting Zhao.
Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
9:50am to 10:20amRefreshment break.
10:20am to 11:35amPaper session 10:Modules (3 papers)
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler and Thomas Schneider.
The modular structure of an ontology: an empirical study
Matthew Horridge, Bijan Parsia and Ulrike Sattler.
Justification Masking in OWL
Alessandro Artale, Diego Calvanese and Yazmin Angelica Ibanez-Garcia.
Checking Full Satisfiability of Conceptual Models
11:35am to 12:00pmBusiness meeting.
12:00pm to 1:30pmLunch.