default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid Toman 0001
Person information
- affiliation: University of Waterloo, Canada
Other persons with the same name
- David Toman 0002 — Czech Technical University, Department of Computer Science and Engineering, Czech Republic
- David Toman 0003 — University of Oxford, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c103]Eva Feng, David Toman, Grant E. Weddell:
On Mixed Semantics of Path Description Dependencies in FunDL. Description Logics 2024- 2023
- [c102]Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Path Description Dependencies in Feature-Based DLs. Description Logics 2023 - 2022
- [c101]David Toman, Grant E. Weddell:
First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. AAAI 2022: 5897-5905 - [c100]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Understanding Document Data Sources Using Ontologies with Referring Expressions. AI 2022: 367-380 - [c99]Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell:
Accessing Document Data Sources using Referring Expression Types. Description Logics 2022 - [c98]Eva Feng, David Toman, Grant E. Weddell:
Magic Sets in Interpolation-Based Rule Driven Query Optimization. RuleML+RR 2022: 198-207 - 2021
- [c97]David Toman, Grant E. Weddell:
FO Rewritability for OMQ using Beth Definability and Interpolation. Description Logics 2021 - [c96]David Toman, Grant E. Wedell:
Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). SOQE@KR 2021: 1-13 - 2020
- [j13]David Toman
, Grant E. Weddell:
Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages. Künstliche Intell. 34(3): 355-363 (2020) - [c95]David Toman, Grant E. Weddell:
First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. Description Logics 2020
2010 – 2019
- 2019
- [c94]Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell:
On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI 2019: 2995-3002 - [c93]David Toman, Grant E. Weddell:
Finding ALL Answers to OBDA Queries Using Referring Expressions. Australasian Conference on Artificial Intelligence 2019: 117-129 - [c92]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: 404-430 - [c91]Alexander Borgida, David Toman, Grant E. Weddell:
On Special Description Logics for Processes and Plans. Description Logics 2019 - [c90]David Toman, Grant E. Weddell:
Exhaustive Query Answering via Referring Expressions. Description Logics 2019 - [c89]David Toman, Grant E. Weddell:
Identity Resolution in Ontology Based Data Access to Structured Data Sources. PRICAI (1) 2019: 473-485 - 2018
- [c88]David Toman, Grant E. Weddell:
Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. Description Logics 2018 - [c87]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: 195-211 - [c86]Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell:
On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR 2018: 655-656 - [r11]Jan Chomicki, David Toman:
Abstract Versus Concrete Temporal Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - [r10]Jan Chomicki, David Toman:
Temporal Logic in Database Query Languages. Encyclopedia of Database Systems (2nd ed.) 2018 - [r9]Jan Chomicki, David Toman:
Temporal Relational Calculus. Encyclopedia of Database Systems (2nd ed.) 2018 - [r8]John F. Roddick, David Toman:
Temporal Vacuuming. Encyclopedia of Database Systems (2nd ed.) 2018 - [r7]David Toman:
Point-Stamped Temporal Models. Encyclopedia of Database Systems (2nd ed.) 2018 - 2017
- [j12]Gulay Ünel, David Toman:
Logic programming approach to automata-based decision procedures. J. Log. Algebraic Methods Program. 86(1): 391-407 (2017) - [c85]David Toman, Grant E. Weddell:
On Partial Features in the DLF Dialects of Description Logic with Inverse Features. Description Logics 2017 - [c84]Alexander Borgida, David Toman, Grant E. Weddell:
Concerning Referring Expressions in Query Answers. IJCAI 2017: 4791-4795 - [c83]David Toman, Grant E. Weddell:
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). LPAR (Short Presentations) 2017: 1-10 - 2016
- [c82]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: 353-361 - [c81]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 - [c80]Alexander Borgida, David Toman, Grant E. Weddell:
On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER 2016: 183-197 - [c79]Jason St. Jacques, David Toman, Grant E. Weddell:
Object-Relational Queries over CFDInc Knowledge Bases: OBDA for the SQL-Literate. IJCAI 2016: 1258-1264 - [c78]Alexander Borgida, David Toman, Grant E. Weddell:
On Referring Expressions in Query Answering over First Order Knowledge Bases. KR 2016: 319-328 - [c77]David Toman, Grant E. Weddell:
On Partial Features in the DLF Family of Description Logics. PRICAI 2016: 529-542 - 2015
- [j11]Diego Calvanese, Manolis Koubarakis, David Toman:
Special issue of the Journal of Web Semantics on ontology-based data access. J. Web Semant. 33: 1-2 (2015) - [c76]David Toman, Grant E. Weddell:
On the Krom Extension of CFDI^∀ -_nc. Australasian Conference on Artificial Intelligence 2015: 559-571 - [c75]Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell:
Absorption for ABoxes and TBoxes with General Value Restrictions. Australasian Conference on Artificial Intelligence 2015: 609-622 - [c74]Alexander Borgida, David Toman, Grant E. Weddell:
Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics 2015 - [c73]Pablo R. Fillottrani, C. Maria Keet, David Toman:
Polynomial encoding of ORM conceptual models in CFDI. Description Logics 2015 - [c72]David Toman, Grant E. Weddell:
On the Utility of CFDI. Description Logics 2015 - [c71]Alexander K. Hudek, David Toman, Grant E. Weddell:
On Enumerating Query Plans Using Analytic Tableau. TABLEAUX 2015: 339-354 - 2014
- [j10]Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell:
Absorption for ABoxes. J. Autom. Reason. 53(3): 215-243 (2014) - [c70]Nathan Robinson, Sheila A. McIlraith, David Toman:
Cost-Based Query Optimization via AI Planning. AAAI 2014: 2344-2351 - [c69]David Toman, Grant E. Weddell:
Pushing the CFDnc Envelope. Description Logics 2014: 340-351 - [c68]David Toman, Grant E. Weddell:
On Adding Inverse Features to the Description Logic CFD∀nc. PRICAI 2014: 587-599 - [i1]David Toman, Grant E. Weddell:
Undecidability of Finite Model Reasoning in DLFD. CoRR abs/1408.4468 (2014) - 2013
- [c67]David Toman, Grant E. Weddell:
Conjunctive Query Answering in CFDnc : A PTIME Description Logic with Functional Constraints and Disjointness. Australasian Conference on Artificial Intelligence 2013: 350-361 - [c66]David Toman, Grant E. Weddell:
CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. Description Logics 2013: 451-463 - [c65]Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell:
Absorption for ABoxes with Local Universal Restrictions. Description Logics 2013: 489-500 - [c64]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter:
The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) 2013: 314-330 - 2012
- [c63]Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell:
Absorption for ABoxes. Description Logics 2012 - [c62]Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell:
Assertion Absorption in Object Queries over Knowledge Bases. KR 2012 - [c61]Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter:
The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC 2012: 16-31 - 2011
- [b1]David Toman, Grant E. Weddell:
Fundamentals of Physical Design and Query Compilation. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2011, ISBN 978-3-031-00753-8 - [c60]Enrico Franconi, David Toman:
Fixpoints in Temporal Description Logics. IJCAI 2011: 875-880 - [c59]Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. IJCAI 2011: 1051-1056 - [c58]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Ontology-Based Data Access. IJCAI 2011: 2656-2661 - 2010
- [c57]Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
Query Algebra and Query Optimization for Concept Assertion Retrieval. Description Logics 2010 - [c56]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
The Combined Approach to Query Answering in DL-Lite. KR 2010 - [c55]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: 426-437 - [e2]Volker Haarslev, David Toman, Grant E. Weddell:
Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010. CEUR Workshop Proceedings 573, CEUR-WS.org 2010 [contents]
2000 – 2009
- 2009
- [c54]David Toman:
Data Expiration and Aggregate Queries. AMW 2009 - [c53]Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev:
Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics 2009 - [c52]Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu:
Concept Projection in Algebras for Computing Certain Answer Descriptions. Description Logics 2009 - [c51]David Toman, Grant E. Weddell:
Applications and Extensions of PTIME Description Logics with Functional Constraints. IJCAI 2009: 948-954 - [c50]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI 2009: 2070-2075 - [r6]Jan Chomicki, David Toman:
Abstract Versus Concrete Temporal Query Languages. Encyclopedia of Database Systems 2009: 1-6 - [r5]David Toman:
Point-Stamped Temporal Models. Encyclopedia of Database Systems 2009: 2119-2123 - [r4]Jan Chomicki, David Toman:
Temporal Logic in Database Query Languages. Encyclopedia of Database Systems 2009: 2987-2991 - [r3]Jan Chomicki, David Toman:
Temporal Relational Calculus. Encyclopedia of Database Systems 2009: 3015-3016 - [r2]John F. Roddick, David Toman:
Temporal Vacuuming. Encyclopedia of Database Systems 2009: 3023-3027 - 2008
- [j9]David Toman, Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reason. 40(2-3): 117-132 (2008) - [c49]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. Description Logics 2008 - [c48]Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
On Ordering and Indexing Metadata for the Semantic Web. Description Logics 2008 - [c47]David Toman, Grant E. Weddell:
Identifying Objects Over Time with Description Logics. Description Logics 2008 - [c46]Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman:
Optimizing away joins on data streams. SSPS 2008: 48-57 - [c45]David Toman, Grant E. Weddell:
Identifying Objects Over Time with Description Logics. KR 2008: 724-732 - [c44]Carsten Lutz, David Toman, Frank Wolter:
Conjunctive Query Answering in EL using a Database System. OWLED 2008 - [c43]Alessandro Artale, David Toman:
Decidable Reasoning over Timestamped Conceptual Models. SEBD 2008: 168-178 - 2007
- [j8]Jan Chomicki, David Toman:
Special Issue: TIME 2005. Inf. Comput. 205(1): 1 (2007) - [c42]Gulay Ünel, David Toman:
An Incremental Technique for Automata-Based Decision Procedures. CADE 2007: 100-115 - [c41]Vitaliy L. Khizder, David Toman, Grant E. Weddell:
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Description Logics 2007 - [c40]Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell:
On Ordering Descriptions in a Description Logic. Description Logics 2007 - [c39]David Toman, Grant E. Weddell:
On Order Dependencies for the Semantic Web. ER 2007: 293-306 - [c38]Gulay Ünel, David Toman:
Logic Programming Approach to Automata-Based Decision Procedures. ICLP 2007: 165-179 - [c37]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. IJCAI 2007: 218-223 - [c36]David Toman:
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. TIME 2007: 150-162 - 2006
- [c35]David Toman, Grant E. Weddell:
On Keys and Functional Dependencies as First-Class Citizens in Description Logics. IJCAR 2006: 647-661 - [c34]Alessandro Artale, Carsten Lutz, David Toman:
A Description Logic of Change. Description Logics 2006 - [c33]David Toman:
On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. STDBM 2006 - [e1]Bijan Parsia, Ulrike Sattler, David Toman:
Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006. CEUR Workshop Proceedings 189, CEUR-WS.org 2006 [contents] - 2005
- [j7]David Toman, Grant E. Weddell:
On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. 336(1): 181-203 (2005) - [c32]David Toman, Grant E. Weddell:
On Path-functional Dependencies as First-class Citizens in Description Logics. Description Logics 2005 - [c31]David Toman, Grant E. Weddell:
On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. IJCAI 2005: 603-608 - [c30]Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman:
Structure and Content Scoring for XML. VLDB 2005: 361-372 - [r1]Jan Chomicki, David Toman:
Temporal Databases. Handbook of Temporal Reasoning in Artificial Intelligence 2005: 429-467 - 2004
- [c29]David Toman, Grant E. Weddell:
Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics 2004 - 2003
- [j6]Ivan T. Bowman, David Toman:
Optimizing temporal queries: efficient handling of duplicates. Data Knowl. Eng. 44(2): 143-164 (2003) - [j5]Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman:
Variable Independence in Constraint Databases. IEEE Trans. Knowl. Data Eng. 15(6): 1422-1436 (2003) - [c28]David Toman:
Logical Data Expiration. Logics for Emerging Applications of Databases 2003: 203-238 - [c27]David DeHaan, David Toman, Grant E. Weddell:
Rewriting Aggregate Queries using Description Logic. Description Logics 2003 - [c26]Enrico Franconi, David Toman:
Fixpoint Extensions of Temporal Description Logics. Description Logics 2003 - [c25]David Toman, Grant E. Weddell:
On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT 2003: 96-110 - [c24]David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu:
A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. SIGMOD Conference 2003: 623-634 - [c23]David Toman:
Logical Data Expiration for Fixpoint Extensions of Temporal Logics. SSTD 2003: 380-393 - [c22]David Toman:
On Incompleteness of Multi-dimensional First-order Temporal Logics. TIME 2003: 99-106 - 2002
- [c21]Huizhu Liu, David Toman, Grant E. Weddell:
Fine Grained Information Integration with Description Logics. Description Logics 2002 - [c20]David Toman:
Logical Data Expiration. TIME 2002: 66-67 - 2001
- [j4]Jan Chomicki, David Toman, Michael H. Böhlen:
Querying ATSQL databases with temporal logic. ACM Trans. Database Syst. 26(2): 145-178 (2001) - [c19]David Toman, Grant E. Weddell:
Query Processing in Embedded Control Programs. Databases in Telecommunications 2001: 68-87 - [c18]David Toman, Grant E. Weddell:
On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics 2001 - [c17]Vitaliy L. Khizder, David Toman, Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT 2001: 54-67 - [c16]Ivan T. Bowman, David Toman:
Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME 2001: 93-100 - [c15]David Toman:
Expiration of Historical Databases. TIME 2001: 128-135 - 2000
- [c14]Vitaliy L. Khizder, David Toman, Grant E. Weddell:
Reasoning about Duplicate Elimination with Description Logic. Computational Logic 2000: 1017-1032 - [c13]Vitaliy L. Khizder, David Toman, Grant E. Weddell:
On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics 2000: 193-202 - [p1]David Toman:
SQL/TP: A Temporal Extension of SQL. Constraint Databases 2000: 391-399
1990 – 1999
- 1998
- [j3]David Toman, Jan Chomicki:
Datalog with Integer Periodicity Constraints. J. Log. Program. 35(3): 263-290 (1998) - [c12]Jan Chomicki, David Toman:
Temporal Logic in Information Systems. Logics for Databases and Information Systems 1998: 31-70 - 1997
- [j2]David Toman:
Memoing Evaluation for Constraint Extensions of Datalog. Constraints An Int. J. 2(3/4): 337-359 (1997) - [c11]David Toman:
Computing the Well-Founded Semantics for Constraint Extensions of Datalog. CDB 1997: 64-79 - [c10]David Toman:
Constraint Databases and Program Analysis Using Abstract Interpretation. CDB 1997: 246-262 - [c9]David Toman:
Point-Based Temporal Extensions of SQL and Their Efficient Implementation. Temporal Databases, Dagstuhl 1997: 211-237 - [c8]David Toman:
Point-Based Temporal Extension of Temporal SQL. DOOD 1997: 103-121 - 1996
- [c7]David Toman, Damian Niwinski:
First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT 1996: 307-324 - [c6]