<html>
<head>
<link rel="stylesheet" type="text/css" href="../ceur-ws.css">
<title>CEUR-WS.org/Vol-XXX - International Workshop on Description Logics 2012</title>
</head>

<!--CEURLANG=eng -->
<body>


<table border="0" cellpadding="0" cellspacing="5" width="95%">
<tbody><tr>
<td align="left" valign="middle">
<a href="http://ceur-ws.org/"><img src="../CEUR-WS-logo.png" alt="[CEUR Workshop Proceedings]" border="0"></a>
</td>
<td align="right" valign="middle">

<span class="CEURVOLNR">Vol-XXX</span> <br>
<span class="CEURURN">urn:nbn:de:0074-XXX-C</span>
<p align="justify"><font color="#777777" size="-2">Copyright &copy; 
<span class="CEURPUBYEAR">2012</span> for the individual papers
by the papers' authors. Copying permitted only for private and academic purposes.
This volume is published and copyrighted by its editors.</font></p>

</td>
</tr>
</tbody></table>

<hr>
<blockquote>
<h1 align="right">Proceedings of the</h1>

<table border="0" cellspacing="0" cellpadding="10" align="right" bgcolor="red">
  <tbody>
  <tr>
    <td>
        <table border="0" cellpadding="10" cellspacing="0" bgcolor="white">
          <tbody>
          <tr>
            <td align="right" valign="center">
            <a href="http://dl.kr.org/">

            <img align="left" border="0" alt="DL Home" src="dl-small.png"></a>
            </td>
            <td>
              <h1 align="right"><font color="BLUE"> 
                <span class="CEURVOLTITLE">2012 International
                           Workshop on<br>Description Logics</span> 
             (<a href="http://dl.kr.org/dl2012/">DL2012</a>)</font></h1>
            </td>
          </tr>

          </tbody>
        </table>
    </td>
  </tr>
  </tbody>
</table>
<br clear="all">
<p align="right">
<span class="CEURLOCTIME">Rome, Italy, June 7-10, 2012</span>
</p>
</blockquote>

<br><br>

<b> Edited by </b>
<p>

</p><h3>
   <a href="http://www.uni-ulm.de/en/in/ki/staff/dr-yevgeny-kazakov.html">
     <span class="CEURVOLEDITOR">Yevgeny Kazakov</span></a> *<br>
   <a href="http://www.dis.uniroma1.it/~lembo">
     <span class="CEURVOLEDITOR">Domenico Lembo</span></a> **<br>
   <a href="http://www.csc.liv.ac.uk/~frank">
     <span class="CEURVOLEDITOR">Frank Wolter</span></a> ***<br>

</h3>

* <a href="http://www.uni-ulm.de/en/in/ki.html">Institut of Artificial Intelligence</a>, University of Ulm, Germany<br>
** <a href="http://www.dis.uniroma1.it/">Dipartimento di Informatica e Sistemistica</a>, Universit&aacute di Roma "La Sapienza", Italy<br>
*** <a href="http://www.csc.liv.ac.uk/">Department of Computer Science</a>, University of Liverpool, U.K.<br>

<hr>

<br><br><br>

<div class="CEURTOC">
<h2> Table of Contents </h2>


<h3><span class="CEURSESSION">Invited Talks</span></h3>
<ol>
<li><a href="invited_paper_2.pdf">
<span class="CEURTITLE">Viewing the Web as a Distributed Knowledge Base</span></a><br>
<span class="CEURAUTHORS">Serge Abiteboul</span>
</li>
<li><a href="invited_paper_3.pdf">
<span class="CEURTITLE">Defaults in Description Logics: So Simple, So Difficult</span></a><br>
<span class="CEURAUTHORS">Piero Bonatti</span>
</li>
<li><a href="invited_paper_1.pdf">
<span class="CEURTITLE">What's missing? DLs, OWL and the Ecology of Semantic Systems</span></a><br>
<span class="CEURAUTHORS">Alan Rector</span>
</li>
</ol>

<h3><span class="CEURSESSION">Paper Presentations</span></h3>
<ol>
<li><a href="paper_60.pdf">
<span class="CEURTITLE">Representability in DL-Lite_R Knowledge Base Exchange</span></a><br>
<span class="CEURAUTHORS">Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov</span>
</li>

<li><a href="paper_35.pdf">
<span class="CEURTITLE">Modular Combination of Reasoners for Ontology Classification</span></a><br>
<span class="CEURAUTHORS">Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks</span>
</li>

