First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. | 0 | 0.34 | 2022 |
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). | 0 | 0.34 | 2021 |
FO Rewritability for OMQ using Beth Definability and Interpolation. | 0 | 0.34 | 2021 |
Using Feature-Based Description Logics To Avoid Duplicate Elimination In Object-Relational Query Languages | 0 | 0.34 | 2020 |
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. | 0 | 0.34 | 2020 |
Exhaustive Query Answering via Referring Expressions. | 0 | 0.34 | 2019 |
Finding ALL Answers to OBDA Queries Using Referring Expressions. | 0 | 0.34 | 2019 |
On Special Description Logics for Processes and Plans. | 0 | 0.34 | 2019 |
FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. | 0 | 0.34 | 2019 |
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. | 0 | 0.34 | 2019 |
The Utility of the Abstract Relational Model and Attribute Paths in SQL. | 0 | 0.34 | 2018 |
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. | 0 | 0.34 | 2018 |
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. | 0 | 0.34 | 2018 |
Concerning Referring Expressions in Query Answers. | 0 | 0.34 | 2017 |
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). | 0 | 0.34 | 2017 |
On Partial Features in the DLF Dialects of Description Logic with Inverse Features. | 0 | 0.34 | 2017 |
On Partial Features in the DLF Family of Description Logics. | 0 | 0.34 | 2016 |
Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). | 0 | 0.34 | 2016 |
On Referring Expressions in Query Answering over First Order Knowledge Bases. | 1 | 0.39 | 2016 |
Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract). | 0 | 0.34 | 2016 |
Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate. | 0 | 0.34 | 2016 |
On the Utility of CFDI. | 0 | 0.34 | 2015 |
On the Krom Extension of CFDI^∀ -_nc. | 0 | 0.34 | 2015 |
Polynomial encoding of ORM conceptual models in CFDI. | 1 | 0.38 | 2015 |
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. | 0 | 0.34 | 2015 |
On Enumerating Query Plans Using Analytic Tableau. | 3 | 0.38 | 2015 |
Absorption for ABoxes and TBoxes with General Value Restrictions. | 0 | 0.34 | 2015 |
Undecidability of Finite Model Reasoning in DLFD. | 0 | 0.34 | 2014 |
Pushing the CFDnc Envelope. | 1 | 0.37 | 2014 |
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. | 0 | 0.34 | 2013 |
Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness. | 0 | 0.34 | 2013 |
Absorption for ABoxes with Local Universal Restrictions. | 0 | 0.34 | 2013 |
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters | 39 | 1.19 | 2013 |
Absorption for ABoxes | 3 | 0.38 | 2012 |
Assertion Absorption in Object Queries over Knowledge Bases. | 3 | 0.43 | 2012 |
Fixpoints in temporal description logics | 6 | 0.48 | 2011 |
An assertion retrieval algebra for object queries over knowledge bases | 3 | 0.45 | 2011 |
The Combined Approach to Query Answering in DL-Lite | 103 | 4.02 | 2010 |
On Finding Query Rewritings under Expressive Constraints | 4 | 0.57 | 2010 |
Query Algebra and Query Optimization for Concept Assertion Retrieval | 0 | 0.34 | 2010 |
Data Expiration and Aggregate Queries | 0 | 0.34 | 2009 |
Concept Projection in Algebras for Computing Certain Answer Descriptions | 2 | 0.46 | 2009 |
Applications and extensions of PTIME description logics with functional constraints | 0 | 0.34 | 2009 |
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite | 8 | 1.25 | 2009 |
Conjunctive query answering in the description logic EL using a relational database system | 114 | 4.18 | 2009 |
A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms | 3 | 0.42 | 2009 |
Decidable Reasoning over Timestamped Conceptual Models. | 2 | 0.38 | 2008 |
Identifying Objects Over Time with Description Logics. | 0 | 0.34 | 2008 |
Conjunctive Query Answering in EL using a Database System | 7 | 0.93 | 2008 |
On Ordering and Indexing Metadata for the Semantic Web | 4 | 0.61 | 2008 |