David Toman

According to our database, David Toman authored at least 117 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

On Mixed Semantics of Path Description Dependencies in FunDL.

Eva Feng, David Toman, Grant E. Weddell

Proceedings of the 37th International Workshop on Description Logics (DL 2024), 2024

2023

Path Description Dependencies in Feature-Based DLs.

Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell

Proceedings of the 36th International Workshop on Description Logics (DL 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning (KR 2023 and NMR 2023)., 2023

2022

Magic Sets in Interpolation-Based Rule Driven Query Optimization.

Eva Feng, David Toman, Grant E. Weddell

Proceedings of the Rules and Reasoning, 2022

Accessing Document Data Sources using Referring Expression Types.

Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell

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.

Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell

Proceedings of the AI 2022: Advances in Artificial Intelligence, 2022

First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics.

David Toman, Grant E. Weddell

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

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

David Toman, Grant E. Wedell

Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 2021

FO Rewritability for OMQ using Beth Definability and Interpolation.

David Toman, Grant E. Weddell

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.

David Toman, Grant E. Weddell

Künstliche Intell., 2020

First Order Rewritability for Ontology Mediated Querying in Horn-DLFD.

David Toman, Grant E. Weddell

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.

David Toman, Grant E. Weddell

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Exhaustive Query Answering via Referring Expressions.

David Toman, Grant E. Weddell

Proceedings of the 32nd International Workshop on Description Logics, 2019

On Special Description Logics for Processes and Plans.

Alexander Borgida, David Toman, Grant E. Weddell

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.

Stephanie McIntyre, David Toman, Grant E. Weddell

Proceedings of the Description Logic, Theory Combination, and All That, 2019

Finding ALL Answers to OBDA Queries Using Referring Expressions.

David Toman, Grant E. Weddell

Proceedings of the AI 2019: Advances in Artificial Intelligence, 2019

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

Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell

Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence, 2019

2018

Point-Stamped Temporal Models.

David Toman

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Temporal Vacuuming.

John F. Roddick, David Toman

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Temporal Relational Calculus.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Temporal Logic in Database Query Languages.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Abstract Versus Concrete Temporal Query Languages.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

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

Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell

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.

Weicong Ma, C. Maria Keet, Wayne Oldford, David Toman, Grant E. Weddell

Proceedings of the Knowledge Engineering and Knowledge Management, 2018

Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases.

David Toman, Grant E. Weddell

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

Logic programming approach to automata-based decision procedures.

Gulay Ünel, David Toman

J. Log. Algebraic Methods Program., 2017

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

David Toman, Grant E. Weddell

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Concerning Referring Expressions in Query Answers.

Alexander Borgida, David Toman, Grant E. Weddell

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.

David Toman, Grant E. Weddell

Proceedings of the 30th International Workshop on Description Logics, 2017

2016

On Partial Features in the <i>DLF</i> Family of Description Logics.

David Toman, Grant E. Weddell

Proceedings of the PRICAI 2016: Trends in Artificial Intelligence, 2016

On Referring Expressions in Query Answering over First Order Knowledge Bases.

Alexander Borgida, David Toman, Grant E. Weddell

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

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

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

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

On Referring Expressions in Information Systems Derived from Conceptual Modelling.

Alexander Borgida, David Toman, Grant E. Weddell

Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract).

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

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).

David Toman, Grant E. Weddell

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

2015

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

Diego Calvanese, Manolis Koubarakis, David Toman

J. Web Semant., 2015

On Enumerating Query Plans Using Analytic Tableau.

Alexander K. Hudek, David Toman, Grant E. Weddell

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

On the Utility of <i>CFDI</i>.

David Toman, Grant E. Weddell

Proceedings of the 28th International Workshop on Description Logics, 2015

Polynomial encoding of ORM conceptual models in <i>CFDI</i>.

Pablo R. Fillottrani, C. Maria Keet, David Toman

Proceedings of the 28th International Workshop on Description Logics, 2015

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

Alexander Borgida, David Toman, Grant E. Weddell

Proceedings of the 28th International Workshop on Description Logics, 2015

Absorption for ABoxes and TBoxes with General Value Restrictions.

Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

On the Krom Extension of <i>CFDI</i>^∀ -_nc.

David Toman, Grant E. Weddell

Proceedings of the AI 2015: Advances in Artificial Intelligence, 2015

2014

Absorption for ABoxes.

Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell

J. Autom. Reason., 2014

