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, Thanh Binh Nguyen, 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 updated on Fri May 24 04:45:28 2013 by the dblp team
data released under the ODC-BY 1.0 license
see also our legal information page