Description Logics 2011: Barcelona, Spain
Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev (Eds.): Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR-WS.org 2011 CEUR Workshop Proceedings 745
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
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
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.
- Adila Alfa Krisnadhi, Kunal Sengupta, Pascal Hitzler: Local Closed World Semantics: Keep it simple, stupid!
- 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.
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team