Description Logics 2011: Barcelona, Spain

Invited Talks

• Marcelo Arenas:
  Exchanging More than Complete Data.
  
• Gert Smolka:
  Incremental Decision Procedures for Modal Logic with Nominals and Eventualities.
  
• Heiner Stuckenschmidt:
  A Little Logic Goes a Long Way - Logical Reasoning in Web Data Integration and Ontology Learning.
  

Paper Presentations

• Marcelo Arenas, Elena Botoeva, Diego Calvanese:
  Knowledge Base Exchange.
  
• Alessandro Artale, Yazmin Angélica Ibáñez-García, Roman Kontchakov, Vladislav Ryzhikov:
  DL-Lite with Attributes and Sub-Roles (Extended Abstract).
  
• Franz Baader, Nguyen Thanh Binh, Stefan Borgwardt, Barbara Morawska:
  Unification in the Description Logic EL without the Top Concept.
  
• Franz Baader, Rafael Peñaloza:
  GCIs Make Reasoning in Fuzzy DL with the Product T-norm Undecidable.
  
• Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Riccardo De Masellis:
  Verification of Conjunctive-Query Based Semantic Artifacts.
  
• Meghyn Bienvenu:
  First-Order Expressibility Results for Queries over Inconsistent DL-Lite Knowledge Bases.
  
• Stefan Borgwardt, Rafael Peñaloza:
  Fuzzy Ontologies over Lattices with T-norms.
  
• Diego Calvanese, Magdalena Ortiz, Mantas Simkus, Giorgio Stefanoni:
  The Complexity of Conjunctive Query Abduction in DL-Lite.
  
• Floriana Di Pinto, Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati:
  Mapping Data to Higher-Order Description Logic Knowledge Bases.
  
• Eldora, Martin Knechtel, Rafael Peñaloza:
  Correcting Access Restrictions to a Consequence More Flexibly.
  
• Pablo R. Fillottrani, Enrico Franconi, Sergio Tessaris:
  Ontology Design and Integration with ICOM 3.0 - Tool Description and Methodology.
  
• Francis Gasse, Viorica Sofronie-Stokkermans:
  Efficient TBox Subsumption Checking in Combinations of EL and (fragments of) FL0.
  
• Birte Glimm, Yevgeny Kazakov, Carsten Lutz:
  Status QIO: An Update.
  
• Rafael S. Gonçalves, Bijan Parsia, Ulrike Sattler:
  Analysing Multiple Versions of an Ontology: A Study of the NCI Thesaurus.
  
• Georg Gottlob, Thomas Schwentick:
  Rewriting Ontological Queries into Small Nonrecursive Datalog Programs.
  
• Matthew Horridge, Samantha Bail, Bijan Parsia, Ulrike Sattler:
  The Cognitive Complexity of OWL Justifications.
  
• Thomas Hubauer, Steffen Lamparter, Michael Pirker:
  Relaxed Abduction: Robust Information Interpretation for Incomplete Models.
  
• Jean Christoph Jung, Víctor Gutiérrez-Basulto, Carsten Lutz, Lutz Schröder:
  The Complexity of Probabilistic EL.
  
• Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik:
  Unchain My EL Reasoner.
  
• Evgeny Kharlamov, Dmitriy Zheleznyakov:
  On Prototypes for Winslett's Semantics of DL-Lite ABox Evolution.
  
• Stanislav Kikot, Roman Kontchakov, Michael Zakharyaschev:
  On (In)Tractability of OBDA with OWL 2 QL.
  
• Szymon Klarman, Víctor Gutiérrez-Basulto:
  Two-Dimensional Description Logics of Context.
  
• Ilianna Kollia, Birte Glimm, Ian Horrocks:
  Query Answering over SROIQ Knowledge Bases with SPARQL.
  
• Boris Konev, Roman Kontchakov, Michel Ludwig, Thomas Schneider, Frank Wolter, Michael Zakharyaschev:
  Module Extraction via Query Inseparability in OWL 2 QL.
  
• Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler:
  Nominal Schemas for Integrating Rules and Description Logics.
  
• Agi Kurucz, Frank Wolter, Michael Zakharyaschev:
  On P/NP Dichotomies for EL Subsumption under Relational Constraints.
  
• Maurizio Lenzerini, Domenico Fabio Savo:
  On the Evolution of the Instance Level of DL-Lite Knowledge Bases.
  
• Carsten Lutz, Frank Wolter:
  Non-Uniform Data Complexity of Query Answering in Description Logics.
  
• Giulia Masotti, Riccardo Rosati, Marco Ruzzi:
  Practical ABox Cleaning in DL-Lite (progress report).
  
• Anees Mehdi, Sebastian Rudolph:
  Practical Epistemic Entailment Checking in SROIQ.
  
• Julian Mendez, Andreas Ecke, Anni-Yasmin Turhan:
  Implementing Completion-Based Inferences for the EL-family.
  
• Nadeschda Nikitina:
  Forgetting in General EL Terminologies.
  
• Nadeschda Nikitina, Sebastian Rudolph, Birte Glimm:
  Reasoning-Supported Interactive Revision of Knowledge Bases.
  
• Mariano Rodriguez-Muro, Diego Calvanese:
  Dependencies to Optimize Ontology Based Data Access.
  
• Luciano Serafini, Martin Homola:
  Contextual Representation and Reasoning with Description Logics.
  
• Baris Sertkaya:
  In the Search of Improvements to the EL+ Classification Algorithm.
  
• Frantisek Simancik, Boris Motik, Markus Krötzsch:
  Fixed Parameter Tractable Reasoning in DLs via Decomposition.
  
• Giorgos Stoilos, Bernardo Cuenca Grau:
  Repairing Incomplete Reasoners.
  

Poster Presentations

• Samantha Bail, Bijan Parsia, Ulrike Sattler:
  Extracting Finite Sets of Entailments from OWL Ontologies.
  
• Arina Britz, Thomas Meyer, Ivan José Varzinczak:
  Concept Model Semantics for DL Preferential Reasoning.
  
• Alexandros Chortaras, Despoina Trivela, Giorgos B. Stamou:
  Goal-oriented Query Rewriting for OWL 2 QL.
  
• Fabiano Corrêa, Fabio Gagliardi Cozman, Jun Okamoto Jr.:
  Collective Classification in Semantic Mapping with a Probabilistic Description Logic.
  
• Chiara Del Vescovo:
  The Modular Structure of an Ontology: Atomic Decomposition towards Applications.
  
• Marcelo Finger, Renata Wassermann, Fabio Gagliardi Cozman:
  Satisfiability in EL with Sets of Probabilistic ABoxes.
  
• Enrico Franconi, Paolo Guagliardo, Marco Trevisan, Sergio Tessaris:
  Quelo: an Ontology-Driven Query Interface.
  
• Fred Freitas:
  A Connection Method for Inferencing over the Description Logic ALC.
  
• Henson Graves:
  Structural Models in Axiomatic SysML.
  
• Alan Jeffrey, Peter F. Patel-Schneider:
  Integrity Constraints for Linked Data.
  
• Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler:
  Local Closed World Semantics: Keep it simple, stupid!
  
• Milenko Mosurovic, Nenad Krdzavac:
  A Technique for Handling the Right Hand Side of Complex RIAs.
  
• Riku Nortje, Arina Britz, Thomas Andreas Meyer:
  Bidirectional Reachability-Based Modules.
  
• Stefan Scheglmann, Carsten Saathoff, Steffen Staab:
  On the Problem of Weighted Max-DL-SAT and its Application to Image Labeling.
  
• Eufemia Tinelli, Francesco M. Donini, Michele Ruta, Eugenio Di Sciascio:
  Reasoning in Resource-Constrained Environments: a Matchmaking Engine over Relational Knowledge Bases.
  
• Henrique Viana, João Alcântara, Ana Teresa C. Martins:
  Paraconsistent Rough Description Logic.
  

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