David Toman

ORCID

Publication Activity (10 Years)

Years Active: 1991-2022
Publications (10 Years): 24

Top Venues

Description Logics

Australasian Conference on Artificial Intelligence

PRICAI

Publications

David Johnson, Mohammad Alsharid, Rasheed El-Bouri, Nigel Mehdi, Farah Shamout, Alexandre Szenicer, David Toman, Saqr Binghalib
An Experience Report of Executive-Level Artificial Intelligence Education in the United Arab Emirates. CoRR (2022)
David Toman, Grant E. Weddell
FO Rewritability for OMQ using Beth Definability and Interpolation. Description Logics (2021)
David Toman, Grant E. Wedell
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). SOQE@KR (2021)
David Toman, Grant E. Weddell
Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages. Künstliche Intell. 34 (3) (2020)
David Toman, Grant E. Weddell
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. Description Logics (2020)
Alexander Borgida, David Toman, Grant E. Weddell
On Special Description Logics for Processes and Plans. Description Logics (2019)
David Toman, Grant E. Weddell
Finding ALL Answers to OBDA Queries Using Referring Expressions. Australasian Conference on Artificial Intelligence (2019)
Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI (2019)
David Toman, Grant E. Weddell
Identity Resolution in Ontology Based Data Access to Structured Data Sources. PRICAI (1) (2019)
Stephanie McIntyre, David Toman, Grant E. Weddell
FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Description Logic, Theory Combination, and All That (2019)
David Toman, Grant E. Weddell
Exhaustive Query Answering via Referring Expressions. Description Logics (2019)
Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR (2018)
David Toman, Grant E. Weddell
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. Description Logics (2018)
Weicong Ma, C. Maria Keet, Wayne Oldford, David Toman, Grant E. Weddell
The Utility of the Abstract Relational Model and Attribute Paths in SQL. EKAW (2018)
Alexander Borgida, David Toman, Grant E. Weddell
Concerning Referring Expressions in Query Answers. IJCAI (2017)
David Toman, Grant E. Weddell
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). LPAR (Short Presentations) (2017)
David Toman, Grant E. Weddell
On Partial Features in the DLF Dialects of Description Logic with Inverse Features. Description Logics (2017)
Gulay Ünel, David Toman
Logic programming approach to automata-based decision procedures. J. Log. Algebraic Methods Program. 86 (1) (2017)
Jason St. Jacques, David Toman, Grant E. Weddell
Knowledge Bases: OBDA for the SQL-Literate. IJCAI (2016)
David Toman, Grant E. Weddell
Family of Description Logics. PRICAI (2016)
Alexander Borgida, David Toman, Grant E. Weddell
On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER (2016)
Jason St. Jacques, David Toman, Grant E. Weddell
Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). Description Logics (2016)
David Toman, Grant E. Weddell
Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract). Australasian Conference on Artificial Intelligence (2016)
Alexander Borgida, David Toman, Grant E. Weddell
On Referring Expressions in Query Answering over First Order Knowledge Bases. KR (2016)
Alexander K. Hudek, David Toman, Grant E. Weddell
On Enumerating Query Plans Using Analytic Tableau. TABLEAUX (2015)
David Toman, Grant E. Weddell
^∀ -_nc. Australasian Conference on Artificial Intelligence (2015)
David Toman, Grant E. Weddell
. Description Logics (2015)
Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
Absorption for ABoxes and TBoxes with General Value Restrictions. Australasian Conference on Artificial Intelligence (2015)
Pablo R. Fillottrani, C. Maria Keet, David Toman
. Description Logics (2015)
Alexander Borgida, David Toman, Grant E. Weddell
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics (2015)
Diego Calvanese, Manolis Koubarakis, David Toman
Special issue of the Journal of Web Semantics on ontology-based data access. J. Web Semant. 33 (2015)
David Toman, Grant E. Weddell
. PRICAI (2014)
Nathan Robinson, Sheila A. McIlraith, David Toman
Cost-Based Query Optimization via AI Planning. AAAI (2014)
David Toman, Grant E. Weddell
Pushing the CFDnc Envelope. Description Logics (2014)
David Toman, Grant E. Weddell
Undecidability of Finite Model Reasoning in DLFD. CoRR (2014)
Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
Absorption for ABoxes. J. Autom. Reason. 53 (3) (2014)
David Toman, Grant E. Weddell
: A PTIME Description Logic with Functional Constraints and Disjointness. Australasian Conference on Artificial Intelligence (2013)
Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) (2013)
Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
Absorption for ABoxes with Local Universal Restrictions. Description Logics (2013)
David Toman, Grant E. Weddell
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. Description Logics (2013)
Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
Absorption for ABoxes. Description Logics (2012)
Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
Assertion Absorption in Object Queries over Knowledge Bases. KR (2012)
Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC (2012)
Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. IJCAI (2011)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
The Combined Approach to Ontology-Based Data Access. IJCAI (2011)
Enrico Franconi, David Toman
Fixpoints in Temporal Description Logics. IJCAI (2011)
Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
Query Algebra and Query Optimization for Concept Assertion Retrieval. Description Logics (2010)
Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell
On Finding Query Rewritings under Expressive Constraints. SEBD (2010)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
The Combined Approach to Query Answering in DL-Lite. KR (2010)
Carsten Lutz, David Toman, Frank Wolter
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI (2009)
David Toman, Grant E. Weddell
Applications and Extensions of PTIME Description Logics with Functional Constraints. IJCAI (2009)
David Toman
Data Expiration and Aggregate Queries. AMW (2009)
Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
Concept Projection in Algebras for Computing Certain Answer Descriptions. Description Logics (2009)
Petr Fiser, David Toman
A Fast SOP Minimizer for Logic Funcions Described by Many Product Terms. DSD (2009)
Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics (2009)
Alessandro Artale, David Toman
Decidable Reasoning over Timestamped Conceptual Models. SEBD (2008)
Carsten Lutz, David Toman, Frank Wolter
Conjunctive Query Answering in EL using a Database System. OWLED (2008)
David Toman, Grant E. Weddell
On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reason. 40 (2-3) (2008)
Alessandro Artale, David Toman
Decidable Reasoning over Timestamped Conceptual Models. Description Logics (2008)
David Toman, Grant E. Weddell
Identifying Objects Over Time with Description Logics. Description Logics (2008)
David Toman, Grant E. Weddell
Identifying Objects Over Time with Description Logics. KR (2008)
Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
On Ordering and Indexing Metadata for the Semantic Web. Description Logics (2008)
Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman
Optimizing away joins on data streams. SSPS (2008)
David Toman, Grant E. Weddell
On Order Dependencies for the Semantic Web. ER (2007)
Vitaliy L. Khizder, David Toman, Grant E. Weddell
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Description Logics (2007)
Jan Chomicki, David Toman
Special Issue: TIME 2005. Inf. Comput. 205 (1) (2007)
Gulay Ünel, David Toman
Logic Programming Approach to Automata-Based Decision Procedures. ICLP (2007)
Gulay Ünel, David Toman
An Incremental Technique for Automata-Based Decision Procedures. CADE (2007)
Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change. IJCAI (2007)
David Toman
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. TIME (2007)
Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
On Ordering Descriptions in a Description Logic. Description Logics (2007)
Alessandro Artale, Carsten Lutz, David Toman
A Description Logic of Change. Description Logics (2006)
David Toman, Grant E. Weddell
On Keys and Functional Dependencies as First-Class Citizens in Description Logics. IJCAR (2006)
David Toman
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. STDBM (2006)
Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman
Structure and Content Scoring for XML. VLDB (2005)
David Toman, Grant E. Weddell
On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336 (1) (2005)
David Toman, Grant E. Weddell
On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. IJCAI (2005)
David Toman, Grant E. Weddell
On Path-functional Dependencies as First-class Citizens in Description Logics. Description Logics (2005)
David Toman, Grant E. Weddell
Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics (2004)
Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman
Variable Independence in Constraint Databases. IEEE Trans. Knowl. Data Eng. 15 (6) (2003)
David Toman
On Incompleteness of Multi-dimensional First-order Temporal Logics. TIME (2003)
Ivan T. Bowman, David Toman
Optimizing temporal queries: efficient handling of duplicates. Data Knowl. Eng. 44 (2) (2003)
David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. SIGMOD Conference (2003)
David DeHaan, David Toman, Grant E. Weddell
Rewriting Aggregate Queries using Description Logic. Description Logics (2003)
David Toman, Grant E. Weddell
On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT (2003)
David Toman
Logical Data Expiration for Fixpoint Extensions of Temporal Logics. SSTD (2003)
David Toman
Logical Data Expiration. Logics for Emerging Applications of Databases (2003)
Enrico Franconi, David Toman
Fixpoint Extensions of Temporal Description Logics. Description Logics (2003)
David Toman
Logical Data Expiration. TIME (2002)
Huizhu Liu, David Toman, Grant E. Weddell
Fine Grained Information Integration with Description Logics. Description Logics (2002)
Jan Chomicki, David Toman, Michael H. Böhlen
Querying ATSQL databases with temporal logic. ACM Trans. Database Syst. 26 (2) (2001)
Ivan T. Bowman, David Toman
Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME (2001)
David Toman
Expiration of Historical Databases. TIME (2001)
Vitaliy L. Khizder, David Toman, Grant E. Weddell
On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT (2001)
David Toman, Grant E. Weddell
Query Processing in Embedded Control Programs. Databases in Telecommunications (2001)
David Toman, Grant E. Weddell
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics (2001)
Vitaliy L. Khizder, David Toman, Grant E. Weddell
Reasoning about Duplicate Elimination with Description Logic. Computational Logic (2000)
Vitaliy L. Khizder, David Toman, Grant E. Weddell
On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics (2000)
David Toman, Jan Chomicki
Datalog with Integer Periodicity Constraints. J. Log. Program. 35 (3) (1998)
Jan Chomicki, David Toman
Temporal Logic in Information Systems. Logics for Databases and Information Systems (1998)

David Toman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

David Toman