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!

Links:

- dl.kr.org
- U of Waterloo
- Fields Institute
- KR 2010

Description Logics 2010 Proceedings

Complete Proceedings

Paper Presentations

Temporal Conceptual Modelling with DL-Lite
Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev.

Mastro at Work: Experiences on Ontology-Based Data Access
Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi and Gabriele Stella.

Justification Masking in OWL
Matthew Horridge, Bijan Parsia and Ulrike Sattler.

EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers
Carsten Lutz, Robert Piro and Frank Wolter.

Checking Full Satisfiability of Conceptual Models
Alessandro Artale, Diego Calvanese and Yazmin Angelica Ibanez-Garcia.

Second-Order Description Logics: Semantics, Motivation, and a Calculus
Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M Donini and Azzurra Ragone.

Tractable Extensions of the Description Logic EL with Numerical Datatypes
Despoina Magka, Yevgeny Kazakov and Ian Horrocks.

Supporting the Development of Data Wrapping Ontologies (Extended Abstract)
Lina Lubyte and Sergio Tessaris.

Updating TBoxes in DL-Lite
Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov and Werner Nutt.

Orel: Database-Driven Reasoning for OWL 2 Profiles
Markus Krotzsch, Anees Mehdi and Sebastian Rudolph.

Optimal Rewritings in Definitorially Complete Description Logics
Inanc Seylan, Enrico Franconi and Jos de Bruijn.

Extending OWL with Integrity Constraints
Jiao Tao, Evren Sirin, Jie Bao and Deborah McGuinness.

Query Answering in the Description Logic S
Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz and Mantas Simkus.

Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results
Jocelyne Faddoul and Volker Haarslev.

Complexity of Axiom Pinpointing in the DL-Lite Family
Rafael Penaloza and Baris Sertkaya.

Distributed Island-based Query Answering for Expressive Ontologies
Sebastian Wandelt and Ralf Moeller.

Paraconsistent Description Logics Revisited
Norihiro Kamide.

Optimized DL Reasoning via Core Blocking
Birte Glimm, Ian Horrocks and Boris Motik.

Correcting Access Restrictions to a Consequence
Martin Knechtel and Rafael Penaloza.

The modular structure of an ontology: an empirical study
Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler and Thomas Schneider.

Optimization Techniques for Fuzzy Description Logics
Nikolaos Simou, Theofilos Mailis, Giorgos Stoilos and Giorgos Stamou.

Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes
Anni-Yasmin Turhan and Rafael Penaloza.

Query Rewriting in DL-Lite_^(HN)_horn
Elena Botoeva, Alessandro Artale and Diego Calvanese.

The Complexity of Satisfiability for Sub-Boolean Fragments of ALC
Arne Meier and Thomas Schneider.

Towards Formal Comparison of Ontology Linking, Mapping and Importing
Martin Homola and Luciano Serafini.

Query Algebra and Query Optimization for Concept Assertion Retrieval
Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu.

On the feasibility of Description Logic knowledge bases with rough concepts and vague instances
C. Maria Keet.

Towards Soundness Preserving Approximation for ABox Reasoning of OWL2
Yuan Ren, Jeff Z. Pan and Yuting Zhao.

TBox Classification in Parallel: Design and First Evaluation
Mina Aslani and Volker Haarslev.


Posters

The Logical Difference For Fuzzy EL+ Ontologies
Shasha Feng, Yonggang zhang, Dantong Ouyang, Haiyan Che and Jie Liu.

Automata-Based Abduction for Tractable Diagnosis
Thomas Hubauer, Steffen Lamparter and Michael Pirker.

Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms
Chan Le Duc and Myriam Lamolle.

Structure Preserving TBox Repair using Defaults
Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel and Abraham Bernstein.

A Compatible Approach to Temporal Description Logics
Norihiro Kamide.

Guiding Reification in OWL through Aggregation
Paula Severi, Jose Fiadeiro and David Ekserdjian.

Generating Referring Expressions with OWL2
Yuan Ren, Kees van Deemter and Jeff Z. Pan.

A Multi-Context System Computing Modalities
Tarek Richard Besold and Bernhard Schiemann.

An Algebraic Approach to Dynamic Epistemic Logic
Prakash Panangaden, Caitlin Phillips, Doina Precup and Mehrnoosh Sadrzadeh.

A MapReduce Algorithm for EL+
Raghava Mutharaju, Frederick Maier and Pascal Hitzler.

Distance-based Measures of Inconsistency and Incoherency for Description Logics
Yue Ma and Pascal Hitzler.

Logic for Modeling Product Structure
Henson Graves.

KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies
Quentin Reul and Jeff Z. Pan.