Grant E. Weddell

Proceedings of the Rules and Reasoning, 2022

Accessing Document Data Sources using Referring Expression Types.

[BibT_eX]

[DOI]

Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022

Understanding Document Data Sources Using Ontologies with Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the AI 2022: Advances in Artificial Intelligence, 2022

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

FO Rewritability for OMQ using Beth Definability and Interpolation.

[BibT_eX]

[DOI]

Proceedings of the 34th International Workshop on Description Logics (DL 2021) part of Bratislava Knowledge September (BAKS 2021), 2021

2020

Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages.

[BibT_eX]

[DOI]

Künstliche Intell., 2020

First Order Rewritability for Ontology Mediated Querying in Horn-DLFD.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Workshop on Description Logics (DL 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning (KR 2020), 2020

2019

Identity Resolution in Ontology Based Data Access to Structured Data Sources.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Exhaustive Query Answering via Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

On Special Description Logics for Processes and Plans.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Workshop on Description Logics, 2019

FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources.

[BibT_eX]

[DOI]

Stephanie McIntyre

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Finding ALL Answers to OBDA Queries Using Referring Expressions.

[BibT_eX]

[DOI]

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

The Utility of the Abstract Relational Model and Attribute Paths in SQL.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), Tempe, Arizona, US, October 27th - to, 2018

2017

An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Concerning Referring Expressions in Query Answers.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

On Partial Features in the DLF Dialects of Description Logic with Inverse Features.

[BibT_eX]

[DOI]

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

On Partial Features in the DLF Family of Description Logics.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate.

[BibT_eX]

[DOI]

Jason St. Jacques

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

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

[BibT_eX]

[DOI]

Jason St. Jacques

Proceedings of the 29th International Workshop on Description Logics, 2016

Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

On Enumerating Query Plans Using Analytic Tableau.

[BibT_eX]

[DOI]

Alexander K. Hudek

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the Utility of CFDI.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.

[BibT_eX]

[DOI]

Proceedings of the 28th International Workshop on Description Logics, 2015

Absorption for ABoxes and TBoxes with General Value Restrictions.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

On the Krom Extension of CFDI^∀ -_nc.

[BibT_eX]

[DOI]

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Absorption for ABoxes.

[BibT_eX]

[DOI]

J. Autom. Reason., 2014

Undecidability of Finite Model Reasoning in DLFD.

[BibT_eX]

[DOI]

CoRR, 2014

On Adding Inverse Features to the Description Logic CFD∀nc.

[BibT_eX]

[DOI]

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Pushing the CFDnc Envelope.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Absorption for ABoxes with Local Universal Restrictions.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness.

[BibT_eX]

[DOI]

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness.

[BibT_eX]

[DOI]

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

Assertion Absorption in Object Queries over Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Interpreting keyword queries over web knowledge bases.

[BibT_eX]

[DOI]

Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011

Fundamentals of Physical Design and Query Compilation

[BibT_eX]

[DOI]

Synthesis Lectures on Data Management, Morgan & Claypool Publishers, ISBN: 978-3-031-01881-7, 2011

An Assertion Retrieval Algebra for Object Queries over Knowledge Bases.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2011, 2011

2010

QUICK: Expressive and Flexible Search over Knowledge Bases and Text Collections.

[BibT_eX]

[DOI]

Jeffrey Pound

Ihab F. Ilyas

Proc. VLDB Endow., 2010

Model Checking Using Description Logic.

[BibT_eX]

[DOI]

J. Log. Comput., 2010

Saving space and time using index merging.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2010

Expressive and flexible access to web-extracted data: a keyword-based structured query language.

[BibT_eX]

[DOI]

Jeffrey Pound

Ihab F. Ilyas

Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

On Finding Query Rewritings under Expressive Constraints.

[BibT_eX]

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

On Building an Index Advisor for Semantic Web Queries.

[BibT_eX]

[DOI]

Proceedings of the Formal Ontology in Information Systems, 2010

