David Toman

David Toman, 2003, 10th International Symposium on Temporal Representation and Reasoning, 2003 and Fourth International Conference on Temporal Logic. Proceedings..

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

Bijan Parsia, Ulrike Sattler, David Toman, 2006, Description Logics.

Conjunctive Query Answering in the Description Logic EL Using a Relational Database System

Carsten Lutz, Frank Wolter, David Toman, 2009, IJCAI.

On the Utility of CFDI

David Toman, Grant E. Weddell, David Toman, 2015, Description Logics.

Automatic Abstracting

Luciano Baresi, Philippe Bonnet, Bernhard Thalheim, 2009, Encyclopedia of Database Systems.

Temporal Structure

Gustavo Alonso, Martin Breunig, Vilém Novák, 2009, Encyclopedia of Database Systems.

A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms

David Toman, Petr Fiser, 2009, 2009 12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools.

First Order Rewritability for Ontology Mediated Querying in Horn-DLFD

David Toman, Grant E. Weddell, David Toman, 2020, Description Logics.

CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness

David Toman, Grant E. Weddell, 2013, Description Logics.

On Reasoning about Structural Equality in XML: A Description Logic Approach

David Toman, Grant E. Weddell, 2003, ICDT.

Constraint Databases and Program Analysis Using Abstract Interpretation

David Toman, David Toman, 1997, CDB.

Optimizing temporal queries: efficient handling of duplicates

David Toman, Ivan T. Bowman, 2003 .

Exhaustive Query Answering via Referring Expressions

David Toman, Grant E. Weddell, 2019, Description Logics.

Data Expiration and Aggregate Queries

David Toman, David Toman, 2009, AMW.

The Combined Approach to OBDA: Taming Role Hierarchies using Filters

Carsten Lutz, Frank Wolter, David Toman, 2012, SSWS+HPCSW@ISWC.

Point-Stamped Temporal Models

David Toman, David Toman, 2009, Encyclopedia of Database Systems.

Point-Stamped Temporal Models

David Toman, David Toman, 2018, Encyclopedia of Database Systems.

On Special Description Logics for Processes and Plans

Alexander Borgida, David Toman, Grant E. Weddell, 2019, Description Logics.

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

David Toman, Grant E. Weddell, 2017, IWIL@LPAR.

Point-Based Temporal Extension of Temporal SQL

David Toman, David Toman, 1997, DOOD.

On Order Dependencies for the Semantic Web

David Toman, Grant E. Weddell, 2007, ER.

SQL/TP: A Temporal Extension of SQL

David Toman, 2000, Constraint Databases.

Logical data expiration

David Toman, 2002 .

Temporal Association Mining

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

Adversarial Information Retrieval

Luciano Baresi, Philippe Bonnet, Bernhard Thalheim, 2009, Encyclopedia of Database Systems.

Temporal Relational Calculus

Jan Chomicki, David Toman, David Toman, 2009, Encyclopedia of Database Systems.

Logical Data Expiration for Fixpoint Extensions of Temporal Logics

David Toman, David Toman, 2003, SSTD.

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

Alexander Borgida, David Toman, Grant E. Weddell, 2019, AAAI.

Abstract Versus Concrete Temporal Query Languages

Jan Chomicki, David Toman, David Toman, 2018, Encyclopedia of Database Systems.

David Toman, Ludek Matyska, Adriana Jergová, 1991, ICLP.

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

David Toman, Grant E. Weddell, Jason St. Jacques, 2016, IJCAI.

On Ordering and Indexing Metadata for the Semantic Web

David Toman, Grant E. Weddell, Lubomir Stanchev, 2008, Description Logics.

Absorption for ABoxes and TBoxes with General Value Restrictions

David Toman, Grant E. Weddell, Jiewen Wu, 2015, Australasian Conference on Artificial Intelligence.

Rewriting Aggregate Queries using Description Logic

David Toman, Grant E. Weddell, David DeHaan, 2003, Description Logics.

Two-Sorted First-Order Logic

Martin Breunig, Philippe Bonnet, Arie Shoshani, 2009, Encyclopedia of Database Systems.

Implementing temporal integrity constraints using an active DBMS

