David Toman - RankMe

135 papers A* 19A 6B 10C 5Misc 1Journal 14Unranked 65

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Reliable Reference for a DL Knowledge Base under Data Update. DL Enamul Haque, David Toman, Grant E. Weddell
2025	—	`conf`	Structural Equality Generating Dependencies and Definite Descriptions. DL David Toman, Grant E. Weddell
2024	—	`conf`	Equality Generating Dependencies in Description Logics via Path Agreements. AI (2) Eva Feng, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2024	—	`conf`	On Mixed Semantics of Path Description Dependencies in FunDL. Description Logics Eva Feng, David Toman, Grant E. Weddell
2023	—	`conf`	Path Description Dependencies in Feature-Based DLs. Description Logics Eva Feng, Alexander Borgida, Enrico Franconi, Peter F. Patel-Schneider, David Toman, Grant E. Weddell
2022	—	`conf`	Accessing Document Data Sources using Referring Expression Types. Description Logics Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2022	A*	`conf`	First Order Rewritability in Ontology-Mediated Querying in Horn Description Logics. AAAI David Toman, Grant E. Weddell
2022	B	`conf`	Magic Sets in Interpolation-Based Rule Driven Query Optimization. RuleML+RR Eva Feng, David Toman, Grant E. Weddell
2022	Misc	`conf`	Understanding Document Data Sources Using Ontologies with Referring Expressions. AI Alexander Borgida, Enrico Franconi, David Toman, Grant E. Weddell
2021	—	`conf`	FO Rewritability for OMQ using Beth Definability and Interpolation. Description Logics David Toman, Grant E. Weddell
2021	—	`conf`	Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk). SOQE@KR David Toman, Grant E. Wedell
2020	—	`conf`	First Order Rewritability for Ontology Mediated Querying in Horn-DLFD. Description Logics David Toman, Grant E. Weddell
2020	J	`jnl`	Using Feature-Based Description Logics to avoid Duplicate Elimination in Object-Relational Query Languages. Künstliche Intell. David Toman, Grant E. Weddell
2019	—	`conf`	Exhaustive Query Answering via Referring Expressions. Description Logics David Toman, Grant E. Weddell
2019	—	`conf`	Finding ALL Answers to OBDA Queries Using Referring Expressions. Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2019	—	`conf`	FunDL - A Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources. Description Logic, Theory Combination, and All That Stephanie McIntyre, David Toman, Grant E. Weddell
2019	—	`conf`	Identity Resolution in Ontology Based Data Access to Structured Data Sources. PRICAI (1) David Toman, Grant E. Weddell
2019	A*	`conf`	On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. AAAI Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2019	—	`conf`	On Special Description Logics for Processes and Plans. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2018	—	`ch.`	Abstract Versus Concrete Temporal Query Languages. Encyclopedia of Database Systems (2nd ed.) Jan Chomicki, David Toman
2018	—	`conf`	Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases. Description Logics David Toman, Grant E. Weddell
2018	A*	`conf`	On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. KR Stephanie McIntyre, Alexander Borgida, David Toman, Grant E. Weddell
2018	—	`ch.`	Point-Stamped Temporal Models. Encyclopedia of Database Systems (2nd ed.) David Toman
2018	—	`ch.`	Temporal Logic in Database Query Languages. Encyclopedia of Database Systems (2nd ed.) Jan Chomicki, David Toman
2018	—	`ch.`	Temporal Relational Calculus. Encyclopedia of Database Systems (2nd ed.) Jan Chomicki, David Toman
2018	—	`ch.`	Temporal Vacuuming. Encyclopedia of Database Systems (2nd ed.) John F. Roddick, David Toman
2018	B	`conf`	The Utility of the Abstract Relational Model and Attribute Paths in SQL. EKAW Weicong Ma, C. Maria Keet, Wayne Oldford, David Toman, Grant E. Weddell
2017	—	`conf`	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). LPAR (Short Presentations) David Toman, Grant E. Weddell
2017	A*	`conf`	Concerning Referring Expressions in Query Answers. IJCAI Alexander Borgida, David Toman, Grant E. Weddell
2017	J	`jnl`	Logic programming approach to automata-based decision procedures. J. Log. Algebraic Methods Program. Gulay Ünel, David Toman
2017	—	`conf`	On Partial Features in the DLF Dialects of Description Logic with Inverse Features. Description Logics David Toman, Grant E. Weddell
2016	A*	`conf`	Object-Relational Queries over CFDI IJCAI Jason St. Jacques, David Toman, Grant E. Weddell
2016	—	`conf`	Object-Relational Queries over CFDI_nc Knowledge Bases: OBDA for the SQL-Literate (extended abstract). Description Logics Jason St. Jacques, David Toman, Grant E. Weddell
2016	B	`conf`	On Partial Features in the PRICAI David Toman, Grant E. Weddell
2016	A	`conf`	On Referring Expressions in Information Systems Derived from Conceptual Modelling. ER Alexander Borgida, David Toman, Grant E. Weddell
2016	A*	`conf`	On Referring Expressions in Query Answering over First Order Knowledge Bases. KR Alexander Borgida, David Toman, Grant E. Weddell
2016	—	`conf`	Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract). Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2015	—	`conf`	Absorption for ABoxes and TBoxes with General Value Restrictions. Australasian Conference on Artificial Intelligence Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
2015	B	`conf`	On Enumerating Query Plans Using Analytic Tableau. TABLEAUX Alexander K. Hudek, David Toman, Grant E. Weddell
2015	—	`conf`	On the Krom Extension of Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2015	—	`conf`	On the Utility of Description Logics David Toman, Grant E. Weddell
2015	—	`conf`	Polynomial encoding of ORM conceptual models in Description Logics Pablo R. Fillottrani, C. Maria Keet, David Toman
2015	—	`conf`	Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. Description Logics Alexander Borgida, David Toman, Grant E. Weddell
2015	J	`jnl`	Special issue of the Journal of Web Semantics on ontology-based data access. J. Web Semant. Diego Calvanese, Manolis Koubarakis, David Toman
2014	J	`jnl`	Absorption for ABoxes. J. Autom. Reason. Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2014	A*	`conf`	Cost-Based Query Optimization via AI Planning. AAAI Nathan Robinson, Sheila A. McIlraith, David Toman
2014	B	`conf`	On Adding Inverse Features to the Description Logic PRICAI David Toman, Grant E. Weddell
2014	—	`conf`	Pushing the CFDnc Envelope. Description Logics David Toman, Grant E. Weddell
2014	J	`jnl`	Undecidability of Finite Model Reasoning in DLFD. CoRR David Toman, Grant E. Weddell
2013	—	`conf`	Absorption for ABoxes with Local Universal Restrictions. Description Logics Jiewen Wu, Taras Kinash, David Toman, Grant E. Weddell
2013	—	`conf`	CFDnc: A PTIME Description Logic with Functional Constraints and Disjointness. Description Logics David Toman, Grant E. Weddell
2013	—	`conf`	Conjunctive Query Answering in Australasian Conference on Artificial Intelligence David Toman, Grant E. Weddell
2013	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies Using Filters. ISWC (1) Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2012	—	`conf`	Absorption for ABoxes. Description Logics Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2012	A*	`conf`	Assertion Absorption in Object Queries over Knowledge Bases. KR Jiewen Wu, Alexander K. Hudek, David Toman, Grant E. Weddell
2012	—	`conf`	The Combined Approach to OBDA: Taming Role Hierarchies using Filters. SSWS+HPCSW@ISWC Carsten Lutz, Inanç Seylan, David Toman, Frank Wolter
2011	A*	`conf`	An Assertion Retrieval Algebra for Object Queries over Knowledge Bases. IJCAI Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2011	A*	`conf`	Fixpoints in Temporal Description Logics. IJCAI Enrico Franconi, David Toman
2011	—	`book`	Fundamentals of Physical Design and Query Compilation David Toman, Grant E. Weddell
2011	A*	`conf`	The Combined Approach to Ontology-Based Data Access. IJCAI Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2010	—	`conf`	On Finding Query Rewritings under Expressive Constraints. SEBD Alexander Borgida, Jos de Bruijn, Enrico Franconi, Inanç Seylan, Umberto Straccia, David Toman, Grant E. Weddell
2010	—	`ed.`	Proceedings of the 23rd International Workshop on Description Logics (DL 2010), Waterloo, Ontario, Canada, May 4-7, 2010 Description Logics Volker Haarslev, David Toman, Grant E. Weddell
2010	—	`conf`	Query Algebra and Query Optimization for Concept Assertion Retrieval. Description Logics Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2010	A*	`conf`	The Combined Approach to Query Answering in DL-Lite. KR Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	—	`ch.`	Abstract Versus Concrete Temporal Query Languages. Encyclopedia of Database Systems Jan Chomicki, David Toman
2009	A*	`conf`	Applications and Extensions of PTIME Description Logics with Functional Constraints. IJCAI David Toman, Grant E. Weddell
2009	—	`conf`	Combined FO Rewritability for Conjunctive Query Answering in DL-Lite. Description Logics Roman Kontchakov, Carsten Lutz, David Toman, Frank Wolter, Michael Zakharyaschev
2009	—	`conf`	Concept Projection in Algebras for Computing Certain Answer Descriptions. Description Logics Jeffrey Pound, David Toman, Grant E. Weddell, Jiewen Wu
2009	A*	`conf`	Conjunctive Query Answering in the Description Logic EL Using a Relational Database System. IJCAI Carsten Lutz, David Toman, Frank Wolter
2009	—	`conf`	Data Expiration and Aggregate Queries. AMW David Toman
2009	—	`ch.`	Point-Stamped Temporal Models. Encyclopedia of Database Systems David Toman
2009	—	`ch.`	Temporal Logic in Database Query Languages. Encyclopedia of Database Systems Jan Chomicki, David Toman
2009	—	`ch.`	Temporal Relational Calculus. Encyclopedia of Database Systems Jan Chomicki, David Toman
2009	—	`ch.`	Temporal Vacuuming. Encyclopedia of Database Systems John F. Roddick, David Toman
2008	—	`conf`	Conjunctive Query Answering in EL using a Database System. OWLED Carsten Lutz, David Toman, Frank Wolter
2008	—	`conf`	Decidable Reasoning over Timestamped Conceptual Models. Description Logics Alessandro Artale, David Toman
2008	—	`conf`	Decidable Reasoning over Timestamped Conceptual Models. SEBD Alessandro Artale, David Toman
2008	—	`conf`	Identifying Objects Over Time with Description Logics. Description Logics David Toman, Grant E. Weddell
2008	A*	`conf`	Identifying Objects Over Time with Description Logics. KR David Toman, Grant E. Weddell
2008	J	`jnl`	On Keys and Functional Dependencies as First-Class Citizens in Description Logics. J. Autom. Reason. David Toman, Grant E. Weddell
2008	—	`conf`	On Ordering and Indexing Metadata for the Semantic Web. Description Logics Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
2008	—	`conf`	Optimizing away joins on data streams. SSPS Lukasz Golab, Theodore Johnson, Nick Koudas, Divesh Srivastava, David Toman
2007	A*	`conf`	A Description Logic of Change. IJCAI Alessandro Artale, Carsten Lutz, David Toman
2007	—	`conf`	Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements. Description Logics Vitaliy L. Khizder, David Toman, Grant E. Weddell
2007	A	`conf`	An Incremental Technique for Automata-Based Decision Procedures. CADE Gulay Ünel, David Toman
2007	B	`conf`	Logic Programming Approach to Automata-Based Decision Procedures. ICLP Gulay Ünel, David Toman
2007	C	`conf`	On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. TIME David Toman
2007	A	`conf`	On Order Dependencies for the Semantic Web. ER David Toman, Grant E. Weddell
2007	—	`conf`	On Ordering Descriptions in a Description Logic. Description Logics Jeffrey Pound, Lubomir Stanchev, David Toman, Grant E. Weddell
2007	J	`jnl`	Special Issue: TIME 2005. Inf. Comput. Jan Chomicki, David Toman
2006	—	`conf`	A Description Logic of Change. Description Logics Alessandro Artale, Carsten Lutz, David Toman
2006	—	`conf`	On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. STDBM David Toman
2006	A	`conf`	On Keys and Functional Dependencies as First-Class Citizens in Description Logics. IJCAR David Toman, Grant E. Weddell
2006	—	`ed.`	Proceedings of the 2006 International Workshop on Description Logics (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006 Description Logics Bijan Parsia, Ulrike Sattler, David Toman
2005	—	`conf`	On Path-functional Dependencies as First-class Citizens in Description Logics. Description Logics David Toman, Grant E. Weddell
2005	J	`jnl`	On reasoning about structural equality in XML: a description logic approach. Theor. Comput. Sci. David Toman, Grant E. Weddell
2005	A*	`conf`	On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics. IJCAI David Toman, Grant E. Weddell
2005	A*	`conf`	Structure and Content Scoring for XML. VLDB Sihem Amer-Yahia, Nick Koudas, Amélie Marian, Divesh Srivastava, David Toman
2005	—	`ch.`	Temporal Databases. Handbook of Temporal Reasoning in Artificial Intelligence Jan Chomicki, David Toman
2004	—	`conf`	Attribute Inversion in Description Logic with Path Functional Dependencies . Description Logics David Toman, Grant E. Weddell
2003	—	`conf`	A Comprehensive XQuery to SQL Translation using Dynamic Interval Encoding. SIGMOD Conference David DeHaan, David Toman, Mariano P. Consens, M. Tamer Özsu
2003	—	`conf`	Fixpoint Extensions of Temporal Description Logics. Description Logics Enrico Franconi, David Toman
2003	B	`conf`	Logical Data Expiration for Fixpoint Extensions of Temporal Logics. SSTD David Toman
2003	—	`conf`	Logical Data Expiration. Logics for Emerging Applications of Databases David Toman
2003	C	`conf`	On Incompleteness of Multi-dimensional First-order Temporal Logics. TIME David Toman
2003	A	`conf`	On Reasoning about Structural Equality in XML: A Description Logic Approach. ICDT David Toman, Grant E. Weddell
2003	J	`jnl`	Optimizing temporal queries: efficient handling of duplicates. Data Knowl. Eng. Ivan T. Bowman, David Toman
2003	—	`conf`	Rewriting Aggregate Queries using Description Logic. Description Logics David DeHaan, David Toman, Grant E. Weddell
2003	J	`jnl`	Variable Independence in Constraint Databases. IEEE Trans. Knowl. Data Eng. Jan Chomicki, Dina Q. Goldin, Gabriel M. Kuper, David Toman
2002	—	`conf`	Fine Grained Information Integration with Description Logics. Description Logics Huizhu Liu, David Toman, Grant E. Weddell
2002	C	`conf`	Logical Data Expiration. TIME David Toman
2001	C	`conf`	Expiration of Historical Databases. TIME David Toman
2001	—	`conf`	On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem. Description Logics David Toman, Grant E. Weddell
2001	A	`conf`	On Decidability and Complexity of Description Logics with Uniqueness Constraints. ICDT Vitaliy L. Khizder, David Toman, Grant E. Weddell
2001	C	`conf`	Optimizing Temporal Queries: Efficient Handling of Duplicates. TIME Ivan T. Bowman, David Toman
2001	—	`conf`	Query Processing in Embedded Control Programs. Databases in Telecommunications David Toman, Grant E. Weddell
2001	J	`jnl`	Querying ATSQL databases with temporal logic. ACM Trans. Database Syst. Jan Chomicki, David Toman, Michael H. Böhlen
2000	—	`conf`	On Decidability and Complexity of Description Logics with Uniqueness Constraints. Description Logics Vitaliy L. Khizder, David Toman, Grant E. Weddell
2000	—	`conf`	Reasoning about Duplicate Elimination with Description Logic. Computational Logic Vitaliy L. Khizder, David Toman, Grant E. Weddell
2000	—	`ch.`	SQL/TP: A Temporal Extension of SQL. Constraint Databases David Toman
1998	J	`jnl`	Datalog with Integer Periodicity Constraints. J. Log. Program. David Toman, Jan Chomicki
1998	—	`conf`	Temporal Logic in Information Systems. Logics for Databases and Information Systems Jan Chomicki, David Toman
1997	—	`conf`	Computing the Well-Founded Semantics for Constraint Extensions of Datalog. CDB David Toman
1997	—	`conf`	Constraint Databases and Program Analysis Using Abstract Interpretation. CDB David Toman
1997	J	`jnl`	Memoing Evaluation for Constraint Extensions of Datalog. Constraints An Int. J. David Toman
1997	—	`conf`	Point-Based Temporal Extension of Temporal SQL. DOOD David Toman
1997	—	`conf`	Point-Based Temporal Extensions of SQL and Their Efficient Implementation. Temporal Databases, Dagstuhl David Toman
1996	B	`conf`	First-Order Queries over Temporal Databases Inexpressible in Temporal Logic. EDBT David Toman, Damian Niwinski
1996	A*	`conf`	Point vs. Interval-based Query Languages for Temporal Databases. PODS David Toman
1996	B	`conf`	Querying TSQL2 Databases with Temporal Logic. EDBT Michael H. Böhlen, Jan Chomicki, Richard T. Snodgrass, David Toman
1995	J	`jnl`	Implementing Temporal Integrity Constraints Using an Active DBMS. IEEE Trans. Knowl. Data Eng. Jan Chomicki, David Toman
1995	—	`conf`	Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog. ILPS David Toman
1994	—	`conf`	Datalog with Integer Periodicity Constraints. ILPS David Toman, Jan Chomicki, David S. Rogers
1994	—	`conf`	Implementing Temporal Integrity Constraints Using an Active DBMS. RIDE-ADS David Toman, Jan Chomicki
1991	B	`conf`	Register Allocation in WAM. ICLP Ludek Matyska, Adriana Jergová, David Toman