Search dblp for Publications

export results for "David Toman"

 download as .bib file

@inproceedings{DBLP:conf/dlog/FengBFP0W23,
  author       = {Eva Feng and
                  Alexander Borgida and
                  Enrico Franconi and
                  Peter F. Patel{-}Schneider and
                  David Toman and
                  Grant E. Weddell},
  title        = {Path Description Dependencies in Feature-Based DLs},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3515},
  publisher    = {CEUR-WS.org},
  year         = {2023}
}
@article{DBLP:journals/corr/abs-2310-06707,
  author       = {Christian Tomani and
                  David Vilar and
                  Markus Freitag and
                  Colin Cherry and
                  Subhajit Naskar and
                  Mara Finkelstein and
                  Daniel Cremers},
  title        = {Quality Control at Your Fingertips: Quality-Aware Translation Models},
  journal      = {CoRR},
  volume       = {abs/2310.06707},
  year         = {2023}
}
@inproceedings{DBLP:conf/aaai/JohnsonAEMSSTB22,
  author       = {David Johnson and
                  Mohammad Alsharid and
                  Rasheed El{-}Bouri and
                  Nigel Mehdi and
                  Farah Shamout and
                  Alexandre Szenicer and
                  David Toman and
                  Saqr Binghalib},
  title        = {An Experience Report of Executive-Level Artificial Intelligence Education
                  in the United Arab Emirates},
  booktitle    = {{AAAI}},
  pages        = {12766--12773},
  publisher    = {{AAAI} Press},
  year         = {2022}
}
@inproceedings{DBLP:conf/aaai/TomanW22,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {First Order Rewritability in Ontology-Mediated Querying in Horn Description
                  Logics},
  booktitle    = {{AAAI}},
  pages        = {5897--5905},
  publisher    = {{AAAI} Press},
  year         = {2022}
}
@inproceedings{DBLP:conf/ausai/BorgidaFTW22,
  author       = {Alexander Borgida and
                  Enrico Franconi and
                  David Toman and
                  Grant E. Weddell},
  title        = {Understanding Document Data Sources Using Ontologies with Referring
                  Expressions},
  booktitle    = {{AI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {13728},
  pages        = {367--380},
  publisher    = {Springer},
  year         = {2022}
}
@inproceedings{DBLP:conf/dlog/BorgidaFTW22,
  author       = {Alexander Borgida and
                  Enrico Franconi and
                  David Toman and
                  Grant E. Weddell},
  title        = {Accessing Document Data Sources using Referring Expression Types},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3263},
  publisher    = {CEUR-WS.org},
  year         = {2022}
}
@inproceedings{DBLP:conf/ruleml/Feng0W22,
  author       = {Eva Feng and
                  David Toman and
                  Grant E. Weddell},
  title        = {Magic Sets in Interpolation-Based Rule Driven Query Optimization},
  booktitle    = {RuleML+RR},
  series       = {Lecture Notes in Computer Science},
  volume       = {13752},
  pages        = {198--207},
  publisher    = {Springer},
  year         = {2022}
}
@article{DBLP:journals/corr/abs-2202-01281,
  author       = {David Johnson and
                  Mohammad Alsharid and
                  Rasheed El{-}Bouri and
                  Nigel Mehdi and
                  Farah Shamout and
                  Alexandre Szenicer and
                  David Toman and
                  Saqr Binghalib},
  title        = {An Experience Report of Executive-Level Artificial Intelligence Education
                  in the United Arab Emirates},
  journal      = {CoRR},
  volume       = {abs/2202.01281},
  year         = {2022}
}
@article{DBLP:journals/remotesensing/TomanBK21,
  author       = {Ivan Toman and
                  David Brcic and
                  Serdjo Kos},
  title        = {Contribution to the Research of the Effects of Etna Volcano Activity
                  on the Features of the Ionospheric Total Electron Content Behaviour},
  journal      = {Remote. Sens.},
  volume       = {13},
  number       = {5},
  pages        = {1006},
  year         = {2021}
}
@inproceedings{DBLP:conf/dlog/TomanW21,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {{FO} Rewritability for {OMQ} using Beth Definability and Interpolation},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2954},
  publisher    = {CEUR-WS.org},
  year         = {2021}
}
@inproceedings{DBLP:conf/kr/TomanW21,
  author       = {David Toman and
                  Grant E. Wedell},
  title        = {Projective Beth Definability and Craig Interpolation for Relational
                  Query Optimization (Material to Accompany Invited Talk)},
  booktitle    = {SOQE@KR},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3009},
  pages        = {1--13},
  publisher    = {CEUR-WS.org},
  year         = {2021}
}
@article{DBLP:journals/ki/TomanW20,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Using Feature-Based Description Logics to avoid Duplicate Elimination
                  in Object-Relational Query Languages},
  journal      = {K{\"{u}}nstliche Intell.},
  volume       = {34},
  number       = {3},
  pages        = {355--363},
  year         = {2020}
}
@inproceedings{DBLP:conf/dlog/TomanW20,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {First Order Rewritability for Ontology Mediated Querying in Horn-DLFD},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2663},
  publisher    = {CEUR-WS.org},
  year         = {2020}
}
@article{DBLP:journals/sensors/KubicekTCVKO19,
  author       = {Jan Kub{\'{\i}}cek and
                  Filip Tomanec and
                  Martin Cern{\'{y}} and
                  Dominik Vilimek and
                  Martina Kalova and
                  David Oczka},
  title        = {Recent Trends, Technical Concepts and Components of Computer-Assisted
                  Orthopedic Surgery Systems: {A} Comprehensive Review},
  journal      = {Sensors},
  volume       = {19},
  number       = {23},
  pages        = {5199},
  year         = {2019}
}
@inproceedings{DBLP:conf/aaai/McIntyreBTW19,
  author       = {Stephanie McIntyre and
                  Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Limited Conjunctions and Partial Features in Parameter-Tractable
                  Feature Logics},
  booktitle    = {{AAAI}},
  pages        = {2995--3002},
  publisher    = {{AAAI} Press},
  year         = {2019}
}
@inproceedings{DBLP:conf/ausai/TomanW19,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Finding {ALL} Answers to {OBDA} Queries Using Referring Expressions},
  booktitle    = {Australasian Conference on Artificial Intelligence},
  series       = {Lecture Notes in Computer Science},
  volume       = {11919},
  pages        = {117--129},
  publisher    = {Springer},
  year         = {2019}
}
@inproceedings{DBLP:conf/birthday/McIntyreTW19,
  author       = {Stephanie McIntyre and
                  David Toman and
                  Grant E. Weddell},
  title        = {FunDL - {A} Family of Feature-Based Description Logics, with Applications
                  in Querying Structured Data Sources},
  booktitle    = {Description Logic, Theory Combination, and All That},
  series       = {Lecture Notes in Computer Science},
  volume       = {11560},
  pages        = {404--430},
  publisher    = {Springer},
  year         = {2019}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW19,
  author       = {Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Special Description Logics for Processes and Plans},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2373},
  publisher    = {CEUR-WS.org},
  year         = {2019}
}
@inproceedings{DBLP:conf/dlog/TomanW19,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Exhaustive Query Answering via Referring Expressions},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2373},
  publisher    = {CEUR-WS.org},
  year         = {2019}
}
@inproceedings{DBLP:conf/pricai/TomanW19,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Identity Resolution in Ontology Based Data Access to Structured Data
                  Sources},
  booktitle    = {{PRICAI} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11670},
  pages        = {473--485},
  publisher    = {Springer},
  year         = {2019}
}
@article{DBLP:journals/corr/abs-1902-08295,
  author       = {Jonathan Shen and
                  Patrick Nguyen and
                  Yonghui Wu and
                  Zhifeng Chen and
                  Mia Xu Chen and
                  Ye Jia and
                  Anjuli Kannan and
                  Tara N. Sainath and
                  Yuan Cao and
                  Chung{-}Cheng Chiu and
                  Yanzhang He and
                  Jan Chorowski and
                  Smit Hinsu and
                  Stella Laurenzo and
                  James Qin and
                  Orhan Firat and
                  Wolfgang Macherey and
                  Suyog Gupta and
                  Ankur Bapna and
                  Shuyuan Zhang and
                  Ruoming Pang and
                  Ron J. Weiss and
                  Rohit Prabhavalkar and
                  Qiao Liang and
                  Benoit Jacob and
                  Bowen Liang and
                  HyoukJoong Lee and
                  Ciprian Chelba and
                  S{\'{e}}bastien Jean and
                  Bo Li and
                  Melvin Johnson and
                  Rohan Anil and
                  Rajat Tibrewal and
                  Xiaobing Liu and
                  Akiko Eriguchi and
                  Navdeep Jaitly and
                  Naveen Ari and
                  Colin Cherry and
                  Parisa Haghani and
                  Otavio Good and
                  Youlong Cheng and
                  Raziel Alvarez and
                  Isaac Caswell and
                  Wei{-}Ning Hsu and
                  Zongheng Yang and
                  Kuan{-}Chieh Wang and
                  Ekaterina Gonina and
                  Katrin Tomanek and
                  Ben Vanik and
                  Zelin Wu and
                  Llion Jones and
                  Mike Schuster and
                  Yanping Huang and
                  Dehao Chen and
                  Kazuki Irie and
                  George F. Foster and
                  John Richardson and
                  Klaus Macherey and
                  Antoine Bruguier and
                  Heiga Zen and
                  Colin Raffel and
                  Shankar Kumar and
                  Kanishka Rao and
                  David Rybach and
                  Matthew Murray and
                  Vijayaditya Peddinti and
                  Maxim Krikun and
                  Michiel Bacchiani and
                  Thomas B. Jablin and
                  Robert Suderman and
                  Ian Williams and
                  Benjamin Lee and
                  Deepti Bhatia and
                  Justin Carlson and
                  Semih Yavuz and
                  Yu Zhang and
                  Ian McGraw and
                  Max Galkin and
                  Qi Ge and
                  Golan Pundak and
                  Chad Whipkey and
                  Todd Wang and
                  Uri Alon and
                  Dmitry Lepikhin and
                  Ye Tian and
                  Sara Sabour and
                  William Chan and
                  Shubham Toshniwal and
                  Baohua Liao and
                  Michael Nirschl and
                  Pat Rondon},
  title        = {Lingvo: a Modular and Scalable Framework for Sequence-to-Sequence
                  Modeling},
  journal      = {CoRR},
  volume       = {abs/1902.08295},
  year         = {2019}
}
@inproceedings{DBLP:conf/dlog/TomanW18,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge
                  Bases},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2211},
  publisher    = {CEUR-WS.org},
  year         = {2018}
}
@inproceedings{DBLP:conf/ekaw/MaKOTW18,
  author       = {Weicong Ma and
                  C. Maria Keet and
                  Wayne Oldford and
                  David Toman and
                  Grant E. Weddell},
  title        = {The Utility of the Abstract Relational Model and Attribute Paths in
                  {SQL}},
  booktitle    = {{EKAW}},
  series       = {Lecture Notes in Computer Science},
  volume       = {11313},
  pages        = {195--211},
  publisher    = {Springer},
  year         = {2018}
}
@inproceedings{DBLP:conf/kr/McIntyreBTW18,
  author       = {Stephanie McIntyre and
                  Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Limited Conjunctions in Polynomial Feature Logics, with Applications
                  in {OBDA}},
  booktitle    = {{KR}},
  pages        = {655--656},
  publisher    = {{AAAI} Press},
  year         = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Abstract Versus Concrete Temporal Query Languages},
  booktitle    = {Encyclopedia of Database Systems (2nd ed.)},
  publisher    = {Springer},
  year         = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18a,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Logic in Database Query Languages},
  booktitle    = {Encyclopedia of Database Systems (2nd ed.)},
  publisher    = {Springer},
  year         = {2018}
}
@incollection{DBLP:reference/db/ChomickiT18b,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Relational Calculus},
  booktitle    = {Encyclopedia of Database Systems (2nd ed.)},
  publisher    = {Springer},
  year         = {2018}
}
@incollection{DBLP:reference/db/RoddickT18,
  author       = {John F. Roddick and
                  David Toman},
  title        = {Temporal Vacuuming},
  booktitle    = {Encyclopedia of Database Systems (2nd ed.)},
  publisher    = {Springer},
  year         = {2018}
}
@incollection{DBLP:reference/db/Toman18,
  author       = {David Toman},
  title        = {Point-Stamped Temporal Models},
  booktitle    = {Encyclopedia of Database Systems (2nd ed.)},
  publisher    = {Springer},
  year         = {2018}
}
@article{DBLP:journals/jlp/UnelT17,
  author       = {Gulay {\"{U}}nel and
                  David Toman},
  title        = {Logic programming approach to automata-based decision procedures},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {86},
  number       = {1},
  pages        = {391--407},
  year         = {2017}
}
@inproceedings{DBLP:conf/aicol/SchmeddingKBSST17,
  author       = {Florian Schmedding and
                  Peter Kl{\"{u}}gl and
                  David Baehrens and
                  Christian Simon and
                  Kai Simon and
                  Katrin Tomanek},
  title        = {EuroVoc-Based Summarization of European Case Law},
  booktitle    = {{AICOL}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10791},
  pages        = {205--219},
  publisher    = {Springer},
  year         = {2017}
}
@inproceedings{DBLP:conf/dlog/TomanW17,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Partial Features in the {DLF} Dialects of Description Logic with
                  Inverse Features},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1879},
  publisher    = {CEUR-WS.org},
  year         = {2017}
}
@inproceedings{DBLP:conf/ijcai/BorgidaTW17,
  author       = {Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {Concerning Referring Expressions in Query Answers},
  booktitle    = {{IJCAI}},
  pages        = {4791--4795},
  publisher    = {ijcai.org},
  year         = {2017}
}
@inproceedings{DBLP:conf/lpar/TomanW17,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {An Interpolation-based Compiler and Optimizer for Relational Queries
                  (System design Report)},
  booktitle    = {{LPAR} (Short Presentations)},
  series       = {Kalpa Publications in Computing},
  volume       = {1},
  pages        = {1--10},
  publisher    = {EasyChair},
  year         = {2017}
}
@inproceedings{DBLP:conf/ausai/TomanW16,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Ontology Based Data Access with Referring Expressions for Logics with
                  the Tree Model Property - (Extended Abstract)},
  booktitle    = {Australasian Conference on Artificial Intelligence},
  series       = {Lecture Notes in Computer Science},
  volume       = {9992},
  pages        = {353--361},
  publisher    = {Springer},
  year         = {2016}
}
@inproceedings{DBLP:conf/dlog/JacquesTW16,
  author       = {Jason St. Jacques and
                  David Toman and
                  Grant E. Weddell},
  title        = {Object-Relational Queries over CFDI{\_}nc Knowledge Bases: {OBDA}
                  for the SQL-Literate (extended abstract)},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1577},
  publisher    = {CEUR-WS.org},
  year         = {2016}
}
@inproceedings{DBLP:conf/er/BorgidaTW16,
  author       = {Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Referring Expressions in Information Systems Derived from Conceptual
                  Modelling},
  booktitle    = {{ER}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9974},
  pages        = {183--197},
  year         = {2016}
}
@inproceedings{DBLP:conf/ijcai/JacquesTW16,
  author       = {Jason St. Jacques and
                  David Toman and
                  Grant E. Weddell},
  title        = {Object-Relational Queries over CFDI\({}_{\mbox{nc}}\) Knowledge Bases:
                  {OBDA} for the SQL-Literate},
  booktitle    = {{IJCAI}},
  pages        = {1258--1264},
  publisher    = {{IJCAI/AAAI} Press},
  year         = {2016}
}
@inproceedings{DBLP:conf/kr/BorgidaTW16,
  author       = {Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Referring Expressions in Query Answering over First Order Knowledge
                  Bases},
  booktitle    = {{KR}},
  pages        = {319--328},
  publisher    = {{AAAI} Press},
  year         = {2016}
}
@inproceedings{DBLP:conf/pricai/TomanW16,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Partial Features in the \emph{DLF} Family of Description Logics},
  booktitle    = {{PRICAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9810},
  pages        = {529--542},
  publisher    = {Springer},
  year         = {2016}
}
@article{DBLP:journals/ws/CalvaneseKT15,
  author       = {Diego Calvanese and
                  Manolis Koubarakis and
                  David Toman},
  title        = {Special issue of the Journal of Web Semantics on ontology-based data
                  access},
  journal      = {J. Web Semant.},
  volume       = {33},
  pages        = {1--2},
  year         = {2015}
}
@inproceedings{DBLP:conf/ausai/TomanW15,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On the Krom Extension of \emph{CFDI}{\(\forall\)} -{\_}nc},
  booktitle    = {Australasian Conference on Artificial Intelligence},
  series       = {Lecture Notes in Computer Science},
  volume       = {9457},
  pages        = {559--571},
  publisher    = {Springer},
  year         = {2015}
}
@inproceedings{DBLP:conf/ausai/WuKTW15,
  author       = {Jiewen Wu and
                  Taras Kinash and
                  David Toman and
                  Grant E. Weddell},
  title        = {Absorption for ABoxes and TBoxes with General Value Restrictions},
  booktitle    = {Australasian Conference on Artificial Intelligence},
  series       = {Lecture Notes in Computer Science},
  volume       = {9457},
  pages        = {609--622},
  publisher    = {Springer},
  year         = {2015}
}
@inproceedings{DBLP:conf/dlog/BorgidaTW15,
  author       = {Alexander Borgida and
                  David Toman and
                  Grant E. Weddell},
  title        = {Singular Referring Expressions in Conjunctive Query Answers: the case
                  for a {CFD} {DL} Dialect},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1350},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}