<li><a href="paper_8.pdf">
<span class="CEURTITLE">UEL: Unification Solver for EL</span></a><br>
<span class="CEURAUTHORS">Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska</span>
</li>

<li><a href="paper_1.pdf">
<span class="CEURTITLE">A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes</span></a><br>
<span class="CEURAUTHORS">Franz Baader, Stefan Borgwardt, Barbara Morawska</span>
</li>

<li><a href="paper_50.pdf">
<span class="CEURTITLE">Diversity of Reason: Equivalence Relations over Description Logic Explanations</span></a><br>
<span class="CEURAUTHORS">Samantha Bail, Bijan Parsia, Ulrike Sattler</span>
</li>

<li><a href="paper_29.pdf">
<span class="CEURTITLE">Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies</span></a><br>
<span class="CEURAUTHORS">Meghyn Bienvenu</span>
</li>

<li><a href="paper_26.pdf">
<span class="CEURTITLE">Deciding FO-Rewritability in EL</span></a><br>
<span class="CEURAUTHORS">Meghyn Bienvenu, Carsten Lutz, Frank Wolter</span>
</li>

<li><a href="paper_28.pdf">
<span class="CEURTITLE">Answering Expressive Path Queries over Lightweight DL Knowledge Bases</span></a><br>
<span class="CEURAUTHORS">Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus</span>
</li>

<li><a href="paper_48.pdf">
<span class="CEURTITLE">Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts</span></a><br>
<span class="CEURAUTHORS">Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati</span>
</li>

<li><a href="paper_13.pdf">
<span class="CEURTITLE">G&ouml;del Negation Makes Unwitnessed Consistency Crisp</span></a><br>
<span class="CEURAUTHORS">Stefan Borgwardt, Felix Distel, Rafael Pe&ntilde;aloza</span>
</li>

<li><a href="paper_10.pdf">
<span class="CEURTITLE">Towards More Effective Tableaux Reasoning for CKR</span></a><br>
<span class="CEURAUTHORS">Loris Bozzato, Martin Homola, Luciano Serafini</span>
</li>

<li><a href="paper_52.pdf">
<span class="CEURTITLE">Inverting Subsumption for Constructive Reasoning</span></a><br>
<span class="CEURAUTHORS">Simona Colucci, Francesco M. Donini</span>
</li>

<li><a href="paper_51.pdf">
<span class="CEURTITLE">An ExpSpace Tableau-based Algorithm for SHOIQ</span></a><br>
<span class="CEURAUTHORS">Chan Le Duc, Myriam Lamolle, Olivier Cure</span>
</li>

<li><a href="paper_58.pdf">
<span class="CEURTITLE">Role-depth Bounded Least Common Subsumers for EL+ and ELI</span></a><br>
<span class="CEURAUTHORS">Andreas Ecke, Anni-Yasmin Turhan</span>
</li>

<li><a href="paper_20.pdf">
<span class="CEURTITLE">Towards Practical Query Answering for Horn-SHIQ</span></a><br>
<span class="CEURAUTHORS">Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao</span>
</li>

<li><a href="paper_64.pdf">
<span class="CEURTITLE">Exact Query Reformulation over SHOQ DBoxes</span></a><br>
<span class="CEURAUTHORS">Enrico Franconi, Volha Kerhet, Nhung Ngo</span>
</li>

<li><a href="paper_11.pdf">
<span class="CEURTITLE">Preferential Low Complexity Description Logics: Complexity Results and Proof Methods</span></a><br>
<span class="CEURAUTHORS">Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato</span>
</li>

<li><a href="paper_56.pdf">
<span class="CEURTITLE">Concept-Based Semantic Difference in Expressive Description Logics</span></a><br>
<span class="CEURAUTHORS">Rafael S. Gon&ccedil;alves, Bijan Parsia, Ulrike Sattler</span>
</li>

<li><a href="paper_5.pdf">
<span class="CEURTITLE">Equality-Friendly Well-Founded Semantics and Applications to Description Logics</span></a><br>
<span class="CEURAUTHORS">Georg Gottlob, Andr&eacute; Hernich, Clemens Kupke, Thomas Lukasiewicz</span>
</li>

<li><a href="paper_53.pdf">
<span class="CEURTITLE">Finite Model Reasoning in DL-Lite with Cardinality Constraints</span></a><br>
<span class="CEURAUTHORS">Yazmin Ang&eacute;lica Ib&aacute;&ntilde;ez-Garc&iacute;a</span>
</li>

