default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDescription 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.
last updated on 2025-02-21 19:40 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:
