Invited Talks

• 
  Serge Abiteboul: Viewing the Web as a Distributed Knowledge Base.
• 
  Piero A. Bonatti: Defaults in Description Logics: So Simple, So Difficult.
• 
  Alan Rector: What's missing? DLs, OWL and the Ecology of Semantic Systems.

Paper Presentations

• 
  Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov: Representability in DL-Lite_R Knowledge Base Exchange.
• 
  Ana Armas Romero, Bernardo Cuenca Grau, Ian Horrocks: Modular Combination of Reasoners for Ontology Classification.
• 
  Franz Baader, Stefan Borgwardt, Julian Mendez, Barbara Morawska: UEL: Unification Solver for EL.
• 
  Franz Baader, Stefan Borgwardt, Barbara Morawska: A Goal-Oriented Algorithm for Unification in EL w.r.t. Cycle-Restricted TBoxes.
• 
  Samantha Bail, Bijan Parsia, Ulrike Sattler: Diversity of Reason: Equivalence Relations over Description Logic Explanations.
• 
  Meghyn Bienvenu: Inconsistency-Tolerant Conjunctive Query Answering for Simple Ontologies.
• 
  Meghyn Bienvenu, Carsten Lutz, Frank Wolter: Deciding FO-Rewritability in EL.
• 
  Meghyn Bienvenu, Magdalena Ortiz, Mantas Simkus: Answering Expressive Path Queries over Lightweight DL Knowledge Bases.
• 
  Alexander Borgida, Jennifer Horkoff, John Mylopoulos, Riccardo Rosati: Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.
• 
  Stefan Borgwardt, Felix Distel, Rafael Peñaloza: Gödel Negation Makes Unwitnessed Consistency Crisp.
• 
  Loris Bozzato, Martin Homola, Luciano Serafini: Towards More Effective Tableaux Reasoning for CKR.
• 
  Simona Colucci, Francesco M. Donini: Inverting Subsumption for Constructive Reasoning.
• 
  Chan Le Duc, Myriam Lamolle, Olivier Curé: An ExpSpace Tableau-based Algorithm for SHOIQ.
• 
  Andreas Ecke, Anni-Yasmin Turhan: Role-depth Bounded Least Common Subsumers for EL+ and ELI.
• 
  Thomas Eiter, Magdalena Ortiz, Mantas Simkus, Trung-Kien Tran, Guohui Xiao: Towards Practical Query Answering for Horn-SHIQ.
• 
  Enrico Franconi, Volha Kerhet, Nhung Ngo: Exact Query Reformulation over SHOQ DBoxes.
• 
  Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato: Preferential Low Complexity Description Logics: Complexity Results and Proof Methods.
• 
  Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler: Concept-Based Semantic Difference in Expressive Description Logics.
• 
  Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz: Equality-Friendly Well-Founded Semantics and Applications to Description Logics.
• 
  Yazmin Angélica Ibáñez-García: Finite Model Reasoning in DL-Lite with Cardinality Constraints.
• 
  Mohammad Khodadadi, Renate A. Schmidt, Dmitry Tishkovsky: An Abstract Tableau Calculus for the Description Logic SHOI Using Unrestricted Blocking and Rewriting.
• 
  Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev: Long Rewritings, Short Rewritings.
• 
  Ilianna Kollia, Birte Glimm: Cost Based Query Ordering over OWL Ontologies.
• 
  Domenico Lembo, Maurizio Lenzerini, Riccardo Rosati, Marco Ruzzi, Domenico Fabio Savo: Inconsistency-Tolerant First-Order Rewritability of DL-Lite with Identification and Denial Assertions.
• 
  Carsten Lutz, Inanç Seylan, Frank Wolter: Mixing Open and Closed World Assumptionin Ontology-Based Data Access: Non-Uniform Data Complexity.
• 
  Despoina Magka, Boris Motik, Ian Horrocks: Modelling Structured Domains Using Description Graphs and Logic Programming.
• 
  Hai H. Nguyen, Natasha Alechina, Brian Logan: Axiom Pinpointing Using an Assumption-Based Truth Maintenance System.
• 
  Özgür L. Özçep, Ralf Möller: Combining DL-Lite with Spatial Calculi for Feasible Geo-thematic Query Answering.
• 
  Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente: OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL.
• 
  Riccardo Rosati: Query Rewriting under Extensional Constraints in DL-Lite.
• 
  Frantisek Simancik: Elimination of Complex RIAs without Automata.
• 
  Dmitry Tsarkov: Improved Algorithms for Module Extraction and Atomic Decomposition.
• 
  Tassos Venetis, Giorgos Stoilos, Giorgos B. Stamou: Incremental Query Rewriting for OWL 2 QL.
• 
  Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell: Absorption for ABoxes.
• 
  Kejia Wu, Volker Haarslev: A Parallel Reasoner for the Description Logic ALC.
• 
  Wael Yehia, Mikhail Soutchanski: Towards an Expressive Decidable Logical Action Theory.

Poster Presentations

• 
  Mina Aslani, Volker Haarslev: Concurrent Classification of OWL Ontologies - An Empirical Evaluation.
• 
  Stefan Borgwardt, Rafael Peñaloza: Non-Gödel Negation Makes Unwitnessed Consistency Undecidable.
• 
  Enrico Franconi, Alessandro Mosca, Dmitry Solomakhin: ORM2 Encoding into Description Logic (Extended Abstract).
• 
  Weili Fu, Rafael Peñaloza: Adding Context to Tableaux for DLs.
• 
  Ken Halland, Katarina Britz: Naive ABox abduction in ALC using a DL tableau.
• 
  Naouel Karam, Adrian Paschke: Patent Valuation Using Difference in ALEN.
• 
  Francesca A. Lisi: A Formal Characterization of Concept Learning in Description Logics.
• 
  Jaromir Malenko, Petr Stepánek: Nonmonotonic Reasoning in Description Logic by Tableaux Algorithm with Blocking.
• 
  Kodylan Moodley, Thomas Meyer, Ivan José Varzinczak: A Protege Plug-in for Defeasible Reasoning.
• 
  Milenko Mosurovic, Henson Graves, Nenad Krdzavac: A Decidable Extension of SRIQ with Disjunctions in Complex Role Inclusion Axioms.
• 
  Yuan Ren, Jeff Z. Pan, Kevin Lee: Optimising Parallel ABox Reasoning of EL Ontologies.
• 
  Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma: Probabilistic Datalog+/- under the Distribution Semantics.
• 
  Laleh Roosta Pour, Volker Haarslev: Algebraic Reasoning for SHIQ.
• 
  Giorgio Stefanoni, Boris Motik, Ian Horrocks: Small Datalog Query Rewritings for EL.
• 
  Andreas Steigmiller, Thorsten Liebig, Birte Glimm: Extended Caching and Backjumping for Expressive Description Logics.
• 
  Michaël Thomazo: From EL to Tractable Existential Rules with Complex Role Inclusions.
• 
  Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler: Logical Relevance in Ontologies.
• 
  Wael Yehia, Hongkai Liu, Marcel Lippmann, Franz Baader, Mikhail Soutchanski: Experimental Results on Solving the Projection Problem in Action Formalisms Based on Description Logics.
• 
  Yujiao Zhou, Bernardo Cuenca Grau, Ian Horrocks: Efficient Upper Bound Computation of Query Answers in Expressive Description Logics.

last updated on Wed May 22 04:26:25 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page