


default search action
Description Logics 2016: Cape Town, South Africa
- Maurizio Lenzerini, Rafael Peñaloza:

Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016. CEUR Workshop Proceedings 1577, CEUR-WS.org 2016 - Diego Calvanese:

Managing Change in Graph-structured Data Using Description Logics. - Birte Glimm, Yevgeny Kazakov, Trung-Kien Tran:

Ontology Materialization by Abstraction Refinement in Horn SHOIF. - Dan Suciu:

Lifted Inference in Probabilistic Databases. - Shqiponja Ahmetaj, Magdalena Ortiz, Mantas Simkus:

Polynomial Disjunctive Datalog Rewritings of Instance Queries in Expressive Description Logics. - Medina Andresel, Magdalena Ortiz, Mantas Simkus:

A Compilation Technique for Interactive Ontology-mediated Data Exploration. - Ana Armas Romero, Mark Kaminski, Bernardo Cuenca Grau, Ian Horrocks:

Ontology Module Extraction via Datalog Reasoning. - Alessandro Artale, Enrico Franconi:

Extending DLR with Labelled Tuples, Projections, Functional Dependencies and Objectification. - Meghyn Bienvenu, Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:

Theoretically Optimal Datalog Rewritings for OWL 2 QL Ontology-Mediated Queries. - Stefan Borgwardt, Rafael Peñaloza:

Reasoning in Expressive Gödel Description Logics. - Elena Botoeva, Diego Calvanese, Benjamin Cogrel, Martin Rezk, Guohui Xiao:

OBDA Beyond Relational DBs: A Study for MongoDB. - Elena Botoeva, Diego Calvanese, Valerio Santarelli, Domenico Fabio Savo, Alessandro Solimando, Guohui Xiao:

Virtual OBDA over Expressive Ontologies: Rewritings and Approximations. - Jon Haël Brenas, Rachid Echahed, Martin Strecker:

On the Closure of Description Logics under Substitutions. - Diego Calvanese, Marco Montali, Fabio Patrizi, Michele Stawowy:

Synthesizing and Executing Plans in Knowledge and Action Bases. - Roberto Confalonieri, Marco Schorlemmer, Oliver Kutz, Rafael Peñaloza, Enric Plaza, Manfred Eppe:

Conceptual Blending in EL++. - Marco Console:

Data Accuracy as Knowledge in Ontology Based Data Access (preliminary report). - Sarah Alice Gaggl, Sebastian Rudolph, Lukas Schweizer:

Fixed-Domain Reasoning for Description Logics. - Zhenzhen Gu:

Meta-modeling Extension of Horn-SROIQ and Query Answering. - Víctor Gutiérrez-Basulto, Jean Christoph Jung, Roman Kontchakov:

On Decidability and Tractability of Querying in Temporal EL. - Henriette Harmse, Katarina Britz, Aurona Gerber:

Armstrong Relations for Ontology Design and Evaluation. - Matthias Hengel, Stefan Wölfl, Bernhard Nebel:

Reasoning About General TBoxes with Spatial and Temporal Constraints: Implementation and Optimizations. - André Hernich, Julio Lemos, Frank Wolter:

Constraint Patterns for Tractable Ontology-Mediated Queries with Datatypes. - Zubeida Casmod Khan:

Evaluation Metrics in Ontology Modules. - Patrick Koopmann, Nadeschda Nikitina:

Minimising Acyclic EL Ontologies. - Oliver Kutz, Fabian Neuhaus, Maria M. Hedblom, Till Mossakowski, Mihai Codescu:

Ontology Patterns with DOWL: The Case of Blending. - Antti Kuusisto:

On the Uniform One-dimensional Fragment. - Agnieszka Lawrynowicz, C. Maria Keet:

The TDDonto Tool for Test-Driven Development of DL Knowledge bases. - Michel Leclère, Marie-Laure Mugnier, Federico Ulliana:

On Bounded Positive Existential Rules. - Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph:

Efficient Axiom Pinpointing in EL using SAT Technology. - Antonella Poggi:

On the SPARQL Direct Semantics Entailment Regime for OWL 2 QL. - Júlia Pukancová, Martin Homola:

Tableau-Based ABox Abduction for Description Logics: Preliminary Report. - Sebastian Rudolph:

The Curse of Finiteness: Undecidability of Database-Inspired Reasoning Problems in Very Expressive Description Logics. - Ralph Schäfermeier, Adrian Paschke:

Weaving Ontology Aspects Using a Catalog of Structural Ontology Design Patterns. - Yizheng Zhao, Renate A. Schmidt:

Forgetting Concept and Role Symbols in ALCOIH\mu+(\top, \sqcap)-Ontologies. - Meghyn Bienvenu, Camille Bourgaux, François Goasdoué:

Query-driven Repairing of Inconsistent DL-Lite Knowledge Bases (Extended Abstract). - Meghyn Bienvenu, Peter Hansen, Carsten Lutz, Frank Wolter:

First Order-Rewritability and Containment of Conjunctive Queries in Horn Description Logics. - Elena Botoeva, Carsten Lutz, Vladislav Ryzhikov, Frank Wolter, Michael Zakharyaschev:

When is Query Inseparability for ALC Ontologies Decidable? - Ismail Ilkan Ceylan, Adnan Darwiche, Guy Van den Broeck:

Open World Probabilistic Databases (Extended Abstract). - Jiaoyan Chen, Huajun Chen, Jeff Z. Pan:

Semantic Reasoning for Smog Disaster Analysis. - Cristina Civili, Riccardo Rosati:

Bounded Implication for Existential Rules (Extended Abstract). - Cristina Feier, Antti Kuusisto, Carsten Lutz:

FO-Rewritability of Expressive Ontology-Mediated Queries. - Pablo Rubén Fillottrani, C. Maria Keet:

A Design for Coordinated and Logics-mediated Conceptual Modelling. - Laura Giordano, Daniele Theseider Dupré:

Reasoning in a Rational Extension of SROEL. - Domenico Lembo, Riccardo Rosati, Valerio Santarelli, Domenico Fabio Savo, Evgenij Thorstensen:

Approaching OBDA Evolution through Mapping Repair. - Marie-Laure Mugnier, Marie-Christine Rousset, Federico Ulliana:

Ontology-Mediated Queries for NOSQL Databases. - Jason St. Jacques, David Toman, Grant E. Weddell:

Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














