Papers Accepted for Oral Presentation
1 Thomas Lukasiewicz and Azzurra Ragone.
A Combination of Boolean Games with Description Logics for Automated Multi-Attribute Negotiation
2 H閏tor P閞ez-Urbina, Boris Motik and Ian Horrocks.
A Comparison of Query Rewriting Techniques for DL-lite
3 Francesco M Donini, Simona Colucci, Tommaso Di Noia and Eugenio Di Sciascio.
A Tableaux-based Method for Computing Least Common Subsumers for Expressive Description Logics
4 Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
Adding Weight to DL-Lite
5 Yevgeny Kazakov.
An Extension of Regularity Conditions for Complex Role Inclusion Axioms
6 Rafael Pe馻loza and Baris Sertkaya.
Axiom Pinpointing is Hard
7 Ernesto Jimenez-Ruiz, Bernardo Cuenca Grau, Ian Horrocks and Rafael Berlanga.
Building Ontologies Collaboratively Using ContentCVS
8 Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter and Michael Zakharyaschev.
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite
9 Birte Glimm and Sebastian Rudolph.
Conjunctive Query Entailment: Decidable in Spite of O, I, and Q
10 Yevgeny Kazakov.
Consequence-Driven Reasoning for Horn SHIQ Ontologies
11 Alessandro Artale, Diego Calvanese, Roman Kontchakov and Michael Zakharyaschev.
DL-Lite without the Unique Name Assumption
12 Enrico Franconi, Inan?Seylan and Jos de Bruijn.
Effective Query Rewriting with Ontologies over DBoxes (extended abstract)
13 Rob Shearer and Ian Horrocks.
Exploiting Partial Information in Taxonomy Construction
14 Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov and Michael Zakharyaschev.
Extending DL-Lite Sometime in the Future
15 Shoham Ben-David, Jeffrey Pound, Richard Trefler, Dmitry Tsarkov and Grant Weddell.
Fair Cycle Detection using Description Logic Reasoning
16 Boris Konev, Dirk Walther and Frank Wolter.
Forgetting and uniform interpolation in extensions of the description logic EL
17 Bernardo Cuenca Grau and Boris Motik.
Importing Ontologies with Hidden Content
18 Matthew Horridge, Bijan Parsia and Ulrike Sattler.
Lemmas for Justifications in OWL
19 Arina Britz, Johannes Heidema and Tommie Meyer.
Modelling object typicality in Description Logics
20 Pavel Klinov, Bijan Parsia and Ulrike Sattler.
On Correspondences between Probabilistic First-Order and Description Logics
21 Giuseppe De Giacomo, Maurizio Lenzerini and Riccardo Rosati.
On Higher-Order Description Logics
22 Nasim Farsiniamarj and Volker Haarslev.
Optimizing Reasoning with Qualified Number Restrictions in SHQ
23 Franz Baader, Meghyn Bienvenu, Carsten Lutz and Frank Wolter.
Query Answering over DL ABoxes: How to Pick the Relevant Symbols
24 Laura Giordano, Valentina Gliozzi, Nicola Olivetti and Gian Luca Pozzato.
Reasoning About Typicality in ALC and EL
25 Szymon Klarman and Stefan Schlobach.
Relativizing Concept Descriptions to Comparison Classes
26 Zhe Wang, Kewen Wang and Rodney Topor.
Revision of DL-Lite Knowledge Bases
27 Mark Kaminski and Gert Smolka.
Terminating Tableaux for SOQ with Number Restrictions on Transitive Roles
28 Umberto Straccia, Eufemia Tinelli, Tommaso Di Noia, Eugenio Di Sciascio and Simona Colucci.
Top-k Retrieval for Automated Human Resource Management
29 Andrea Cali, Georg Gottlob and Thomas Lukasiewicz.
Tractable Query Answering over Ontologies with Datalog+/-
30 Franz Baader and Barbara Morawska.
Unification in the Description Logic EL
31 Rui Zhang, Alessandro Artale, Fausto Giunchiglia and Bruno Crispo.
Using Description Logics in Relation Based Access Control
32 Yuan Ren, Gerd Gr鰊er, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan and Steffen Staab.
Validating Process Refinement with Ontologies
33 Michael Wessel, Marko Luther and Ralf M鰈ler.
What Happened to Bob? Semantic Data Mining of Context Histories
34 Ulrike Sattler, Thomas Schneider and Michael Zakharyaschev.
Which Kind of Module Should I Extract?