<li><a href="paper_39.pdf">
<span class="CEURTITLE">An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting</span></a><br>
<span class="CEURAUTHORS">Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky</span>
</li>

<li><a href="paper_41.pdf">
<span class="CEURTITLE">Long Rewritings, Short Rewritings</span></a><br>
<span class="CEURAUTHORS">Stanislav Kikot, Roman Kontchakov, Vladimir Podolskii, Michael Zakharyaschev</span>
</li>

<li><a href="paper_40.pdf">
<span class="CEURTITLE">Cost Based Query Ordering over OWL Ontologies</span></a><br>
<span class="CEURAUTHORS">Ilianna Kollia, Birte Glimm</span>
</li>

<li><a href="paper_59.pdf">
<span class="CEURTITLE">Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions</span></a><br>
<span class="CEURAUTHORS">Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo</span>
</li>

<li><a href="paper_17.pdf">
<span class="CEURTITLE">Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity</span></a><br>
<span class="CEURAUTHORS">Carsten Lutz, Inanc Seylan, Frank Wolter</span>
</li>

<li><a href="paper_22.pdf">
<span class="CEURTITLE">Modelling Structured Domains Using Description Graphs and Logic Programming</span></a><br>
<span class="CEURAUTHORS">Despoina Magka, Boris Motik, Ian Horrocks</span>
</li>

<li><a href="paper_49.pdf">
<span class="CEURTITLE">Axiom Pinpointing Using an Assumption-Based Truth Maintenance System</span></a><br>
<span class="CEURAUTHORS">Hai H. Nguyen, Natasha Alechina, Brian Logan</span>
</li>

<li><a href="paper_23.pdf">
<span class="CEURTITLE">Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering</span></a><br>
<span class="CEURAUTHORS">&Ouml;zg&uuml;r L. &Ouml;z&ccedil;ep, Ralf M&ouml;ller</span>
</li>

<li><a href="paper_55.pdf">
<span class="CEURTITLE">OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL</span></a><br>
<span class="CEURAUTHORS">Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente</span>
</li>

<li><a href="paper_62.pdf">
<span class="CEURTITLE">Query Rewriting under Extensional Constraints in DL-Lite</span></a><br>
<span class="CEURAUTHORS">Riccardo Rosati</span>
</li>

<li><a href="paper_21.pdf">
<span class="CEURTITLE">Elimination of Complex RIAs without Automata</span></a><br>
<span class="CEURAUTHORS">Frantisek Simancik</span>
</li>

<li><a href="paper_63.pdf">
<span class="CEURTITLE">Improved Algorithms for Module Extraction and Atomic Decomposition</span></a><br>
<span class="CEURAUTHORS">Dmitry Tsarkov</span>
</li>

<li><a href="paper_4.pdf">
<span class="CEURTITLE">Incremental Query Rewriting for OWL 2 QL</span></a><br>
<span class="CEURAUTHORS">Tassos Venetis, Giorgos Stoilos, Giorgos Stamou</span>
</li>

<li><a href="paper_34.pdf">
<span class="CEURTITLE">Absorption for ABoxes</span></a><br>
<span class="CEURAUTHORS">Jiewen Wu, Alexander Hudek, David Toman, Grant Weddell</span>
</li>

<li><a href="paper_33.pdf">
<span class="CEURTITLE">A Parallel Reasoner for the Description Logic ALC</span></a><br>
<span class="CEURAUTHORS">Kejia Wu, Volker Haarslev</span>
</li>

<li><a href="paper_9.pdf">
<span class="CEURTITLE">Towards an Expressive Decidable Logical Action Theory</span></a><br>
<span class="CEURAUTHORS">Wael Yehia, Mikhail Soutchanski</span>
</li>
</ol>

<h3><span class="CEURSESSION">Poster Presentations</span></h3>
<ol>

<li><a href="paper_31.pdf">
<span class="CEURTITLE">Concurrent Classification of OWL Ontologies - An Empirical Evaluation</span></a><br>
<span class="CEURAUTHORS">Mina Aslani, Volker Haarslev</span>
</li>

<li><a href="paper_14.pdf">
<span class="CEURTITLE">Non-G&ouml;del Negation Makes Unwitnessed Consistency Undecidable</span></a><br>
<span class="CEURAUTHORS">Stefan Borgwardt, Rafael Pe&ntilde;aloza</span>
</li>

