Description Logics 2010: Waterloo, Ontario, Canada

Paper Presentations

• Alessandro Artale, Roman Kontchakov, Vladislav Ryzhikov, Michael Zakharyaschev:
  Temporal Conceptual Modelling with DL-Lite.
  
• Domenico Fabio Savo, Domenico Lembo, Maurizio Lenzerini, Antonella Poggi, Mariano Rodriguez-Muro, Vittorio Romagnoli, Marco Ruzzi, Gabriele Stella:
  Mastro at Work: Experiences on Ontology-Based Data Access.
  
• Matthew Horridge, Bijan Parsia, Ulrike Sattler:
  Justification Masking in OWL.
  
• Carsten Lutz, Robert Piro, Frank Wolter:
  EL-Concepts go Second-Order: Greatest Fixpoints and Simulation Quantifiers.
  
• Alessandro Artale, Diego Calvanese, Yazmin Angélica Ibáñez-García:
  Checking Full Satisfiability of Conceptual Models.
  
• Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini, Azzurra Ragone:
  Second-Order Description Logics: Semantics, Motivation, and a Calculus.
  
• Despoina Magka, Yevgeny Kazakov, Ian Horrocks:
  Tractable Extensions of the Description Logic EL with Numerical Datatypes.
  
• Lina Lubyte, Sergio Tessaris:
  Supporting the Development of Data Wrapping Ontologies (Extended Abstract).
  
• Dmitriy Zheleznyakov, Diego Calvanese, Evgeny Kharlamov, Werner Nutt:
  Updating TBoxes in DL-Lite.
  
• Markus Krötzsch, Anees Mehdi, Sebastian Rudolph:
  Orel: Database-Driven Reasoning for OWL 2 Profiles.
  
• Inanç Seylan, Enrico Franconi, Jos de Bruijn:
  Optimal Rewritings in Definitorially Complete Description Logics.
  
• Jiao Tao, Evren Sirin, Jie Bao, Deborah L. McGuinness:
  Extending OWL with Integrity Constraints.
  
• Meghyn Bienvenu, Thomas Eiter, Carsten Lutz, Magdalena Ortiz, Mantas Simkus:
  Query Answering in the Description Logic S.
  
• Jocelyne Faddoul, Volker Haarslev:
  Optimizing Algebraic Tableau Reasoning for SHOQ: First Experimental Results.
  
• Rafael Peñaloza, Baris Sertkaya:
  Complexity of Axiom Pinpointing in the DL-Lite Family.
  
• Sebastian Wandelt, Ralf Möller:
  Distributed Island-based Query Answering for Expressive Ontologies.
  
• Norihiro Kamide:
  Paraconsistent Description Logics Revisited.
  
• Birte Glimm, Ian Horrocks, Boris Motik:
  Optimized DL Reasoning via Core Blocking.
  
• Martin Knechtel, Rafael Peñaloza:
  Correcting Access Restrictions to a Consequence.
  
• Chiara Del Vescovo, Bijan Parsia, Ulrike Sattler, Thomas Schneider:
  The modular structure of an ontology: an empirical study.
  
• Nikos Simou, Theofilos P. Mailis, Giorgos Stoilos, Giorgos B. Stamou:
  Optimization Techniques for Fuzzy Description Logics.
  
• Anni-Yasmin Turhan, Rafael Peñaloza:
  Role-depth Bounded Least Common Subsumers by Completion for EL- and prob-EL-TBoxes.
  
• Elena Botoeva, Alessandro Artale, Diego Calvanese:
  Query Rewriting in DL-Lite_^(HN)_horn.
  
• Arne Meier, Thomas Schneider:
  The Complexity of Satisfiability for Sub-Boolean Fragments of ALC.
  
• Martin Homola, Luciano Serafini:
  Towards Formal Comparison of Ontology Linking, Mapping and Importing.
  
• Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
  Query Algebra and Query Optimization for Concept Assertion Retrieval.
  
• C. Maria Keet:
  On the feasibility of Description Logic knowledge bases with rough concepts and vague instances.
  
• Yuan Ren, Jeff Z. Pan, Yuting Zhao:
  Towards Soundness Preserving Approximation for ABox Reasoning of OWL2.
  
• Mina Aslani, Volker Haarslev:
  TBox Classification in Parallel: Design and First Evaluation.
  

Poster Presentations

• Shasha Feng, Yonggang Zhang, Dantong Ouyang, Haiyan Che, Jie Liu:
  The Logical Difference For Fuzzy EL+ Ontologies.
  
• Thomas Hubauer, Steffen Lamparter, Michael Pirker:
  Automata-Based Abduction for Tractable Diagnosis.
  
• Chan Le Duc, Myriam Lamolle:
  Decidability of Description Logics with Transitive Closure of Roles in Concept and Role Inclusion Axioms.
  
• Thomas Scharrenbach, Rolf Grütter, Bettina Waldvogel, Abraham Bernstein:
  Structure Preserving TBox Repair using Defaults.
  
• Norihiro Kamide:
  A Compatible Approach to Temporal Description Logics.
  
• Paula Severi, José Luiz Fiadeiro, David Ekserdjian:
  Guiding Reification in OWL through Aggregation.
  
• Yuan Ren, Kees van Deemter, Jeff Z. Pan:
  Generating Referring Expressions with OWL2.
  
• Tarek Richard Besold, Bernhard Schiemann:
  A Multi-Context System Computing Modalities.
  
• Prakash Panangaden, Caitlin Phillips, Doina Precup, Mehrnoosh Sadrzadeh:
  An Algebraic Approach to Dynamic Epistemic Logic.
  
• Raghava Mutharaju, Frederick Maier, Pascal Hitzler:
  A MapReduce Algorithm for EL+.
  
• Yue Ma, Pascal Hitzler:
  Distance-based Measures of Inconsistency and Incoherency for Description Logics.
  
• Henson Graves:
  Logic for Modeling Product Structure.
  
• Quentin Reul, Jeff Z. Pan:
  KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies.
  

Last update Thu May 24 04:16:27 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page