Papers Accepted for Poster Presentation

1 Guilin Qi, Qiu Ji and Peter Haase.
A Conflict-based Operator for Mapping Revision
2 Limin Chen and Zhongzhi Shi.
A Dynamic Description Logic with an Epistemic Operator for Local Closed World Reasoning
3 Giorgos Stoilos and Giorgos Stamou.
A Framework for Reasoning with Expressive Continuous Fuzzy Description Logics
4 Markus Kr鰐zsch and Sebastian Rudolph.
A Matter of Principles: Towards the Largest DLP Possible
5 Zsolt Zombori and Gergely Lukacsy.
A Resolution Based Description Logic Calculus
6 Krzysztof Goczyla, Wojciech Waloszek and Aleksander Waloszek.
A Semantic Algebra for Modularized Description Logics Knowledge Bases
7 Tommaso Di Noia, Eugenio Di Sciascio and Francesco M Donini.
A Tableaux-based calculus for Abduction in Expressive Description Logics: Preliminary Results
8 Jocelyne Faddoul, Volker Haarslev and Ralf Moeller.
Algebraic Tableau Algorithm for ALCOQ
9 Xiaowang Zhang, Zhihu Zhang and Zuoquan Lin.
An Argumentative Semantics for Paraconsistent Reasoning in Description Logic ALC
10 Espen H. Lian and Arild Waaler.
An Only Knowing Approach to Defeasible Description Logics (extended abstract)
11 ZhiQiang Zhuang and Maurice Pagnucco.
Belief Contractio in the Description Logic EL
12 Veronika Vanekova and Peter Vojtas.
Comparison of Scoring and Order Approach in Description Logic EL(D)
13 Jeff Z. Pan, Edward Thomas and Yuting Zhao.
Completeness Guaranteed Approximations for OWL-DL Query Answering
14 Jeffrey Pound, David Toman, Grant Weddell and Jiewen Wu.
Concept Projection in Algebras for Computing Certain Answer Descriptions
15 Johannes Bauer, Ulrike Sattler and Bijan Parsia.
Explaining by Example: Model Exploration for Ontology Comprehension
16 Michael Mendler and Stephan Scheele.
Exponential Speedup in UL Subsumption Checking relative to general TBoxes for the Constructive Semantics
17 Marco Ruzzi, Domenico Fabio Savo and Claudio Corona.
Filling the gap between OWL 2 QL and QuOnto: ROWLKit
18 Sofia Espinosa, Atila Kaya and Ralf Moeller.
Formalizing Multimedia Interpretation based on Abduction over Description Logic Aboxes
19 Oliver Gries.
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
20 Felix Distel.
Model-Based Most Specific Concepts in Some Inexpressive Description Logics
21 Umberto Straccia.
Multi Criteria Decision Making in Fuzzy Description Logics: A First Step
22 Baris Sertkaya.
OntoComP System Description
23 Xiaowang Zhang, Guilin Qi, Yue Ma and Zuoquan Lin.
Quasi-Classical Semantics for Expressive Description Logics
24 Rafael Pe馻loza.
Reasoning With Weighted Ontologies
25 Julian Mendez and Boontawee Suntisrivaraporn.
Reintroducing CEL as an OWL 2 EL Reasoner
26 Yuan Ren, Jeff Z. Pan and Yuting Zhao.
Soundness Preserving Approximation for TBox Reasoning in R
27 Carlos Areces, Daniel Gorin, Alejandra Lorenzo and Mariano P閞ez Rodr韌uez.
Testing Provers on a Grid -- Framework Description
28 Umberto Straccia.
Towards a Spatial Fuzzy Description Logics

计算机出版形式也有对应的几种形式：regular paper (full paper), short paper, abstract等。