default search action
David 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
SPARQL queries
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c104]Eva Feng, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell:
Equality Generating Dependencies in Description Logics via Path Agreements. AI (2) 2024: 214-227 - [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]Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman:
Querying TSQL2 Databases with Temporal Logic. EDBT 1996: 325-341 - [c5]David Toman:
Point vs. Interval-based Query Languages for Temporal Databases. PODS 1996: 58-67 - 1995
- [j1]Jan Chomicki, David Toman:
Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. 7(4): 566-582 (1995) - [c4]David Toman:
Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. ILPS 1995: 98-112 - 1994
- [c3]David Toman, Jan Chomicki:
Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS 1994: 87-95 - [c2]David Toman, Jan Chomicki, David S. Rogers:
Datalog with Integer Periodicity Constraints. ILPS 1994: 189-203 - 1991
- [c1]Ludek Matyska, Adriana Jergová, David Toman:
Register Allocation in WAM. ICLP 1991: 142-156
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-12 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint