| 2008 |
|---|
| 39 | EE | David Toman,
Grant E. Weddell:
Identifying Objects Over Time with Description Logics.
Description Logics 2008 |
| 38 | EE | Jeffrey Pound,
Lubomir Stanchev,
David Toman,
Grant E. Weddell:
On Ordering and Indexing Metadata for the Semantic Web.
Description Logics 2008 |
| 37 | | David Toman,
Grant E. Weddell:
Identifying Objects Over Time with Description Logics.
KR 2008: 724-732 |
| 36 | EE | Joseph Gil,
William Pugh,
Grant E. Weddell,
Yoav Zibin:
Two-dimensional bidirectional object layout.
ACM Trans. Program. Lang. Syst. 30(5): (2008) |
| 35 | EE | David Toman,
Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
J. Autom. Reasoning 40(2-3): 117-132 (2008) |
| 2007 |
|---|
| 34 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.
Description Logics 2007 |
| 33 | EE | Shoham Ben-David,
Richard J. Trefler,
Grant E. Weddell:
Modal vs. Propositional Reasoning for model checking with Description Logics.
Description Logics 2007 |
| 32 | EE | Jeffrey Pound,
Lubomir Stanchev,
David Toman,
Grant E. Weddell:
On Ordering Descriptions in a Description Logic.
Description Logics 2007 |
| 31 | EE | David Toman,
Grant E. Weddell:
On Order Dependencies for the Semantic Web.
ER 2007: 293-306 |
| 30 | EE | Shoham Ben-David,
Richard J. Trefler,
Grant E. Weddell:
Bounded Model Checking with Description Logic Reasoning.
TABLEAUX 2007: 60-72 |
| 2006 |
|---|
| 29 | EE | Alexander K. Hudek,
Grant E. Weddell:
Binary Absorption in Tableaux-Based Reasoning for Description Logics.
Description Logics 2006 |
| 28 | EE | Shoham Ben-David,
Richard J. Trefler,
Grant E. Weddell:
Model checking the basic modalities of CTL with Description Logic.
Description Logics 2006 |
| 27 | EE | David Toman,
Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics.
IJCAR 2006: 647-661 |
| 2005 |
|---|
| 26 | EE | David Toman,
Grant E. Weddell:
On Path-functional Dependencies as First-class Citizens in Description Logics.
Description Logics 2005 |
| 25 | EE | David Toman,
Grant E. Weddell:
On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.
IJCAI 2005: 603-608 |
| 24 | EE | David Toman,
Grant E. Weddell:
On reasoning about structural equality in XML: a description logic approach.
Theor. Comput. Sci. 336(1): 181-203 (2005) |
| 2004 |
|---|
| 23 | EE | Heng Yu,
Grant E. Weddell:
Investigations in tree locking for compiled database applications.
CASCON 2004: 217-231 |
| 22 | EE | David Toman,
Grant E. Weddell:
Attribute Inversion in Description Logic with Path Functional Dependencies .
Description Logics 2004 |
| 2003 |
|---|
| 21 | EE | Lubomir Stanchev,
Grant E. Weddell:
Index Selection for Embedded Control Applications using Description Logics.
Description Logics 2003 |
| 20 | EE | David DeHaan,
David Toman,
Grant E. Weddell:
Rewriting Aggregate Queries using Description Logic.
Description Logics 2003 |
| 19 | EE | David Toman,
Grant E. Weddell:
On Reasoning about Structural Equality in XML: A Description Logic Approach.
ICDT 2003: 96-110 |
| 18 | EE | Vitaliy L. Khizder,
Grant E. Weddell:
Reasoning about Uniqueness Constraints in Object Relational Databases.
IEEE Trans. Knowl. Data Eng. 15(5): 1295-1306 (2003) |
| 2002 |
|---|
| 17 | EE | Lubomir Stanchev,
Grant E. Weddell:
Index selection for compiled database applications in embedded control programs.
CASCON 2002: 11 |
| 2001 |
|---|
| 16 | EE | David Toman,
Grant E. Weddell:
Query Processing in Embedded Control Programs.
Databases in Telecommunications 2001: 68-87 |
| 15 | EE | David Toman,
Grant E. Weddell:
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem.
Description Logics 2001 |
| 14 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
ICDT 2001: 54-67 |
| 2000 |
|---|
| 13 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
Reasoning about Duplicate Elimination with Description Logic.
Computational Logic 2000: 1017-1032 |
| 12 | EE | Vitaliy L. Khizder,
David Toman,
Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints.
Description Logics 2000: 193-202 |
| 1997 |
|---|
| 11 | | Alexander Borgida,
Grant E. Weddell:
Adding Uniqueness Constraints to Description Logics (Preliminary Report).
DOOD 1997: 85-102 |
| 1995 |
|---|
| 10 | | Minoru Ito,
Grant E. Weddell:
Implication Problems for Functional Constraints on Databases Supporting Complex Objects.
J. Comput. Syst. Sci. 50(1): 165-187 (1995) |
| 1994 |
|---|
| 9 | EE | Martin F. van Bommel,
Grant E. Weddell:
Reasoning About Equations and Functional Dependencies on Complex Objects.
IEEE Trans. Knowl. Data Eng. 6(3): 455-469 (1994) |
| 8 | | Minoru Ito,
Grant E. Weddell:
Implication Problems for Functional Constraints on Databases Supporting Complex Objects.
J. Comput. Syst. Sci. 49(3): 726-768 (1994) |
| 1993 |
|---|
| 7 | | Neil Coburn,
Grant E. Weddell:
A Logic for Rule-Based Query Optimization in Graph-Based Data Models.
DOOD 1993: 120-145 |
| 1992 |
|---|
| 6 | EE | Grant E. Weddell:
Reasoning about Functional Dependencies Generalized for Semantic Data Models.
ACM Trans. Database Syst. 17(1): 32-64 (1992) |
| 1991 |
|---|
| 5 | | Neil Coburn,
Grant E. Weddell:
Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies.
DOOD 1991: 312-331 |
| 1990 |
|---|
| 4 | EE | Grant E. Weddell,
Neil Coburn:
A Theory of Specialization Constraints for Complex Objects.
ICDT 1990: 229-244 |
| 3 | | William Pugh,
Grant E. Weddell:
Two-Directional Record Layout for Multiple Inheritance.
PLDI 1990: 85-91 |
| 1989 |
|---|
| 2 | | Grant E. Weddell:
A Theory of Functional Dependencies for Object-Oriented Data Models.
DOOD 1989: 165-184 |
| 1 | EE | Grant E. Weddell:
Selection of Indexes to Memory-Resident Entities for Semantic Data Models.
IEEE Trans. Knowl. Data Eng. 1(2): 274-284 (1989) |
