Grant E. Weddell

According to our database1, Grant E. Weddell
  • authored at least 76 papers between 1989 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).
Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Concerning Referring Expressions in Query Answers.
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.
Proceedings of the 30th International Workshop on Description Logics, 2017

2016
On Partial Features in the DLF Family of Description Logics.
Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.
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.
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).
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).
Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015
On Enumerating Query Plans Using Analytic Tableau.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the Utility of CFDI.
Proceedings of the 28th International Workshop on Description Logics, 2015

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect.
Proceedings of the 28th International Workshop on Description Logics, 2015

Absorption for ABoxes and TBoxes with General Value Restrictions.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

On the Krom Extension of CFDI^∀ -_nc.
Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014
Absorption for ABoxes.
J. Autom. Reasoning, 2014

Undecidability of Finite Model Reasoning in DLFD.
CoRR, 2014

On Adding Inverse Features to the Description Logic CFDnc.
Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Pushing the CFDnc Envelope.
Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013
Absorption for ABoxes with Local Universal Restrictions.
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.
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.
Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012
Assertion Absorption in Object Queries over Knowledge Bases.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Absorption for ABoxes.
Proceedings of the 2012 International Workshop on Description Logics, 2012

Interpreting keyword queries over web knowledge bases.
Proceedings of the 21st ACM International Conference on Information and Knowledge Management, 2012

2011
Fundamentals of Physical Design and Query Compilation
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2011

An Assertion Retrieval Algebra for Object Queries over Knowledge Bases.
Proceedings of the IJCAI 2011, 2011

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

Model Checking Using Description Logic.
J. Log. Comput., 2010

Saving space and time using index merging.
Data Knowl. Eng., 2010

Expressive and flexible access to web-extracted data: a keyword-based structured query language.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2010

On Finding Query Rewritings under Expressive Constraints.
Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

On Building an Index Advisor for Semantic Web Queries.
Proceedings of the Formal Ontology in Information Systems, 2010

Query Algebra and Query Optimization for Concept Assertion Retrieval.
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009
Applications and Extensions of PTIME Description Logics with Functional Constraints.
Proceedings of the IJCAI 2009, 2009

Concept Projection in Algebras for Computing Certain Answer Descriptions.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Fair Cycle Detection using Description Logic Reasoning.
Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008
Two-dimensional bidirectional object layout.
ACM Trans. Program. Lang. Syst., 2008

On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
J. Autom. Reasoning, 2008

Identifying Objects Over Time with Description Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Identifying Objects Over Time with Description Logics.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

On Ordering and Indexing Metadata for the Semantic Web.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Bounded Model Checking with Description Logic Reasoning.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

On Order Dependencies for the Semantic Web.
Proceedings of the Conceptual Modeling, 2007

On Ordering Descriptions in a Description Logic.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Modal vs. Propositional Reasoning for model checking with Description Logics.
Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

2006
Binary Absorption in Tableaux-Based Reasoning for Description Logics.
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.
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30, 2006

On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

2005
On reasoning about structural equality in XML: a description logic approach.
Theor. Comput. Sci., 2005

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.
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.
Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004
Attribute Inversion in Description Logic with Path Functional Dependencies .
Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

Investigations in tree locking for compiled database applications.
Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003
Reasoning about Uniqueness Constraints in Object Relational Databases.
IEEE Trans. Knowl. Data Eng., 2003

On Reasoning about Structural Equality in XML: A Description Logic Approach.
Proceedings of the Database Theory, 2003

Index Selection for Embedded Control Applications using Description Logics.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Rewriting Aggregate Queries using Description Logic.
Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

2002
Fine Grained Information Integration with Description Logics.
Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

Index selection for compiled database applications in embedded control programs.
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.
Proceedings of the Database Theory, 2001

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Query Processing in Embedded Control Programs.
Proceedings of the Databases in Telecommunications II, VLDB 2001 International Workshop, 2001

2000
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning about Duplicate Elimination with Description Logic.
Proceedings of the Computational Logic, 2000

1997
Adding Uniqueness Constraints to Description Logics (Preliminary Report).
Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

1995
Implication Problems for Functional Constraints on Databases Supporting Complex Objects.
J. Comput. Syst. Sci., 1995

1994
Reasoning About Equations and Functional Dependencies on Complex Objects.
IEEE Trans. Knowl. Data Eng., 1994

Implication Problems for Functional Constraints on Databases Supporting Complex Objects.
J. Comput. Syst. Sci., 1994

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

1992
Reasoning about Functional Dependencies Generalized for Semantic Data Models.
ACM Trans. Database Syst., 1992

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

1990
Two-Directional Record Layout for Multiple Inheritance.
Proceedings of the ACM SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), 1990

A Theory of Specialization Constraints for Complex Objects.
Proceedings of the ICDT'90, 1990

1989
Selection of Indexes to Memory-Resident Entities for Semantic Data Models.
IEEE Trans. Knowl. Data Eng., 1989

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


  Loading...