Skip to content

David Toman

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

45

Venues

17

Active years

1991–2022

Best venue rank

A*

Where they publish

Papers

45 indexed papers, newest first.

YearVenueTitleAuthors
2022AAAIAn Experience Report of Executive-Level Artificial Intelligence Education in the United Arab Emirates.David Johnson, Mohammad Alsharid, Rasheed El-Bouri, Nigel Mehdi, Farah Shamout, Alexandre Szenicer, David Toman, Saqr Binghalib
2022AAAIFirst Order Rewritability in Ontology-Mediated Querying in Horn Description Logics.David Toman, Grant E. Weddell
2021KRProjective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk).David Toman, Grant E. Wedell
2019AAAIOn Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics.Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2019PRICAIIdentity Resolution in Ontology Based Data Access to Structured Data Sources.David Toman, Grant E. Weddell
2018EKAWThe Utility of the Abstract Relational Model and Attribute Paths in SQL.Weicong Ma, C. Maria Keet, Wayne Oldford, David Toman, Grant E. Weddell
2018KROn Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA.Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2017IJCAIConcerning Referring Expressions in Query Answers.Alexander Borgida, David Toman, Grant E. Weddell
2017LPARAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report).David Toman, Grant E. Weddell
2016EROn Referring Expressions in Information Systems Derived from Conceptual Modelling.Alexander Borgida, David Toman, Grant E. Weddell
2016IJCAIObject-Relational Queries over CFDIJason St. Jacques, David Toman, Grant E. Weddell
2016KROn Referring Expressions in Query Answering over First Order Knowledge Bases.Alexander Borgida, David Toman, Grant E. Weddell
2016PRICAIOn Partial Features in theDavid Toman, Grant E. Weddell
2015TABLEAUXOn Enumerating Query Plans Using Analytic Tableau.Alexander K. Hudek, David Toman, Grant E. Weddell
2014AAAICost-Based Query Optimization via AI Planning.Nathan Robinson, Sheila A. McIlraith, David Toman
2014PRICAIOn Adding Inverse Features to the Description LogicDavid Toman, Grant E. Weddell
2012KRAssertion Absorption in Object Queries over Knowledge Bases.Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2011IJCAIFixpoints in Temporal Description Logics.Enrico Franconi, David Toman
2011IJCAIThe Combined Approach to Ontology-Based Data Access.Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2011IJCAIAn Assertion Retrieval Algebra for Object Queries over Knowledge Bases.Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2010KRThe Combined Approach to Query Answering in DL-Lite.Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009DSDA Fast SOP Minimizer for Logic Funcions Described by Many Product Terms.Petr Fiser, David Toman
2009IJCAIConjunctive Query Answering in the Description Logic EL Using a Relational Database System.Carsten Lutz, David Toman, Frank Wolter
2009IJCAIApplications and Extensions of PTIME Description Logics with Functional Constraints.David Toman, Grant E. Weddell
2008EDBTOptimizing away joins on data streams.Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman
2008KRIdentifying Objects Over Time with Description Logics.David Toman, Grant E. Weddell
2007CADEAn Incremental Technique for Automata-Based Decision Procedures.Gulay nel, David Toman
2007EROn Order Dependencies for the Semantic Web.David Toman, Grant E. Weddell
2007ICLPLogic Programming Approach to Automata-Based Decision Procedures.Gulay nel, David Toman
2007IJCAIA Description Logic of Change.Alessandro Artale, Carsten Lutz, David Toman
2007TIMEOn Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries.David Toman
2006CADEOn Keys and Functional Dependencies as First-Class Citizens in Description Logics.David Toman, Grant E. Weddell
2005IJCAIOn the Interaction between Inverse Features and Path-functional Dependencies in Description Logics.David Toman, Grant E. Weddell
2005VLDBStructure and Content Scoring for XML.Sihem Amer-Yahia, Nick Koudas, Amlie Marian, Divesh Srivastava, David Toman
2003ICDTOn Reasoning about Structural Equality in XML: A Description Logic Approach.David Toman, Grant E. Weddell
2003SIGMODA Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding.David DeHaan, David Toman, Mariano P. Consens, M. Tamer zsu
2003TIMEOn Incompleteness of Multi-dimensional First-order Temporal Logics.David Toman
2002TIMELogical Data Expiration.David Toman
2001ICDTOn Decidability and Complexity of Description Logics with Uniqueness Constraints.Vitaliy L. Khizder, David Toman, Grant E. Weddell
2001TIMEOptimizing Temporal Queries: Efficient Handling of Duplicates.Ivan T. Bowman, David Toman
2001TIMEExpiration of Historical Databases.David Toman
1996EDBTQuerying TSQL2 Databases with Temporal Logic.Michael H. Bhlen, Jan Chomicki, Richard T. Snodgrass, David Toman
1996EDBTFirst-Order Queries over Temporal Databases Inexpressible in Temporal Logic.David Toman, Damian Niwinski
1996PODSPoint vs. Interval-based Query Languages for Temporal Databases.David Toman
1991ICLPRegister Allocation in WAM.Ludek Matyska, Adriana Jergov, David Toman