@inproceedings{DBLP:conf/dlog/FillottraniKT15,
  author       = {Pablo R. Fillottrani and
                  C. Maria Keet and
                  David Toman},
  title        = {Polynomial encoding of {ORM} conceptual models in \emph{CFDI}},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1350},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}
@inproceedings{DBLP:conf/dlog/TomanW15,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On the Utility of \emph{CFDI}},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1350},
  publisher    = {CEUR-WS.org},
  year         = {2015}
}
@inproceedings{DBLP:conf/tableaux/HudekTW15,
  author       = {Alexander K. Hudek and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Enumerating Query Plans Using Analytic Tableau},
  booktitle    = {{TABLEAUX}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {339--354},
  publisher    = {Springer},
  year         = {2015}
}
@article{DBLP:journals/jar/WuHTW14,
  author       = {Jiewen Wu and
                  Alexander K. Hudek and
                  David Toman and
                  Grant E. Weddell},
  title        = {Absorption for ABoxes},
  journal      = {J. Autom. Reason.},
  volume       = {53},
  number       = {3},
  pages        = {215--243},
  year         = {2014}
}
@inproceedings{DBLP:conf/aaai/RobinsonMT14,
  author       = {Nathan Robinson and
                  Sheila A. McIlraith and
                  David Toman},
  title        = {Cost-Based Query Optimization via {AI} Planning},
  booktitle    = {{AAAI}},
  pages        = {2344--2351},
  publisher    = {{AAAI} Press},
  year         = {2014}
}
@inproceedings{DBLP:conf/dlog/TomanW14,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Pushing the CFDnc Envelope},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1193},
  pages        = {340--351},
  publisher    = {CEUR-WS.org},
  year         = {2014}
}
@inproceedings{DBLP:conf/pricai/TomanW14,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Adding Inverse Features to the Description Logic \emph{CFD}\({}^{\mbox{{\(\forall\)}}}\)\({}_{\mbox{nc}}\)},
  booktitle    = {{PRICAI}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8862},
  pages        = {587--599},
  publisher    = {Springer},
  year         = {2014}
}
@article{DBLP:journals/corr/TomanW14,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Undecidability of Finite Model Reasoning in {DLFD}},
  journal      = {CoRR},
  volume       = {abs/1408.4468},
  year         = {2014}
}
@article{DBLP:journals/bmcmi/BlasiakBFRMPWTIASOT13,
  author       = {Barbara Blasiak and
                  Samuel Barnes and
                  Tadeusz Foniok and
                  David Rushforth and
                  John Matyas and
                  Dragana Ponjevic and
                  Wladyslaw P. Weglarz and
                  Randy Tyson and
                  Umar Iqbal and
                  Abedelnasser Abulrob and
                  Garnette R. Sutherland and
                  Andre Obenaus and
                  Boguslaw Tomanek},
  title        = {Comparison of T\({}_{\mbox{2}}\) and T\({}_{\mbox{2}}\) \({}^{\mbox{*}}\)-weighted
                  {MR} molecular imaging of a mouse model of glioma},
  journal      = {{BMC} Medical Imaging},
  volume       = {13},
  pages        = {20},
  year         = {2013}
}
@inproceedings{DBLP:conf/ausai/TomanW13,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Conjunctive Query Answering in \emph{CFD}\({}_{\mbox{nc}}\) : {A}
                  {PTIME} Description Logic with Functional Constraints and Disjointness},
  booktitle    = {Australasian Conference on Artificial Intelligence},
  series       = {Lecture Notes in Computer Science},
  volume       = {8272},
  pages        = {350--361},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/dlog/TomanW13,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {CFDnc: {A} {PTIME} Description Logic with Functional Constraints and
                  Disjointness},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {451--463},
  publisher    = {CEUR-WS.org},
  year         = {2013}
}
@inproceedings{DBLP:conf/dlog/WuKTW13,
  author       = {Jiewen Wu and
                  Taras Kinash and
                  David Toman and
                  Grant E. Weddell},
  title        = {Absorption for ABoxes with Local Universal Restrictions},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1014},
  pages        = {489--500},
  publisher    = {CEUR-WS.org},
  year         = {2013}
}
@inproceedings{DBLP:conf/semweb/LutzSTW13,
  author       = {Carsten Lutz and
                  Inan{\c{c}} Seylan and
                  David Toman and
                  Frank Wolter},
  title        = {The Combined Approach to {OBDA:} Taming Role Hierarchies Using Filters},
  booktitle    = {{ISWC} {(1)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8218},
  pages        = {314--330},
  publisher    = {Springer},
  year         = {2013}
}
@inproceedings{DBLP:conf/dlog/WuHTW12,
  author       = {Jiewen Wu and
                  Alexander K. Hudek and
                  David Toman and
                  Grant E. Weddell},
  title        = {Absorption for ABoxes},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {846},
  publisher    = {CEUR-WS.org},
  year         = {2012}
}
@inproceedings{DBLP:conf/kr/WuHTW12,
  author       = {Jiewen Wu and
                  Alexander K. Hudek and
                  David Toman and
                  Grant E. Weddell},
  title        = {Assertion Absorption in Object Queries over Knowledge Bases},
  booktitle    = {{KR}},
  publisher    = {{AAAI} Press},
  year         = {2012}
}
@inproceedings{DBLP:conf/semweb/LutzSTW12,
  author       = {Carsten Lutz and
                  Inan{\c{c}} Seylan and
                  David Toman and
                  Frank Wolter},
  title        = {The Combined Approach to {OBDA:} Taming Role Hierarchies using Filters},
  booktitle    = {SSWS+HPCSW@ISWC},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {943},
  pages        = {16--31},
  publisher    = {CEUR-WS.org},
  year         = {2012}
}
@book{DBLP:series/synthesis/2011Toman,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Fundamentals of Physical Design and Query Compilation},
  series       = {Synthesis Lectures on Data Management},
  publisher    = {Morgan {\&} Claypool Publishers},
  year         = {2011}
}
@inproceedings{DBLP:conf/ijcai/FranconiT11,
  author       = {Enrico Franconi and
                  David Toman},
  title        = {Fixpoints in Temporal Description Logics},
  booktitle    = {{IJCAI}},
  pages        = {875--880},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011}
}
@inproceedings{DBLP:conf/ijcai/KontchakovLTWZ11,
  author       = {Roman Kontchakov and
                  Carsten Lutz and
                  David Toman and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {The Combined Approach to Ontology-Based Data Access},
  booktitle    = {{IJCAI}},
  pages        = {2656--2661},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011}
}
@inproceedings{DBLP:conf/ijcai/PoundTWW11,
  author       = {Jeffrey Pound and
                  David Toman and
                  Grant E. Weddell and
                  Jiewen Wu},
  title        = {An Assertion Retrieval Algebra for Object Queries over Knowledge Bases},
  booktitle    = {{IJCAI}},
  pages        = {1051--1056},
  publisher    = {{IJCAI/AAAI}},
  year         = {2011}
}
@inproceedings{DBLP:conf/dlog/PoundTWW10,
  author       = {Jeffrey Pound and
                  David Toman and
                  Grant E. Weddell and
                  Jiewen Wu},
  title        = {Query Algebra and Query Optimization for Concept Assertion Retrieval},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {573},
  publisher    = {CEUR-WS.org},
  year         = {2010}
}
@inproceedings{DBLP:conf/kr/KontchakovLTWZ10,
  author       = {Roman Kontchakov and
                  Carsten Lutz and
                  David Toman and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {The Combined Approach to Query Answering in DL-Lite},
  booktitle    = {{KR}},
  publisher    = {{AAAI} Press},
  year         = {2010}
}
@inproceedings{DBLP:conf/lrec/Rebholz-SchuhmannJMKKMCBTBH10,
  author       = {Dietrich Rebholz{-}Schuhmann and
                  Antonio Jos{\'{e}} Jimeno{-}Yepes and
                  Erik M. van Mulligen and
                  Ning Kang and
                  Jan A. Kors and
                  David Milward and
                  Peter T. Corbett and
                  Ekaterina Buyko and
                  Katrin Tomanek and
                  Elena Beisswanger and
                  Udo Hahn},
  title        = {The {CALBC} Silver Standard Corpus for Biomedical Named Entities -
                  {A} Study in Harmonizing the Contributions from Four Independent Named
                  Entity Taggers},
  booktitle    = {{LREC}},
  publisher    = {European Language Resources Association},
  year         = {2010}
}
@inproceedings{DBLP:conf/sebd/BorgidaBFSSTW10,
  author       = {Alexander Borgida and
                  Jos de Bruijn and
                  Enrico Franconi and
                  Inan{\c{c}} Seylan and
                  Umberto Straccia and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Finding Query Rewritings under Expressive Constraints},
  booktitle    = {{SEBD}},
  pages        = {426--437},
  publisher    = {Esculapio Editore},
  year         = {2010}
}
@proceedings{DBLP:conf/dlog/2010,
  editor       = {Volker Haarslev and
                  David Toman and
                  Grant E. Weddell},
  title        = {Proceedings of the 23rd International Workshop on Description Logics
                  {(DL} 2010), Waterloo, Ontario, Canada, May 4-7, 2010},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {573},
  publisher    = {CEUR-WS.org},
  year         = {2010}
}
@inproceedings{DBLP:conf/amw/Toman09,
  author       = {David Toman},
  title        = {Data Expiration and Aggregate Queries},
  booktitle    = {{AMW}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {450},
  publisher    = {CEUR-WS.org},
  year         = {2009}
}
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09,
  author       = {Roman Kontchakov and
                  Carsten Lutz and
                  David Toman and
                  Frank Wolter and
                  Michael Zakharyaschev},
  title        = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009}
}
@inproceedings{DBLP:conf/dlog/PoundTWW09,
  author       = {Jeffrey Pound and
                  David Toman and
                  Grant E. Weddell and
                  Jiewen Wu},
  title        = {Concept Projection in Algebras for Computing Certain Answer Descriptions},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {477},
  publisher    = {CEUR-WS.org},
  year         = {2009}
}
@inproceedings{DBLP:conf/dsd/FiserT09,
  author       = {Petr Fiser and
                  David Toman},
  title        = {A Fast {SOP} Minimizer for Logic Funcions Described by Many Product
                  Terms},
  booktitle    = {{DSD}},
  pages        = {757--764},
  publisher    = {{IEEE} Computer Society},
  year         = {2009}
}
@inproceedings{DBLP:conf/ijcai/LutzTW09,
  author       = {Carsten Lutz and
                  David Toman and
                  Frank Wolter},
  title        = {Conjunctive Query Answering in the Description Logic {EL} Using a
                  Relational Database System},
  booktitle    = {{IJCAI}},
  pages        = {2070--2075},
  year         = {2009}
}
@inproceedings{DBLP:conf/ijcai/TomanW09,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Applications and Extensions of {PTIME} Description Logics with Functional
                  Constraints},
  booktitle    = {{IJCAI}},
  pages        = {948--954},
  year         = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Abstract Versus Concrete Temporal Query Languages},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {1--6},
  publisher    = {Springer {US}},
  year         = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09a,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Logic in Database Query Languages},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {2987--2991},
  publisher    = {Springer {US}},
  year         = {2009}
}
@incollection{DBLP:reference/db/ChomickiT09b,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Relational Calculus},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {3015--3016},
  publisher    = {Springer {US}},
  year         = {2009}
}
@incollection{DBLP:reference/db/RoddickT09,
  author       = {John F. Roddick and
                  David Toman},
  title        = {Temporal Vacuuming},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {3023--3027},
  publisher    = {Springer {US}},
  year         = {2009}
}
@incollection{DBLP:reference/db/Toman09,
  author       = {David Toman},
  title        = {Point-Stamped Temporal Models},
  booktitle    = {Encyclopedia of Database Systems},
  pages        = {2119--2123},
  publisher    = {Springer {US}},
  year         = {2009}
}
@article{DBLP:journals/jar/TomanW08,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Keys and Functional Dependencies as First-Class Citizens in Description
                  Logics},
  journal      = {J. Autom. Reason.},
  volume       = {40},
  number       = {2-3},
  pages        = {117--132},
  year         = {2008}
}
@inproceedings{DBLP:conf/dlog/ArtaleT08,
  author       = {Alessandro Artale and
                  David Toman},
  title        = {Decidable Reasoning over Timestamped Conceptual Models},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008}
}
@inproceedings{DBLP:conf/dlog/PoundSTW08,
  author       = {Jeffrey Pound and
                  Lubomir Stanchev and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Ordering and Indexing Metadata for the Semantic Web},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008}
}
@inproceedings{DBLP:conf/dlog/TomanW08,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Identifying Objects Over Time with Description Logics},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {353},
  publisher    = {CEUR-WS.org},
  year         = {2008}
}
@inproceedings{DBLP:conf/edbt/GolabJKST08,
  author       = {Lukasz Golab and
                  Theodore Johnson and
                  Nick Koudas and
                  Divesh Srivastava and
                  David Toman},
  title        = {Optimizing away joins on data streams},
  booktitle    = {{SSPS}},
  series       = {{ACM} International Conference Proceeding Series},
  pages        = {48--57},
  publisher    = {{ACM}},
  year         = {2008}
}
@inproceedings{DBLP:conf/kr/TomanW08,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Identifying Objects Over Time with Description Logics},
  booktitle    = {{KR}},
  pages        = {724--732},
  publisher    = {{AAAI} Press},
  year         = {2008}
}
@inproceedings{DBLP:conf/owled/LutzTW08,
  author       = {Carsten Lutz and
                  David Toman and
                  Frank Wolter},
  title        = {Conjunctive Query Answering in {EL} using a Database System},
  booktitle    = {{OWLED}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {432},
  publisher    = {CEUR-WS.org},
  year         = {2008}
}
@inproceedings{DBLP:conf/sebd/ArtaleT08,
  author       = {Alessandro Artale and
                  David Toman},
  title        = {Decidable Reasoning over Timestamped Conceptual Models},
  booktitle    = {{SEBD}},
  pages        = {168--178},
  year         = {2008}
}
@article{DBLP:journals/iandc/ChomickiT07,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Special Issue: {TIME} 2005},
  journal      = {Inf. Comput.},
  volume       = {205},
  number       = {1},
  pages        = {1},
  year         = {2007}
}
@article{DBLP:journals/neuroimage/MajcherTTJFRH07,
  author       = {Katarzyna Majcher and
                  Boguslaw Tomanek and
                  Ursula I. Tuor and
                  Andrzej Jasinski and
                  Tadeusz Foniok and
                  David Rushforth and
                  Grzegorz Hess},
  title        = {Functional magnetic resonance imaging within the rat spinal cord following
                  peripheral nerve injury},
  journal      = {NeuroImage},
  volume       = {38},
  number       = {4},
  pages        = {669--676},
  year         = {2007}
}
@inproceedings{DBLP:conf/cade/UnelT07,
  author       = {Gulay {\"{U}}nel and
                  David Toman},
  title        = {An Incremental Technique for Automata-Based Decision Procedures},
  booktitle    = {{CADE}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4603},
  pages        = {100--115},
  publisher    = {Springer},
  year         = {2007}
}
@inproceedings{DBLP:conf/dlog/KhizderTW07,
  author       = {Vitaliy L. Khizder and
                  David Toman and
                  Grant E. Weddell},
  title        = {Adding ABoxes to a Description Logic with Uniqueness Constraints via
                  Path Agreements},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007}
}
@inproceedings{DBLP:conf/dlog/PoundSTW07,
  author       = {Jeffrey Pound and
                  Lubomir Stanchev and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Ordering Descriptions in a Description Logic},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {250},
  publisher    = {CEUR-WS.org},
  year         = {2007}
}
@inproceedings{DBLP:conf/er/TomanW07,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Order Dependencies for the Semantic Web},
  booktitle    = {{ER}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4801},
  pages        = {293--306},
  publisher    = {Springer},
  year         = {2007}
}
@inproceedings{DBLP:conf/iclp/UnelT07,
  author       = {Gulay {\"{U}}nel and
                  David Toman},
  title        = {Logic Programming Approach to Automata-Based Decision Procedures},
  booktitle    = {{ICLP}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4670},
  pages        = {165--179},
  publisher    = {Springer},
  year         = {2007}
}
@inproceedings{DBLP:conf/ijcai/ArtaleLT07,
  author       = {Alessandro Artale and
                  Carsten Lutz and
                  David Toman},
  title        = {A Description Logic of Change},
  booktitle    = {{IJCAI}},
  pages        = {218--223},
  year         = {2007}
}
@inproceedings{DBLP:conf/time/Toman07,
  author       = {David Toman},
  title        = {On Construction of Holistic Synopses under the Duplicate Semantics
                  of Streaming Queries},
  booktitle    = {{TIME}},
  pages        = {150--162},
  publisher    = {{IEEE} Computer Society},
  year         = {2007}
}
@inproceedings{DBLP:conf/cade/TomanW06,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Keys and Functional Dependencies as First-Class Citizens in Description
                  Logics},
  booktitle    = {{IJCAR}},
  series       = {Lecture Notes in Computer Science},
  volume       = {4130},
  pages        = {647--661},
  publisher    = {Springer},
  year         = {2006}
}
@inproceedings{DBLP:conf/dlog/ArtaleLT06,
  author       = {Alessandro Artale and
                  Carsten Lutz and
                  David Toman},
  title        = {A Description Logic of Change},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {189},
  publisher    = {CEUR-WS.org},
  year         = {2006}
}
@inproceedings{DBLP:conf/stdbm/Toman06,
  author       = {David Toman},
  title        = {On Construction of Holistic Synopses under the Duplicate Semantics
                  of Streaming Queries},
  booktitle    = {{STDBM}},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {174},
  publisher    = {CEUR-WS.org},
  year         = {2006}
}
@proceedings{DBLP:conf/dlog/2006,
  editor       = {Bijan Parsia and
                  Ulrike Sattler and
                  David Toman},
  title        = {Proceedings of the 2006 International Workshop on Description Logics
                  (DL2006), Windermere, Lake District, UK, May 30 - June 1, 2006},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {189},
  publisher    = {CEUR-WS.org},
  year         = {2006}
}
@article{DBLP:journals/tcs/TomanW05,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On reasoning about structural equality in {XML:} a description logic
                  approach},
  journal      = {Theor. Comput. Sci.},
  volume       = {336},
  number       = {1},
  pages        = {181--203},
  year         = {2005}
}
@inproceedings{DBLP:conf/dlog/TomanW05,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Path-functional Dependencies as First-class Citizens in Description
                  Logics},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {147},
  publisher    = {CEUR-WS.org},
  year         = {2005}
}
@inproceedings{DBLP:conf/ijcai/TomanW05,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On the Interaction between Inverse Features and Path-functional Dependencies
                  in Description Logics},
  booktitle    = {{IJCAI}},
  pages        = {603--608},
  publisher    = {Professional Book Center},
  year         = {2005}
}
@inproceedings{DBLP:conf/vldb/Amer-YahiaKMST05,
  author       = {Sihem Amer{-}Yahia and
                  Nick Koudas and
                  Am{\'{e}}lie Marian and
                  Divesh Srivastava and
                  David Toman},
  title        = {Structure and Content Scoring for {XML}},
  booktitle    = {{VLDB}},
  pages        = {361--372},
  publisher    = {{ACM}},
  year         = {2005}
}
@incollection{DBLP:reference/fai/ChomickiT05,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Databases},
  booktitle    = {Handbook of Temporal Reasoning in Artificial Intelligence},
  series       = {Foundations of Artificial Intelligence},
  volume       = {1},
  pages        = {429--467},
  publisher    = {Elsevier},
  year         = {2005}
}
@inproceedings{DBLP:conf/dlog/TomanW04,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Attribute Inversion in Description Logic with Path Functional Dependencies},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {104},
  publisher    = {CEUR-WS.org},
  year         = {2004}
}
@article{DBLP:journals/dke/BowmanT03,
  author       = {Ivan T. Bowman and
                  David Toman},
  title        = {Optimizing temporal queries: efficient handling of duplicates},
  journal      = {Data Knowl. Eng.},
  volume       = {44},
  number       = {2},
  pages        = {143--164},
  year         = {2003}
}
@article{DBLP:journals/tkde/ChomickiGKT03,
  author       = {Jan Chomicki and
                  Dina Q. Goldin and
                  Gabriel M. Kuper and
                  David Toman},
  title        = {Variable Independence in Constraint Databases},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {15},
  number       = {6},
  pages        = {1422--1436},
  year         = {2003}
}
@inproceedings{DBLP:conf/dagstuhl/Toman03,
  author       = {David Toman},
  title        = {Logical Data Expiration},
  booktitle    = {Logics for Emerging Applications of Databases},
  pages        = {203--238},
  publisher    = {Springer},
  year         = {2003}
}
@inproceedings{DBLP:conf/dlog/DeHaanTW03,
  author       = {David DeHaan and
                  David Toman and
                  Grant E. Weddell},
  title        = {Rewriting Aggregate Queries using Description Logic},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {81},
  publisher    = {CEUR-WS.org},
  year         = {2003}
}
@inproceedings{DBLP:conf/dlog/FranconiT03,
  author       = {Enrico Franconi and
                  David Toman},
  title        = {Fixpoint Extensions of Temporal Description Logics},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {81},
  publisher    = {CEUR-WS.org},
  year         = {2003}
}
@inproceedings{DBLP:conf/icdt/TomanW03,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Reasoning about Structural Equality in {XML:} {A} Description Logic
                  Approach},
  booktitle    = {{ICDT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2572},
  pages        = {96--110},
  publisher    = {Springer},
  year         = {2003}
}
@inproceedings{DBLP:conf/sigmod/DeHaanTCO03,
  author       = {David DeHaan and
                  David Toman and
                  Mariano P. Consens and
                  M. Tamer {\"{O}}zsu},
  title        = {A Comprehensive XQuery to {SQL} Translation using Dynamic Interval
                  Encoding},
  booktitle    = {{SIGMOD} Conference},
  pages        = {623--634},
  publisher    = {{ACM}},
  year         = {2003}
}
@inproceedings{DBLP:conf/ssd/Toman03,
  author       = {David Toman},
  title        = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics},
  booktitle    = {{SSTD}},
  series       = {Lecture Notes in Computer Science},
  volume       = {2750},
  pages        = {380--393},
  publisher    = {Springer},
  year         = {2003}
}
@inproceedings{DBLP:conf/time/Toman03,
  author       = {David Toman},
  title        = {On Incompleteness of Multi-dimensional First-order Temporal Logics},
  booktitle    = {{TIME}},
  pages        = {99--106},
  publisher    = {{IEEE} Computer Society},
  year         = {2003}
}
@inproceedings{DBLP:conf/dlog/LiuTW02,
  author       = {Huizhu Liu and
                  David Toman and
                  Grant E. Weddell},
  title        = {Fine Grained Information Integration with Description Logics},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {53},
  publisher    = {CEUR-WS.org},
  year         = {2002}
}
@inproceedings{DBLP:conf/time/Toman02,
  author       = {David Toman},
  title        = {Logical Data Expiration},
  booktitle    = {{TIME}},
  pages        = {66--67},
  publisher    = {{IEEE} Computer Society},
  year         = {2002}
}
@article{DBLP:journals/tods/ChomickiTB01,
  author       = {Jan Chomicki and
                  David Toman and
                  Michael H. B{\"{o}}hlen},
  title        = {Querying {ATSQL} databases with temporal logic},
  journal      = {{ACM} Trans. Database Syst.},
  volume       = {26},
  number       = {2},
  pages        = {145--178},
  year         = {2001}
}
@inproceedings{DBLP:conf/dbtel/TomanW01,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {Query Processing in Embedded Control Programs},
  booktitle    = {Databases in Telecommunications},
  series       = {Lecture Notes in Computer Science},
  volume       = {2209},
  pages        = {68--87},
  publisher    = {Springer},
  year         = {2001}
}
@inproceedings{DBLP:conf/dlog/TomanW01,
  author       = {David Toman and
                  Grant E. Weddell},
  title        = {On Attributes, Roles, and Dependencies in Description Logics and the
                  Ackermann Case of the Decision Problem},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {49},
  publisher    = {CEUR-WS.org},
  year         = {2001}
}
@inproceedings{DBLP:conf/icdt/KhizderTW01,
  author       = {Vitaliy L. Khizder and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Decidability and Complexity of Description Logics with Uniqueness
                  Constraints},
  booktitle    = {{ICDT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1973},
  pages        = {54--67},
  publisher    = {Springer},
  year         = {2001}
}
@inproceedings{DBLP:conf/time/BowmanT01,
  author       = {Ivan T. Bowman and
                  David Toman},
  title        = {Optimizing Temporal Queries: Efficient Handling of Duplicates},
  booktitle    = {{TIME}},
  pages        = {93--100},
  publisher    = {{IEEE} Computer Society},
  year         = {2001}
}
@inproceedings{DBLP:conf/time/Toman01,
  author       = {David Toman},
  title        = {Expiration of Historical Databases},
  booktitle    = {{TIME}},
  pages        = {128--135},
  publisher    = {{IEEE} Computer Society},
  year         = {2001}
}
@inproceedings{DBLP:conf/cl/KhizderTW00,
  author       = {Vitaliy L. Khizder and
                  David Toman and
                  Grant E. Weddell},
  title        = {Reasoning about Duplicate Elimination with Description Logic},
  booktitle    = {Computational Logic},
  series       = {Lecture Notes in Computer Science},
  volume       = {1861},
  pages        = {1017--1032},
  publisher    = {Springer},
  year         = {2000}
}
@inproceedings{DBLP:conf/dlog/KhizderTW00,
  author       = {Vitaliy L. Khizder and
                  David Toman and
                  Grant E. Weddell},
  title        = {On Decidability and Complexity of Description Logics with Uniqueness
                  Constraints},
  booktitle    = {Description Logics},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {33},
  pages        = {193--202},
  publisher    = {CEUR-WS.org},
  year         = {2000}
}
@incollection{DBLP:conf/cdb/Toman00,
  author       = {David Toman},
  title        = {{SQL/TP:} {A} Temporal Extension of {SQL}},
  booktitle    = {Constraint Databases},
  pages        = {391--399},
  publisher    = {Springer},
  year         = {2000}
}
@article{DBLP:journals/jlp/TomanC98,
  author       = {David Toman and
                  Jan Chomicki},
  title        = {Datalog with Integer Periodicity Constraints},
  journal      = {J. Log. Program.},
  volume       = {35},
  number       = {3},
  pages        = {263--290},
  year         = {1998}
}
@inproceedings{DBLP:conf/dagstuhl/ChomickiT98,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Temporal Logic in Information Systems},
  booktitle    = {Logics for Databases and Information Systems},
  pages        = {31--70},
  publisher    = {Kluwer},
  year         = {1998}
}
@article{DBLP:journals/constraints/Toman97,
  author       = {David Toman},
  title        = {Memoing Evaluation for Constraint Extensions of Datalog},
  journal      = {Constraints An Int. J.},
  volume       = {2},
  number       = {3/4},
  pages        = {337--359},
  year         = {1997}
}
@inproceedings{DBLP:conf/cdb/Toman97,
  author       = {David Toman},
  title        = {Computing the Well-Founded Semantics for Constraint Extensions of
                  Datalog},
  booktitle    = {{CDB}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1191},
  pages        = {64--79},
  publisher    = {Springer},
  year         = {1997}
}
@inproceedings{DBLP:conf/cdb/Toman97a,
  author       = {David Toman},
  title        = {Constraint Databases and Program Analysis Using Abstract Interpretation},
  booktitle    = {{CDB}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1191},
  pages        = {246--262},
  publisher    = {Springer},
  year         = {1997}
}
@inproceedings{DBLP:conf/dagstuhl/Toman97,
  author       = {David Toman},
  title        = {Point-Based Temporal Extensions of {SQL} and Their Efficient Implementation},
  booktitle    = {Temporal Databases, Dagstuhl},
  series       = {Lecture Notes in Computer Science},
  volume       = {1399},
  pages        = {211--237},
  publisher    = {Springer},
  year         = {1997}
}
@inproceedings{DBLP:conf/dood/Toman97,
  author       = {David Toman},
  title        = {Point-Based Temporal Extension of Temporal {SQL}},
  booktitle    = {{DOOD}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1341},
  pages        = {103--121},
  publisher    = {Springer},
  year         = {1997}
}
@inproceedings{DBLP:conf/edbt/BohlenCST96,
  author       = {Michael H. B{\"{o}}hlen and
                  Jan Chomicki and
                  Richard T. Snodgrass and
                  David Toman},
  title        = {Querying {TSQL2} Databases with Temporal Logic},
  booktitle    = {{EDBT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1057},
  pages        = {325--341},
  publisher    = {Springer},
  year         = {1996}
}
@inproceedings{DBLP:conf/edbt/TomanN96,
  author       = {David Toman and
                  Damian Niwinski},
  title        = {First-Order Queries over Temporal Databases Inexpressible in Temporal
                  Logic},
  booktitle    = {{EDBT}},
  series       = {Lecture Notes in Computer Science},
  volume       = {1057},
  pages        = {307--324},
  publisher    = {Springer},
  year         = {1996}
}
@inproceedings{DBLP:conf/pods/Toman96,
  author       = {David Toman},
  title        = {Point vs. Interval-based Query Languages for Temporal Databases},
  booktitle    = {{PODS}},
  pages        = {58--67},
  publisher    = {{ACM} Press},
  year         = {1996}
}
@article{DBLP:journals/tkde/ChomickiT95,
  author       = {Jan Chomicki and
                  David Toman},
  title        = {Implementing Temporal Integrity Constraints Using an Active {DBMS}},
  journal      = {{IEEE} Trans. Knowl. Data Eng.},
  volume       = {7},
  number       = {4},
  pages        = {566--582},
  year         = {1995}
}
@inproceedings{DBLP:conf/slp/Toman95,
  author       = {David Toman},
  title        = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog},
  booktitle    = {{ILPS}},
  pages        = {98--112},
  publisher    = {{MIT} Press},
  year         = {1995}
}
@inproceedings{DBLP:conf/ride/TomanC94,
  author       = {David Toman and
                  Jan Chomicki},
  title        = {Implementing Temporal Integrity Constraints Using an Active {DBMS}},
  booktitle    = {{RIDE-ADS}},
  pages        = {87--95},
  publisher    = {{IEEE} Computer Society},
  year         = {1994}
}
@inproceedings{DBLP:conf/slp/TomanCR94,
  author       = {David Toman and
                  Jan Chomicki and
                  David S. Rogers},
  title        = {Datalog with Integer Periodicity Constraints},
  booktitle    = {{ILPS}},
  pages        = {189--203},
  publisher    = {{MIT} Press},
  year         = {1994}
}
@inproceedings{DBLP:conf/ppsc/NesbeittEOTBS93,
  author       = {Pete Nesbeitt and
                  Richard J. Enbody and
                  Gregor Overney and
                  David Tom{\'{a}}nek and
                  Aurel Bulgac and
                  Charles R. Severance},
  title        = {A Topology- and Problem-Independent Scalable Parallel Approach to
                  Molecular Dynamics Simulation},
  booktitle    = {{PPSC}},
  pages        = {170--173},
  publisher    = {{SIAM}},
  year         = {1993}
}
@inproceedings{DBLP:conf/ppsc/SeveranceETB93,
  author       = {Charles R. Severance and
                  Richard J. Enbody and
                  David Tom{\'{a}}nek and
                  Aurel Bulgac},
  title        = {Real-Values Array Indices - An Initial Look},
  booktitle    = {{PPSC}},
  pages        = {979--982},
  publisher    = {{SIAM}},
  year         = {1993}
}
@inproceedings{DBLP:conf/iclp/MatyskaJT91,
  author       = {Ludek Matyska and
                  Adriana Jergov{\'{a}} and
                  David Toman},
  title        = {Register Allocation in {WAM}},
  booktitle    = {{ICLP}},
  pages        = {142--156},
  publisher    = {{MIT} Press},
  year         = {1991}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics