default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription Logics 2011: Barcelona, Spain
- Riccardo Rosati, Sebastian Rudolph
, Michael Zakharyaschev:
Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011. CEUR Workshop Proceedings 745, CEUR-WS.org 2011
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, Yazmín 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 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, Fábio 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, Fábio 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 F. L. Alcântara, Ana Teresa C. Martins:
Paraconsistent Rough Description Logic.
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-22 19:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
