Invited Talk

• 
  Andrea Calì, Georg Gottlob, Michael Kifer: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints.
• 
  Bernhard Ganter: Mathematical Theory Makes Formal Concept Analysis Versatile.
• 
  Maarten Marx: XPath: (P)DL on Trees.
• 
  Kent A. Spackman: Using DL to Support a very Large Healthcare Terminology: Successes and Challenges.

Oral Presentation

• 
  Alessandro Artale, C. Maria Keet: Essential and Mandatory Part-Whole Relations in Conceptual Data Models.
• 
  Alessandro Artale, David Toman: Decidable Reasoning over Timestamped Conceptual Models.
• 
  Franz Baader, Silvio Ghilardi, Carsten Lutz: LTL over Description Logic Axioms.
• 
  Franz Baader, Novak Novakovik, Boontawee Suntisrivaraporn: A Proof-Theoretic Subsumption Reasoner for Hybrid EL-TBoxes.
• 
  Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat: DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
• 
  Meghyn Bienvenu: Prime Implicate Normal Form for ALC Concepts.
• 
  Alexander Borgida, Diego Calvanese, Mariano Rodriguez-Muro: Explanation in DL-Lite.
• 
  Adrien Coulet, Malika Smaïl-Tabbone, Amedeo Napoli, Marie-Dominique Devignes: Ontology Refinement through Role Assertion Analysis: Example in Pharmacogenomics.
• 
  Giuseppe De Giacomo, Maurizio Lenzerini, Riccardo Rosati: Towards Higher-Order DL-Lite.
• 
  Jocelyne Faddoul, Nasim Farsinia, Volker Haarslev, Ralf Möller: A Hybrid Tableau Algorithm for ALCQ.
• 
  Chiara Ghidini, Luciano Serafini, Sergio Tessaris: Bridging Heterogeneous Representations of Binary Relations: First Results.
• 
  Birte Glimm, Ian Horrocks, Ulrike Sattler: Deciding SHOQ^cap Knowledge Base Consistency using Alternating Automata.
• 
  Ernesto Jiménez-Ruiz, Bernardo Cuenca Grau, Ulrike Sattler, Thomas Schneider, Rafael Berlanga Llavori: Safe and Economic Re-Use of Ontologies: A Logic-Based Methodology and Tool Support.
• 
  Yevgeny Kazakov: SRIQ and SROIQ are Harder than SHOIQ.
• 
  Peihong Ke, Ulrike Sattler: Next Steps for Description Logics of Minimal Knowledge and Negation as Failure.
• 
  Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter: Logical Difference and Module Extraction with CEX and MEX.
• 
  Roman Kontchakov, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev: Checking DL-Lite Modularity with QBF Solvers.
• 
  Hongkai Liu, Carsten Lutz, Maja Milicic: The Projection Problem for EL Actions.
• 
  Lina Lubyte, Sergio Tessaris: Supporting the Design of Ontologies for Data Access.
• 
  Carsten Lutz: Two Upper Bounds for Conjunctive Query Answering in SHIQ.
• 
  Michael Mendler, Stephan Scheele: Towards Constructive DL for Abstraction and Refinement.
• 
  Ralf Möller, Volker Haarslev, Sebastian Wandelt: The Revival of Structural Subsumption in Tableau-based Reasoners.
• 
  Boris Motik, Bernardo Cuenca Grau, Ulrike Sattler: The Representation of Structured Objects in DLs using Description Graphs.
• 
  Magdalena Ortiz, Mantas Simkus, Thomas Eiter: Conjunctive Query Answering in SH using Knots.
• 
  Rafael Peñaloza: Automata-based Pinpointing for DLs.
• 
  Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell: On Ordering and Indexing Metadata for the Semantic Web.
• 
  Guilin Qi, Peter Haase, Zhisheng Huang, Jeff Z. Pan: A Kernel Revision Operator for Terminologies.
• 
  Azzurra Ragone, Umberto Straccia, Fernando Bobillo, Tommaso Di Noia, Eugenio Di Sciascio, Francesco M. Donini: Fuzzy Description Logics for Bilateral Matchmaking in e-Marketplaces.
• 
  Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler: All Elephants are Bigger than All Mice.
• 
  Rob Shearer, Boris Motik, Ian Horrocks: Optimizing the Nominal Introduction Rule in (Hyper)Tableau Calculi.
• 
  Viorica Sofronie-Stokkermans: Locality and Subsumption Testing in EL and Some of its Extensions.
• 
  Giorgos Stoilos, Giorgos B. Stamou, Jeff Z. Pan: Classifying Fuzzy Subsumption in Fuzzy-EL+.
• 
  David Toman, Grant E. Weddell: Identifying Objects Over Time with Description Logics.
• 
  Jiewen Wu, Volker Haarslev: Planning of Axiom Absorption.

Poster

• 
  Mina Aslani, Volker Haarslev: Towards Parallel Classifcation of TBoxes.
• 
  Mira Balaban, Azzam Maraee: A UML-Based Method for Deciding Finite Satisfiability in Description Logics.
• 
  Loris Bozzato, Mauro Ferrari, Paola Villa: Actions over a Constructive Semantics for ALC.
• 
  Simona Colucci, Eugenio Di Sciascio, Francesco M. Donini: Partial and Informative Common Subsumers of Concepts Collections in Description Logics.
• 
  Olivier Couchariere, Marie-Jeanne Lesot, Bernadette Bouchon-Meunier: Consistency Checking for Extended Description Logics.
• 
  Francis Gasse, Ulrike Sattler, Volker Haarslev: Rewriting Rules into SROIQ Axioms.
• 
  Martin Homola: Subsumption Propagation between Remote Ontologies in Distributed Description Logic.
• 
  C. Maria Keet: Unifying Industry-grade Class-based Conceptual Data Modeling Languages with CMcom.
• 
  Uwe Keller, Stijn Heymans: The SAT-Tableau Calculus.
• 
  Yue Ma, Pascal Hitzler, Zuoquan Lin: Paraconsistent Reasoning for Expressive and Tractable Description Logics.
• 
  Tobias Henrik Näth, Ralf Möller: ContraBovemRufum: A System for Probabilistic Lexicographic Entailment.
• 
  Fernando Náufel do Amaral, Carlos Bazilio Martins: Visualization of Description Logic Models.
• 
  Guilin Qi, Fangkai Yang: A Survey of Revision Approaches in Description Logics.
• 
  Saïd Radhouani, Gilles Falquet: Description Logics-Based Modelling for Precise Information Retrieval.
• 
  Anne Schlicht, Heiner Stuckenschmidt: Distributed Resolution for ALC.
• 
  Baris Sertkaya: Explaining User Errors in Knowledge Base Completion.
• 
  Nikolay V. Shilov: Realization Problem for Formal Concept Analysis.
• 
  Sebastian Wandelt: Partitioning OWL Knowledge Bases - Revisited and Revised.

last updated on Mon May 20 01:54:43 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page