Register Allocation in WAM. - Ludek Matyska; Adriana Jergová; David Toman 001 (ICLP, 1991)

Datalog with Integer Periodicity Constraints. - David Toman 001; Jan Chomicki; David S. Rogers (ILPS, 1994)

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. - David Toman 001 (ILPS, 1995)

Implementing Temporal Integrity Constraints Using an Active DBMS. - Jan Chomicki; David Toman 001 (IEEE Trans. Knowl. Data Eng., 1995)

Querying TSQL2 Databases with Temporal Logic. - Michael H. Böhlen; Jan Chomicki; Richard T. Snodgrass; David Toman 001 (EDBT, 1996)

First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. - David Toman 001; Damian Niwinski (EDBT, 1996)

Point vs. Interval-based Query Languages for Temporal Databases. - David Toman 001 (PODS, 1996)

Computing the Well-Founded Semantics for Constraint Extensions of Datalog. - David Toman 001 (CDB, 1997)

Constraint Databases and Program Analysis Using Abstract Interpretation. - David Toman 001 (CDB, 1997)

Point-Based Temporal Extensions of SQL and Their Efficient Implementation. - David Toman 001 (Temporal Databases, Dagstuhl, 1997)

Point-Based Temporal Extension of Temporal SQL. - David Toman 001 (DOOD, 1997)

Memoing Evaluation for Constraint Extensions of Datalog. - David Toman 001 (Constraints An Int. J., 1997)

Temporal Logic in Information Systems. - Jan Chomicki; David Toman 001 (Logics for Databases and Information Systems, 1998)

Datalog with Integer Periodicity Constraints. - David Toman 001; Jan Chomicki (J. Log. Program., 1998)

SQL/TP: A Temporal Extension of SQL. - David Toman 001 (Constraint Databases, 2000)

Reasoning about Duplicate Elimination with Description Logic. - Vitaliy L. Khizder; David Toman 001; Grant E. Weddell (Computational Logic, 2000)

On Decidability and Complexity of Description Logics with Uniqueness Constraints. - Vitaliy L. Khizder; David Toman 001; Grant E. Weddell (Description Logics, 2000)

Query Processing in Embedded Control Programs. - David Toman 001; Grant E. Weddell (Databases in Telecommunications, 2001)

On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. - David Toman 001; Grant E. Weddell (Description Logics, 2001)

Expiration of Historical Databases. - David Toman 001 (TIME, 2001)

Querying ATSQL databases with temporal logic. - Jan Chomicki; David Toman 001; Michael H. Böhlen (ACM Trans. Database Syst., 2001)

Fine Grained Information Integration with Description Logics. - Huizhu Liu; David Toman 001; Grant E. Weddell (Description Logics, 2002)

Logical Data Expiration. - David Toman 001 (Logics for Emerging Applications of Databases, 2003)

Rewriting Aggregate Queries using Description Logic. - David DeHaan; David Toman 001; Grant E. Weddell (Description Logics, 2003)

Fixpoint Extensions of Temporal Description Logics. - Enrico Franconi; David Toman 001 (Description Logics, 2003)

A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. - David DeHaan; David Toman 001; Mariano P. Consens; M. Tamer Özsu (SIGMOD Conference, 2003)

Logical Data Expiration for Fixpoint Extensions of Temporal Logics. - David Toman 001 (SSTD, 2003)

On Incompleteness of Multi-dimensional First-order Temporal Logics. - David Toman 001 (TIME, 2003)

Optimizing temporal queries: efficient handling of duplicates. - Ivan T. Bowman; David Toman 001 (Data Knowl. Eng., 2003)

Variable Independence in Constraint Databases. - Jan Chomicki; Dina Q. Goldin; Gabriel M. Kuper; David Toman 001 (IEEE Trans. Knowl. Data Eng., 2003)

Attribute Inversion in Description Logic with Path Functional Dependencies . - David Toman 001; Grant E. Weddell (Description Logics, 2004)

On Path-functional Dependencies as First-class Citizens in Description Logics. - David Toman 001; Grant E. Weddell (Description Logics, 2005)

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. - David Toman 001; Grant E. Weddell (IJCAI, 2005)

Structure and Content Scoring for XML. - Sihem Amer-Yahia; Nick Koudas; Amélie Marian; Divesh Srivastava; David Toman 001 (VLDB, 2005)

On reasoning about structural equality in XML: a description logic approach. - David Toman 001; Grant E. Weddell (Theor. Comput. Sci., 2005)

Temporal Databases. - Jan Chomicki; David Toman 001 (Handbook of Temporal Reasoning in Artificial Intelligence, 2005)

On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. - David Toman 001 (STDBM, 2006)

An Incremental Technique for Automata-Based Decision Procedures. - Gulay Ünel; David Toman 001 (CADE, 2007)

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. - Vitaliy L. Khizder; David Toman 001; Grant E. Weddell (Description Logics, 2007)