Undecidability of Finite Model Reasoning in DLFD.

David Toman, Grant E. Weddell

CoRR, 2014

On Adding Inverse Features to the Description Logic <i>CFD</i>^∀_nc.

David Toman, Grant E. Weddell

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Pushing the CFDnc Envelope.

David Toman, Grant E. Weddell

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

Cost-Based Query Optimization via AI Planning.

Nathan Robinson, Sheila A. McIlraith, David Toman

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Absorption for ABoxes with Local Universal Restrictions.

Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell

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.

David Toman, Grant E. Weddell

Proceedings of the Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23, 2013

Conjunctive Query Answering in <i>CFD</i>_nc : A PTIME Description Logic with Functional Constraints and Disjointness.

David Toman, Grant E. Weddell

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

2012

The Combined Approach to OBDA: Taming Role Hierarchies using Filters.

Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter

Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, 2012

Assertion Absorption in Object Queries over Knowledge Bases.

Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

Fundamentals of Physical Design and Query Compilation

David Toman, Grant E. Weddell

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.

Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu

Proceedings of the IJCAI 2011, 2011

The Combined Approach to Ontology-Based Data Access.

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

Proceedings of the IJCAI 2011, 2011

Fixpoints in Temporal Description Logics.

Enrico Franconi, David Toman

Proceedings of the IJCAI 2011, 2011

2010

On Finding Query Rewritings under Expressive Constraints.

Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell

Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, 2010

The Combined Approach to Query Answering in DL-Lite.

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Query Algebra and Query Optimization for Concept Assertion Retrieval.

Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu

Proceedings of the 23rd International Workshop on Description Logics (DL 2010), 2010

2009

Point-Stamped Temporal Models.

David Toman

Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Vacuuming.

John F. Roddick, David Toman

Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Relational Calculus.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, 2009

Temporal Logic in Database Query Languages.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, 2009

Abstract Versus Concrete Temporal Query Languages.

Jan Chomicki, David Toman

Proceedings of the Encyclopedia of Database Systems, 2009

Applications and Extensions of PTIME Description Logics with Functional Constraints.

David Toman, Grant E. Weddell

Proceedings of the IJCAI 2009, 2009

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

Carsten Lutz, David Toman, Frank Wolter

Proceedings of the IJCAI 2009, 2009

Concept Projection in Algebras for Computing Certain Answer Descriptions.

Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Combined FO Rewritability for Conjunctive Query Answering in DL-Lite.

Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

Data Expiration and Aggregate Queries.

David Toman

Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, 2009

2008

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

David Toman, Grant E. Weddell

J. Autom. Reason., 2008

Decidable Reasoning over Timestamped Conceptual Models.

Alessandro Artale, David Toman

Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, 2008

Conjunctive Query Answering in EL using a Database System.

Carsten Lutz, David Toman, Frank Wolter

Proceedings of the Fifth OWLED Workshop on OWL: Experiences and Directions, 2008

Identifying Objects Over Time with Description Logics.

David Toman, Grant E. Weddell

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008

Optimizing away joins on data streams.

Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman

Proceedings of the 2008 International Workshop on Scalable Stream Processing System, 2008

On Ordering and Indexing Metadata for the Semantic Web.

Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Special Issue: TIME 2005.

Jan Chomicki, David Toman

Inf. Comput., 2007

A Description Logic of Change.

Alessandro Artale, Carsten Lutz, David Toman

Proceedings of the IJCAI 2007, 2007

On Order Dependencies for the Semantic Web.

David Toman, Grant E. Weddell

Proceedings of the Conceptual Modeling, 2007

On Ordering Descriptions in a Description Logic.

Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements.

Vitaliy L. Khizder, David Toman, Grant E. Weddell

Proceedings of the 2007 International Workshop on Description Logics (DL2007), 2007

An Incremental Technique for Automata-Based Decision Procedures.

Gulay Ünel, David Toman

Proceedings of the Automated Deduction, 2007

2006

On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.

David Toman

Proceedings of the Third STDBM Workshop on Spatio-Temporal Database Management, 2006

2005

Temporal Databases.

Jan Chomicki, David Toman

Proceedings of the Handbook of Temporal Reasoning in Artificial Intelligence, 2005

On reasoning about structural equality in XML: a description logic approach.

David Toman, Grant E. Weddell

Theor. Comput. Sci., 2005

Structure and Content Scoring for XML.

Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman

Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30, 2005

On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.

David Toman, Grant E. Weddell

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.