Jan Chomicki, David Toman, David Toman, 1994, Proceedings of IEEE International Workshop on Research Issues in Data Engineering: Active Databases Systems.

Absorption for ABoxes with Local Universal Restrictions

David Toman, Grant E. Weddell, Jiewen Wu, 2013, Description Logics.

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2009, Description Logics.

Expiration of Historical Databases (Extended Abstract)

David Toman, 2001 .

On the Krom Extension of CFDI^∀ -_nc

David Toman, Grant E. Weddell, David Toman, 2015, Australasian Conference on Artificial Intelligence.

Undecidability of Finite Model Reasoning in DLFD pdf

David Toman, Grant E. Weddell, 2014, ArXiv.

Finding ALL Answers to OBDA Queries Using Referring Expressions

David Toman, Grant E. Weddell, David Toman, 2019, Australasian Conference on Artificial Intelligence.

Abstract Versus Concrete Temporal Query Languages

Jan Chomicki, David Toman, David Toman, 2009, Encyclopedia of Database Systems.

Optimizing temporal queries: efficient handling of duplicates

David Toman, Ivan T. Bowman, David Toman, 2001, Proceedings Eighth International Symposium on Temporal Representation and Reasoning. TIME 2001.

Memoing Evaluation for Constraint Extensions of Datalog

David Toman, David Toman, 2004, Constraints.

Querying ATSQL databases with temporal logic

Jan Chomicki, Michael H. Böhlen, David Toman, 1996, TODS.

Concept Projection in Algebras for Computing Certain Answer Descriptions

David Toman, Grant E. Weddell, Jiewen Wu, 2009, Description Logics.

Audit Trail

Luciano Baresi, Ioana Manolescu, Vilém Novák, 2020, Encyclopedia of Database Systems.

The Combined Approach to Query Answering in DL-Lite

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2010, KR.

Point vs. interval-based query languages for temporal databases (extended abstract)

David Toman, David Toman, 1996, PODS.

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

David Toman, Grant E. Weddell, Stephanie McIntyre, 2019, Description Logic, Theory Combination, and All That.

Point-Based Temporal Extensions of SQL and Their Efficient Implementation

David Toman, David Toman, 1997, Temporal Databases, Dagstuhl.

Logical data expiration

David Toman, David Toman, 2002, Proceedings Ninth International Symposium on Temporal Representation and Reasoning.

Fixpoints in Temporal Description Logics

Enrico Franconi, David Toman, 2011, IJCAI.

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

David Toman, Grant E. Weddell, 2001, Description Logics.

On Partial Features in the DLF Family of Description Logics

David Toman, Grant E. Weddell, 2016, PRICAI.

Peer Data Management

Djoerd Hiemstra, Philippe Bonnet, Andrew Trotman, 2009, Encyclopedia of Database Systems.

On Adding Inverse Features to the Description Logic CFD∀nc

David Toman, Grant E. Weddell, 2014, PRICAI.

Conjunctive Query Answering in EL using a Database System

Carsten Lutz, Frank Wolter, David Toman, 2008, OWLED.

Polynomial encoding of ORM conceptual models in CFDI

Pablo R. Fillottrani, C. Maria Keet, David Toman, 2015, Description Logics.

Temporal Vacuuming

John F. Roddick, David Toman, David Toman, 2018, Encyclopedia of Database Systems.

Prolog and WAM - A Case Study of an Implementation

Luděk Matyska, David Toman, David Toman, 1988 .

Temporal Vacuuming

John F. Roddick, David Toman, David Toman, 2009, Encyclopedia of Database Systems.

A point-based temporal extension of SQL

David Toman, David Toman, 1997 .

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

David Toman, Grant E. Weddell, 2016, Australasian Conference on Artificial Intelligence.

Decidable Reasoning over Timestamped Conceptual Models

Alessandro Artale, David Toman, 2008, Description Logics.

Fine Grained Information Integration with Description Logics

David Toman, Grant E. Weddell, Huizhu Liu, 2002, Description Logics.

Temporal Logic in Information Systems

Jan Chomicki, David Toman, David Toman, 1998, Logics for Databases and Information Systems.

Concerning Referring Expressions in Query Answers

Alexander Borgida, David Toman, Grant E. Weddell, 2017, IJCAI.

Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog

David Toman, David Toman, 1995, ILPS.

Pushing the CFDnc Envelope

David Toman, Grant E. Weddell, 2014, Description Logics.

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

C. Maria Keet, David Toman, Grant E. Weddell, 2018, EKAW.

Attribute Inversion in Description Logic with Path Functional Dependencies

David Toman, Grant E. Weddell, 2004, Description Logics.

On Referring Expressions in Information Systems Derived from Conceptual Modelling

Alexander Borgida, David Toman, Grant E. Weddell, 2016, ER.

Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases

David Toman, Grant E. Weddell, David Toman, 2018, Description Logics.

Audio Feature Extraction

Luciano Baresi, Philippe Bonnet, Bernhard Thalheim, 2009, Encyclopedia of Database Systems.

Absorption for ABoxes

David Toman, Alexander K. Hudek, Grant E. Weddell, 2014, Journal of Automated Reasoning.

Fundamentals of Physical Design and Query Compilation

David Toman, Grant E. Weddell, David Toman, 2011, Fundamentals of Physical Design and Query Compilation.

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

David Toman, Grant E. Weddell, 2006, IJCAR.

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

Alexander Borgida, David Toman, Grant E. Weddell, 2015, Description Logics.

A comprehensive XQuery to SQL translation using dynamic interval encoding

M. Tamer Özsu, Mariano P. Consens, David Toman, 2003, SIGMOD '03.

Logic programming approach to automata-based decision procedures

David Toman, Gulay Ünel, David Toman, 2007, J. Log. Algebraic Methods Program..

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

David Toman, Grant E. Weddell, 2017, Description Logics.

Query Algebra and Query Optimization for Concept Assertion Retrieval

David Toman, Grant E. Weddell, Jiewen Wu, 2010, Description Logics.

Temporal Databases

Jan Chomicki, David Toman, David Toman, 2005, Handbook of Temporal Reasoning in Artificial Intelligence.

First-Order Queries over Temporal Databases Inexpressible in Temporal Logic

David Toman, Damian Niwinski, David Toman, 1996, EDBT.

The Combined Approach to Ontology-Based Data Access

Carsten Lutz, Frank Wolter, Michael Zakharyaschev, 2011, IJCAI.

Identity Resolution in Ontology Based Data Access to Structured Data Sources

David Toman, Grant E. Weddell, David Toman, 2019, PRICAI.

Special issue of the Journal of Web Semantics on ontology-based data access

Diego Calvanese, David Toman, Manolis Koubarakis, 2015, Journal of Web Semantics.

On Referring Expressions in Query Answering over First Order Knowledge Bases

Alexander Borgida, David Toman, Grant E. Weddell, 2016, KR.

Logic Programming Approach to Automata-Based Decision Procedures

David Toman, Gulay Ünel, 2007, ICLP.

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

Alexander Borgida, David Toman, Grant E. Weddell, 2018, KR.

FO Rewritability for OMQ using Beth Definability and Interpolation

David Toman, Grant E. Weddell, David Toman, 2021, Description Logics.

Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)

David Toman, Grant Wedell, 2021, SOQE@KR.

Querying ATSQL Databases with Temporal Logi

David Toman, David Toman, Jan Chomi ki, 2001 .

Point-based Temporal Extensions of Sql and Their Eecient Implementation 1.2 Our Proposal 2 the Data Model for Temporal Databases 3.1 Data Deenition Language 3.2 the Query Language

David Toman, 2007 .

On the Krom Extension of \mathcal {CFDI}^{\forall -}_{nc}

David Toman, Grant E. Weddell, David Toman, 2015 .

Foundations of Temporal Query Languages

Jan Chomicki, David Toman, David Toman, 1995 .

Conjunctive Query Answering in ${\mathcal{CFD}}_{nc}$: A PTIME Description Logic with Functional Constraints and Disjointness

David Toman, Grant E. Weddell, David Toman, 2013 .

Answering Queries over CFD ∀ nc Knowledge Bases

David Toman, Grant Weddell, David Toman, 2015 .

Applications and extensions of PTIME description logics with functional constraints

David Toman, Grant E. Weddell, David Toman, 2009, IJCAI 2009.