<li><a href="paper_38.pdf">
<span class="CEURTITLE">ORM2 Encoding into Description Logic (Extended Abstract)</span></a><br>
<span class="CEURAUTHORS">Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin</span>
</li>

<li><a href="paper_30.pdf">
<span class="CEURTITLE">Adding Context to Tableaux for DLs</span></a><br>
<span class="CEURAUTHORS">Weili Fu, Rafael Pe&ntilde;aloza</span>
</li>

<li><a href="paper_47.pdf">
<span class="CEURTITLE">Naive ABox abduction in ALC using a DL tableau</span></a><br>
<span class="CEURAUTHORS">Ken Halland, Katarina Britz</span>
</li>

<li><a href="paper_19.pdf">
<span class="CEURTITLE">Patent Valuation Using Difference in ALEN</span></a><br>
<span class="CEURAUTHORS">Naouel Karam, Adrian Paschke</span>
</li>

<li><a href="paper_66.pdf">
<span class="CEURTITLE">A Formal Characterization of Concept Learning in Description Logics</span></a><br>
<span class="CEURAUTHORS">Francesca A. Lisi</span>
</li>

<li><a href="paper_12.pdf">
<span class="CEURTITLE">Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking</span></a><br>
<span class="CEURAUTHORS">Jaromir Malenko, Petr Stepanek</span>
</li>

<li><a href="paper_46.pdf">
<span class="CEURTITLE">A Protege Plug-in for Defeasible Reasoning</span></a><br>
<span class="CEURAUTHORS">Kody Moodley, Thomas Meyer, Ivan Varzinczak</span>
</li>

<li><a href="paper_16.pdf">
<span class="CEURTITLE">A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms</span></a><br>
<span class="CEURAUTHORS">Milenko Mosurovic, Henson Graves, Nenad Krdzavac</span>
</li>

<li><a href="paper_61.pdf">
<span class="CEURTITLE">Optimising Parallel ABox Reasoning of EL Ontologies</span></a><br>
<span class="CEURAUTHORS">Yuan Ren, Jeff Z. Pan, Kevin Lee</span>
</li>

<li><a href="paper_25.pdf">
<span class="CEURTITLE">Probabilistic Datalog+/- under the Distribution Semantics</span></a><br>
<span class="CEURAUTHORS">Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma</span>
</li>

<li><a href="paper_32.pdf">
<span class="CEURTITLE">Algebraic Reasoning for SHIQ</span></a><br>
<span class="CEURAUTHORS">Laleh Roosta Pour, Volker Haarslev</span>
</li>

<li><a href="paper_27.pdf">
<span class="CEURTITLE">Small Datalog Query Rewritings for EL</span></a><br>
<span class="CEURAUTHORS">Giorgio Stefanoni, Boris Motik, Ian Horrocks</span>
</li>

<li><a href="paper_36.pdf">
<span class="CEURTITLE">Extended Caching and Backjumping for Expressive Description Logics</span></a><br>
<span class="CEURAUTHORS">Andreas Steigmiller, Thorsten Liebig, Birte Glimm</span>
</li>

<li><a href="paper_24.pdf">
<span class="CEURTITLE">From EL to Tractable Existential Rules with Complex Role Inclusions</span></a><br>
<span class="CEURAUTHORS">Micha&euml;l Thomazo</span>
</li>

<li><a href="paper_45.pdf">
<span class="CEURTITLE">Logical Relevance in Ontologies</span></a><br>
<span class="CEURAUTHORS">Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler</span>
</li>

<li><a href="paper_15.pdf">
<span class="CEURTITLE">Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics	</span></a><br>
<span class="CEURAUTHORS">Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski</span>
</li>

<li><a href="paper_43.pdf">
<span class="CEURTITLE">Efficient Upper Bound Computation of Query Answers in Expressive Description Logics</span></a><br>
<span class="CEURAUTHORS">Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks</span>
</li>
</ol>

<br><p>
The whole proceedings can also be downloaded as a single file (<a href="dl2012_proceedings.pdf">pdf</a>).
</p>

<hr>
<font color="#777777" size="-1">
16-May-2012: submitted by Yevgeny Kazakov<br>
<span class="CEURPUBDATE">dd-mmm-jjjj</span>: published on CEUR-WS.org
</font>
</body></html>