David Toman, Grant E. Weddell

Proceedings of the 2005 International Workshop on Description Logics (DL2005), 2005

2004

Attribute Inversion in Description Logic with Path Functional Dependencies .

David Toman, Grant E. Weddell

Proceedings of the 2004 International Workshop on Description Logics (DL2004), 2004

2003

Variable Independence in Constraint Databases.

Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman

IEEE Trans. Knowl. Data Eng., 2003

Optimizing temporal queries: efficient handling of duplicates.

Ivan T. Bowman, David Toman

Data Knowl. Eng., 2003

On Incompleteness of Multi-dimensional First-order Temporal Logics.

David Toman

Proceedings of the 10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 2003

Logical Data Expiration for Fixpoint Extensions of Temporal Logics.

David Toman

Proceedings of the Advances in Spatial and Temporal Databases, 8th International Symposium, 2003

A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding.

David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu

Proceedings of the 2003 ACM SIGMOD International Conference on Management of Data, 2003

Fixpoint Extensions of Temporal Description Logics.

Enrico Franconi, David Toman

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Rewriting Aggregate Queries using Description Logic.

David DeHaan, David Toman, Grant E. Weddell

Proceedings of the 2003 International Workshop on Description Logics (DL2003), 2003

Logical Data Expiration.

David Toman

Proceedings of the Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar], 2003

2002

Fine Grained Information Integration with Description Logics.

Huizhu Liu, David Toman, Grant E. Weddell

Proceedings of the 2002 International Workshop on Description Logics (DL2002), 2002

2001

Querying ATSQL databases with temporal logic.

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

ACM Trans. Database Syst., 2001

Expiration of Historical Databases.

David Toman

Proceedings of the Eigth International Symposium on Temporal Representation and Reasoning, 2001

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

David Toman, Grant E. Weddell

Proceedings of the Working Notes of the 2001 International Description Logics Workshop (DL-2001), 2001

Query Processing in Embedded Control Programs.

David Toman, Grant E. Weddell

Proceedings of the Databases in Telecommunications II, VLDB 2001 International Workshop, 2001

2000

On Decidability and Complexity of Description Logics with Uniqueness Constraints.

Vitaliy L. Khizder, David Toman, Grant E. Weddell

Proceedings of the 2000 International Workshop on Description Logics (DL2000), 2000

Reasoning about Duplicate Elimination with Description Logic.

Vitaliy L. Khizder, David Toman, Grant E. Weddell

Proceedings of the Computational Logic, 2000

SQL/TP: A Temporal Extension of SQL.

David Toman

Proceedings of the Constraint Databases, 2000

1998

Datalog with Integer Periodicity Constraints.

David Toman, Jan Chomicki

J. Log. Program., 1998

Temporal Logic in Information Systems.

Jan Chomicki, David Toman

Proceedings of the Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1998

1997

Memoing Evaluation for Constraint Extensions of Datalog.

David Toman

Constraints An Int. J., 1997

Point-Based Temporal Extension of Temporal SQL.

David Toman

Proceedings of the Deductive and Object-Oriented Databases, 5th International Conference, 1997

Point-Based Temporal Extensions of SQL and Their Efficient Implementation.

David Toman

Proceedings of the Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, 1997

Constraint Databases and Program Analysis Using Abstract Interpretation.

David Toman

Proceedings of the Constraint Databases and Their Applications, 1997

Computing the Well-Founded Semantics for Constraint Extensions of Datalog.

David Toman

Proceedings of the Constraint Databases and Their Applications, 1997

1996

Point vs. Interval-based Query Languages for Temporal Databases.

David Toman

Proceedings of the Fifteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 1996

First-Order Queries over Temporal Databases Inexpressible in Temporal Logic.

David Toman, Damian Niwinski

Proceedings of the Advances in Database Technology, 1996

Querying TSQL2 Databases with Temporal Logic.

Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman

Proceedings of the Advances in Database Technology, 1996

1995

Implementing Temporal Integrity Constraints Using an Active DBMS.

Jan Chomicki, David Toman

IEEE Trans. Knowl. Data Eng., 1995

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

David Toman

Proceedings of the Logic Programming, 1995

1994

Datalog with Integer Periodicity Constraints.

David Toman, Jan Chomicki, David S. Rogers

Proceedings of the Logic Programming, 1994

1991

Register Allocation in WAM.

Ludek Matyska, Adriana Jergová, David Toman

Proceedings of the Logic Programming, 1991