On Ordering Descriptions in a Description Logic. - Jeffrey Pound; Lubomir Stanchev; David Toman 001; Grant E. Weddell (Description Logics, 2007)

On Order Dependencies for the Semantic Web. - David Toman 001; Grant E. Weddell (ER, 2007)

A Description Logic of Change. - Alessandro Artale; Carsten Lutz; David Toman 001 (IJCAI, 2007)

Special Issue: TIME 2005. - Jan Chomicki; David Toman 001 (Inf. Comput., 2007)

On Ordering and Indexing Metadata for the Semantic Web. - Jeffrey Pound; Lubomir Stanchev; David Toman 001; Grant E. Weddell (Description Logics, 2008)

Optimizing away joins on data streams. - Lukasz Golab; Theodore Johnson; Nick Koudas; Divesh Srivastava; David Toman 001 (SSPS, 2008)

Identifying Objects Over Time with Description Logics. - David Toman 001; Grant E. Weddell (KR, 2008)

Conjunctive Query Answering in EL using a Database System. - Carsten Lutz; David Toman 001; Frank Wolter (OWLED, 2008)

Decidable Reasoning over Timestamped Conceptual Models. - Alessandro Artale; David Toman 001 (SEBD, 2008)

On Keys and Functional Dependencies as First-Class Citizens in Description Logics. - David Toman 001; Grant E. Weddell (J. Autom. Reason., 2008)

Data Expiration and Aggregate Queries. - David Toman 001 (AMW, 2009)

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (Description Logics, 2009)

Concept Projection in Algebras for Computing Certain Answer Descriptions. - Jeffrey Pound; David Toman 001; Grant E. Weddell; Jiewen Wu (Description Logics, 2009)

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. - Carsten Lutz; David Toman 001; Frank Wolter (IJCAI, 2009)

Applications and Extensions of PTIME Description Logics with Functional Constraints. - David Toman 001; Grant E. Weddell (IJCAI, 2009)

Abstract Versus Concrete Temporal Query Languages. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems, 2009)

Temporal Logic in Database Query Languages. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems, 2009)

Temporal Relational Calculus. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems, 2009)

Temporal Vacuuming. - John F. Roddick; David Toman 001 (Encyclopedia of Database Systems, 2009)

Point-Stamped Temporal Models. - David Toman 001 (Encyclopedia of Database Systems, 2009)

Query Algebra and Query Optimization for Concept Assertion Retrieval. - Jeffrey Pound; David Toman 001; Grant E. Weddell; Jiewen Wu (Description Logics, 2010)

The Combined Approach to Query Answering in DL-Lite. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (KR, 2010)

On Finding Query Rewritings under Expressive Constraints. - Alexander Borgida; Jos de Bruijn; Enrico Franconi; Inanç Seylan; Umberto Straccia; David Toman 001; Grant E. Weddell (SEBD, 2010)

Fixpoints in Temporal Description Logics. - Enrico Franconi; David Toman 001 (IJCAI, 2011)

The Combined Approach to Ontology-Based Data Access. - Roman Kontchakov; Carsten Lutz; David Toman 001; Frank Wolter; Michael Zakharyaschev (IJCAI, 2011)

An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. - Jeffrey Pound; David Toman 001; Grant E. Weddell; Jiewen Wu (IJCAI, 2011)

Fundamentals of Physical Design and Query Compilation - David Toman 001; Grant E. Weddell (Morgan & Claypool Publishers, 2011)

Assertion Absorption in Object Queries over Knowledge Bases. - Jiewen Wu; Alexander K. Hudek; David Toman 001; Grant E. Weddell (KR, 2012)

The Combined Approach to OBDA: Taming Role Hierarchies using Filters. - Carsten Lutz; Inanç Seylan; David Toman 001; Frank Wolter (SSWS+HPCSW@ISWC, 2012)

Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness. - David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2013)

CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. - David Toman 001; Grant E. Weddell (Description Logics, 2013)

Absorption for ABoxes with Local Universal Restrictions. - Jiewen Wu; Taras Kinash; David Toman 001; Grant E. Weddell (Description Logics, 2013)

Cost-Based Query Optimization via AI Planning. - Nathan Robinson; Sheila A. McIlraith; David Toman 001 (AAAI, 2014)

Pushing the CFDnc Envelope. - David Toman 001; Grant E. Weddell (Description Logics, 2014)

On Adding Inverse Features to the Description Logic CFD∀nc. - David Toman 001; Grant E. Weddell (PRICAI, 2014)

Undecidability of Finite Model Reasoning in DLFD. - David Toman 001; Grant E. Weddell (CoRR, 2014)

Absorption for ABoxes. - Jiewen Wu; Alexander K. Hudek; David Toman 001; Grant E. Weddell (J. Autom. Reason., 2014)

On the Krom Extension of CFDI^∀ -_nc. - David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2015)

Absorption for ABoxes and TBoxes with General Value Restrictions. - Jiewen Wu; Taras Kinash; David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2015)

Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. - Alexander Borgida; David Toman 001; Grant E. Weddell (Description Logics, 2015)

