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 Decidability and Complexity of Description Logics with Uniqueness Constraints.

[BibT_eX]

[DOI]

Proceedings of the Database Theory, 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

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]