Query Algebra and Query Optimization for Concept Assertion Retrieval.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Applications and Extensions of PTIME Description Logics with Functional Constraints.

[BibT_eX]

[DOI]

Proceedings of the IJCAI 2009, 2009

Concept Projection in Algebras for Computing Certain Answer Descriptions.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Fair Cycle Detection using Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Two-dimensional bidirectional object layout.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 2008

On Keys and Functional Dependencies as First-Class Citizens in Description Logics.

[BibT_eX]

[DOI]

J. Autom. Reason., 2008

Identifying Objects Over Time with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

On Ordering and Indexing Metadata for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Bounded Model Checking with Description Logic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

On Order Dependencies for the Semantic Web.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling, 2007

On Ordering Descriptions in a Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Modal vs. Propositional Reasoning for model checking with Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006

Binary Absorption in Tableaux-Based Reasoning for Description Logics.

[BibT_eX]

[DOI]

Alexander K. Hudek

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

Model checking the basic modalities of CTL with Description Logic.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

2005

On reasoning about structural equality in XML: a description logic approach.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

On Path-functional Dependencies as First-class Citizens in Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Attribute Inversion in Description Logic with Path Functional Dependencies .

[BibT_eX]

[DOI]

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Investigations in tree locking for compiled database applications.

[BibT_eX]

[DOI]

Heng Yu

Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003

Reasoning about Uniqueness Constraints in Object Relational Databases.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 2003

Index Selection for Embedded Control Applications using Description Logics.

[BibT_eX]

[DOI]

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Rewriting Aggregate Queries using Description Logic.

[BibT_eX]

[DOI]

David DeHaan

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002

Fine Grained Information Integration with Description Logics.

[BibT_eX]

[DOI]

Huizhu Liu

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Index selection for compiled database applications in embedded control programs.

[BibT_eX]

[DOI]

Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative Research, September 30, 2002

2001

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.

[BibT_eX]

[DOI]

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Query Processing in Embedded Control Programs.

[BibT_eX]

[DOI]

Proceedings of the Databases in Telecommunications II, VLDB 2001 International Workshop, 2001

2000

On Decidability and Complexity of Description Logics with Uniqueness Constraints.

[BibT_eX]

[DOI]

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning about Duplicate Elimination with Description Logic.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic, 2000

1997

Adding Uniqueness Constraints to Description Logics (Preliminary Report).

[BibT_eX]

[DOI]

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1995

Implication Problems for Functional Constraints on Databases Supporting Complex Objects.

[BibT_eX]

[DOI]

Minoru Ito

J. Comput. Syst. Sci., 1995

1994

Reasoning About Equations and Functional Dependencies on Complex Objects.

[BibT_eX]

[DOI]

Martin F. van Bommel

IEEE Trans. Knowl. Data Eng., 1994

1993

A Logic for Rule-Based Query Optimization in Graph-Based Data Models.

[BibT_eX]

[DOI]

Neil Coburn

Proceedings of the Deductive and Object-Oriented Databases, Third International Conference, 1993

1992

Reasoning about Functional Dependencies Generalized for Semantic Data Models.

[BibT_eX]

[DOI]

ACM Trans. Database Syst., 1992

1991

Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.

[BibT_eX]

[DOI]

Neil Coburn

Proceedings of the Deductive and Object-Oriented Databases, 1991

1990

Two-Directional Record Layout for Multiple Inheritance.

[BibT_eX]

[DOI]

William W. Pugh

Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

A Theory of Specialization Constraints for Complex Objects.

[BibT_eX]

[DOI]

Neil Coburn

Proceedings of the ICDT'90, 1990

1989

Selection of Indexes to Memory-Resident Entities for Semantic Data Models.

[BibT_eX]

[DOI]

IEEE Trans. Knowl. Data Eng., 1989

A Theory of Functional Dependencies for Object-Oriented Data Models.

[BibT_eX]

Proceedings of the Deductive and Object-Oriented Databases, 1989

1985

Physical design and query compilation for a semantic data model (assuming memory residence).

[BibT_eX]

[DOI]