Polynomial encoding of ORM conceptual models in CFDI. - Pablo R. Fillottrani; C. Maria Keet; David Toman 001 (Description Logics, 2015)

On the Utility of CFDI. - David Toman 001; Grant E. Weddell (Description Logics, 2015)

On Enumerating Query Plans Using Analytic Tableau. - Alexander K. Hudek; David Toman 001; Grant E. Weddell (TABLEAUX, 2015)

Special issue of the Journal of Web Semantics on ontology-based data access. - Diego Calvanese; Manolis Koubarakis; David Toman 001 (J. Web Semant., 2015)

Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract). - David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2016)

Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). - Jason St. Jacques; David Toman 001; Grant E. Weddell (Description Logics, 2016)

On Referring Expressions in Information Systems Derived from Conceptual Modelling. - Alexander Borgida; David Toman 001; Grant E. Weddell (ER, 2016)

Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate. - Jason St. Jacques; David Toman 001; Grant E. Weddell (IJCAI, 2016)

On Referring Expressions in Query Answering over First Order Knowledge Bases. - Alexander Borgida; David Toman 001; Grant E. Weddell (KR, 2016)

On Partial Features in the DLF Family of Description Logics. - David Toman 001; Grant E. Weddell (PRICAI, 2016)

On Partial Features in the DLF Dialects of Description Logic with Inverse Features. - David Toman 001; Grant E. Weddell (Description Logics, 2017)

Concerning Referring Expressions in Query Answers. - Alexander Borgida; David Toman 001; Grant E. Weddell (IJCAI, 2017)

An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). - David Toman 001; Grant E. Weddell (LPAR (Short Presentations), 2017)

Logic programming approach to automata-based decision procedures. - Gulay Ünel; David Toman 001 (J. Log. Algebraic Methods Program., 2017)

Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. - David Toman 001; Grant E. Weddell (Description Logics, 2018)

The Utility of the Abstract Relational Model and Attribute Paths in SQL. - Weicong Ma; C. Maria Keet; Wayne Oldford; David Toman 001; Grant E. Weddell (EKAW, 2018)

On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. - Stephanie McIntyre; Alexander Borgida; David Toman 001; Grant E. Weddell (KR, 2018)

Abstract Versus Concrete Temporal Query Languages. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

Temporal Logic in Database Query Languages. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

Temporal Relational Calculus. - Jan Chomicki; David Toman 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

Temporal Vacuuming. - John F. Roddick; David Toman 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

Point-Stamped Temporal Models. - David Toman 001 (Encyclopedia of Database Systems (2nd ed.), 2018)

On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. - Stephanie McIntyre; Alexander Borgida; David Toman 001; Grant E. Weddell (AAAI, 2019)

Finding ALL Answers to OBDA Queries Using Referring Expressions. - David Toman 001; Grant E. Weddell (Australasian Conference on Artificial Intelligence, 2019)

FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. - Stephanie McIntyre; David Toman 001; Grant E. Weddell (Description Logic, Theory Combination, and All That, 2019)

On Special Description Logics for Processes and Plans. - Alexander Borgida; David Toman 001; Grant E. Weddell (Description Logics, 2019)

Exhaustive Query Answering via Referring Expressions. - David Toman 001; Grant E. Weddell (Description Logics, 2019)

Identity Resolution in Ontology Based Data Access to Structured Data Sources. - David Toman 001; Grant E. Weddell (PRICAI (1), 2019)

First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. - David Toman 001; Grant E. Weddell (Description Logics, 2020)

Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages. - David Toman 001; Grant E. Weddell (Künstliche Intell., 2020)

FO Rewritability for OMQ using Beth Definability and Interpolation. - David Toman 001; Grant E. Weddell (Description Logics, 2021)

Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). - David Toman 001; Grant E. Wedell (SOQE@KR, 2021)

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. - David Toman 001; Grant E. Weddell (AAAI, 2022)

Understanding Document Data Sources Using Ontologies with Referring Expressions. - Alexander Borgida; Enrico Franconi; David Toman 001; Grant E. Weddell (AI, 2022)

Accessing Document Data Sources using Referring Expression Types. - Alexander Borgida; Enrico Franconi; David Toman 001; Grant E. Weddell (Description Logics, 2022)

Magic Sets in Interpolation-Based Rule Driven Query Optimization. - Eva Feng; David Toman 001; Grant E. Weddell (RuleML+RR, 2022)

Path Description Dependencies in Feature-Based DLs. - Eva Feng; Alexander Borgida; Enrico Franconi; Peter F. Patel-Schneider; David Toman 001; Grant E. Weddell (Description Logics, 2023)

Equality Generating Dependencies in Description Logics via Path Agreements. - Eva Feng; Enrico Franconi; Peter F. Patel-Schneider; David Toman 001; Grant E. Weddell (AI (2), 2024)

On Mixed Semantics of Path Description Dependencies in FunDL. - Eva Feng; David Toman 001; Grant E. Weddell (Description Logics, 2024)