Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "David Toman"
@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}, editor = {Oliver Kutz and Carsten Lutz and Ana Ozaki}, title = {Path Description Dependencies in Feature-Based DLs}, booktitle = {Proceedings of the 36th International Workshop on Description Logics {(DL} 2023) co-located with the 20th International Conference on Principles of Knowledge Representation and Reasoning and the 21st International Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes, Greece, September 2-4, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3515}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3515/paper-10.pdf}, timestamp = {Thu, 26 Oct 2023 16:59:55 +0200}, biburl = {https://dblp.org/rec/conf/dlog/FengBFP0W23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.48550/arXiv.2310.06707}, doi = {10.48550/ARXIV.2310.06707}, eprinttype = {arXiv}, eprint = {2310.06707}, timestamp = {Tue, 24 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2310-06707.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {12766--12773}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i11.21555}, doi = {10.1609/AAAI.V36I11.21555}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/JohnsonAEMSSTB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI} 2022, Thirty-Fourth Conference on Innovative Applications of Artificial Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22 - March 1, 2022}, pages = {5897--5905}, publisher = {{AAAI} Press}, year = {2022}, url = {https://doi.org/10.1609/aaai.v36i5.20534}, doi = {10.1609/AAAI.V36I5.20534}, timestamp = {Mon, 04 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/aaai/TomanW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/BorgidaFTW22, author = {Alexander Borgida and Enrico Franconi and David Toman and Grant E. Weddell}, editor = {Haris Aziz and D{\'{e}}bora Corr{\^{e}}a and Tim French}, title = {Understanding Document Data Sources Using Ontologies with Referring Expressions}, booktitle = {{AI} 2022: Advances in Artificial Intelligence - 35th Australasian Joint Conference, {AI} 2022, Perth, WA, Australia, December 5-8, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13728}, pages = {367--380}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-22695-3\_26}, doi = {10.1007/978-3-031-22695-3\_26}, timestamp = {Sat, 30 Sep 2023 09:34:57 +0200}, biburl = {https://dblp.org/rec/conf/ausai/BorgidaFTW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BorgidaFTW22, author = {Alexander Borgida and Enrico Franconi and David Toman and Grant E. Weddell}, editor = {Ofer Arieli and Martin Homola and Jean Christoph Jung and Marie{-}Laure Mugnier}, title = {Accessing Document Data Sources using Referring Expression Types}, booktitle = {Proceedings of the 35th International Workshop on Description Logics {(DL} 2022) co-located with Federated Logic Conference (FLoC 2022), Haifa, Israel, August 7th to 10th, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3263}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3263/paper-6.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BorgidaFTW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ruleml/Feng0W22, author = {Eva Feng and David Toman and Grant E. Weddell}, editor = {Guido Governatori and Anni{-}Yasmin Turhan}, title = {Magic Sets in Interpolation-Based Rule Driven Query Optimization}, booktitle = {Rules and Reasoning - 6th International Joint Conference on Rules and Reasoning, RuleML+RR 2022, Berlin, Germany, September 26-28, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13752}, pages = {198--207}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-21541-4\_13}, doi = {10.1007/978-3-031-21541-4\_13}, timestamp = {Tue, 20 Dec 2022 10:20:25 +0100}, biburl = {https://dblp.org/rec/conf/ruleml/Feng0W22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://arxiv.org/abs/2202.01281}, eprinttype = {arXiv}, eprint = {2202.01281}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2202-01281.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3390/rs13051006}, doi = {10.3390/RS13051006}, timestamp = {Tue, 23 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/remotesensing/TomanBK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW21, author = {David Toman and Grant E. Weddell}, editor = {Martin Homola and Vladislav Ryzhikov and Renate A. Schmidt}, title = {{FO} Rewritability for {OMQ} using Beth Definability and Interpolation}, booktitle = {Proceedings of the 34th International Workshop on Description Logics {(DL} 2021) part of Bratislava Knowledge September {(BAKS} 2021), Bratislava, Slovakia, September 19th to 22nd, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {2954}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2954/paper-29.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:15 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/TomanW21, author = {David Toman and Grant E. Wedell}, editor = {Renate A. Schmidt and Christoph Wernhard and Yizheng Zhao}, title = {Projective Beth Definability and Craig Interpolation for Relational Query Optimization (Material to Accompany Invited Talk)}, booktitle = {Proceedings of the Second Workshop on Second-Order Quantifier Elimination and Related Topics {(SOQE} 2021) associated with the 18th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2021), Online Event, November 4, 2021}, series = {{CEUR} Workshop Proceedings}, volume = {3009}, pages = {1--13}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-3009/invited1.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:13 +0100}, biburl = {https://dblp.org/rec/conf/kr/TomanW21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s13218-020-00666-7}, doi = {10.1007/S13218-020-00666-7}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ki/TomanW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW20, author = {David Toman and Grant E. Weddell}, editor = {Stefan Borgwardt and Thomas Meyer}, title = {First Order Rewritability for Ontology Mediated Querying in Horn-DLFD}, booktitle = {Proceedings of the 33rd International Workshop on Description Logics {(DL} 2020) co-located with the 17th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2020), Online Event [Rhodes, Greece], September 12th to 14th, 2020}, series = {{CEUR} Workshop Proceedings}, volume = {2663}, publisher = {CEUR-WS.org}, year = {2020}, url = {https://ceur-ws.org/Vol-2663/paper-22.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.3390/s19235199}, doi = {10.3390/S19235199}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sensors/KubicekTCVKO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {The Thirty-Third {AAAI} Conference on Artificial Intelligence, {AAAI} 2019, The Thirty-First Innovative Applications of Artificial Intelligence Conference, {IAAI} 2019, The Ninth {AAAI} Symposium on Educational Advances in Artificial Intelligence, {EAAI} 2019, Honolulu, Hawaii, USA, January 27 - February 1, 2019}, pages = {2995--3002}, publisher = {{AAAI} Press}, year = {2019}, url = {https://doi.org/10.1609/aaai.v33i01.33012995}, doi = {10.1609/AAAI.V33I01.33012995}, timestamp = {Mon, 04 Sep 2023 12:29:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/McIntyreBTW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/TomanW19, author = {David Toman and Grant E. Weddell}, editor = {Jixue Liu and James Bailey}, title = {Finding {ALL} Answers to {OBDA} Queries Using Referring Expressions}, booktitle = {{AI} 2019: Advances in Artificial Intelligence - 32nd Australasian Joint Conference, Adelaide, SA, Australia, December 2-5, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11919}, pages = {117--129}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-35288-2\_10}, doi = {10.1007/978-3-030-35288-2\_10}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/TomanW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/McIntyreTW19, author = {Stephanie McIntyre and David Toman and Grant E. Weddell}, editor = {Carsten Lutz and Uli Sattler and Cesare Tinelli and Anni{-}Yasmin Turhan and Frank Wolter}, title = {FunDL - {A} Family of Feature-Based Description Logics, with Applications in Querying Structured Data Sources}, booktitle = {Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11560}, pages = {404--430}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-22102-7\_19}, doi = {10.1007/978-3-030-22102-7\_19}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/McIntyreTW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BorgidaTW19, author = {Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Mantas Simkus and Grant E. Weddell}, title = {On Special Description Logics for Processes and Plans}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2373/paper-6.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/BorgidaTW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW19, author = {David Toman and Grant E. Weddell}, editor = {Mantas Simkus and Grant E. Weddell}, title = {Exhaustive Query Answering via Referring Expressions}, booktitle = {Proceedings of the 32nd International Workshop on Description Logics, Oslo, Norway, June 18-21, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2373}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2373/paper-29.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/TomanW19, author = {David Toman and Grant E. Weddell}, editor = {Abhaya C. Nayak and Alok Sharma}, title = {Identity Resolution in Ontology Based Data Access to Structured Data Sources}, booktitle = {{PRICAI} 2019: Trends in Artificial Intelligence - 16th Pacific Rim International Conference on Artificial Intelligence, Cuvu, Yanuca Island, Fiji, August 26-30, 2019, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {11670}, pages = {473--485}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-29908-8\_38}, doi = {10.1007/978-3-030-29908-8\_38}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/TomanW19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1902.08295}, eprinttype = {arXiv}, eprint = {1902.08295}, timestamp = {Tue, 07 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1902-08295.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW18, author = {David Toman and Grant E. Weddell}, editor = {Magdalena Ortiz and Thomas Schneider}, title = {Identity Resolution in Conjunctive Querying over DL-Based Knowledge Bases}, booktitle = {Proceedings of the 31st International Workshop on Description Logics co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning {(KR} 2018), Tempe, Arizona, US, October 27th - to - 29th, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2211}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2211/paper-34.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ekaw/MaKOTW18, author = {Weicong Ma and C. Maria Keet and Wayne Oldford and David Toman and Grant E. Weddell}, editor = {Catherine Faron{-}Zucker and Chiara Ghidini and Amedeo Napoli and Yannick Toussaint}, title = {The Utility of the Abstract Relational Model and Attribute Paths in {SQL}}, booktitle = {Knowledge Engineering and Knowledge Management - 21st International Conference, {EKAW} 2018, Nancy, France, November 12-16, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11313}, pages = {195--211}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-030-03667-6\_13}, doi = {10.1007/978-3-030-03667-6\_13}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ekaw/MaKOTW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/McIntyreBTW18, author = {Stephanie McIntyre and Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Michael Thielscher and Francesca Toni and Frank Wolter}, title = {On Limited Conjunctions in Polynomial Feature Logics, with Applications in {OBDA}}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona, 30 October - 2 November 2018}, pages = {655--656}, publisher = {{AAAI} Press}, year = {2018}, url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18016}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/McIntyreBTW18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT18, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Abstract Versus Concrete Temporal Query Languages}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1559}, doi = {10.1007/978-1-4614-8265-9\_1559}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT18a, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Logic in Database Query Languages}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_402}, doi = {10.1007/978-1-4614-8265-9\_402}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT18b, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Relational Calculus}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1531}, doi = {10.1007/978-1-4614-8265-9\_1531}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT18b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/RoddickT18, author = {John F. Roddick and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Vacuuming}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_1045}, doi = {10.1007/978-1-4614-8265-9\_1045}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/RoddickT18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Toman18, author = {David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Point-Stamped Temporal Models}, booktitle = {Encyclopedia of Database Systems, Second Edition}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-1-4614-8265-9\_269}, doi = {10.1007/978-1-4614-8265-9\_269}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Toman18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.jlamp.2016.02.005}, doi = {10.1016/J.JLAMP.2016.02.005}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/UnelT17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Ugo Pagallo and Monica Palmirani and Pompeu Casanovas and Giovanni Sartor and Serena Villata}, title = {EuroVoc-Based Summarization of European Case Law}, booktitle = {{AI} Approaches to the Complexity of Legal Systems - {AICOL} International Workshops 2015-2017: AICOL-VI@JURIX 2015, AICOL-VII@EKAW 2016, AICOL-VIII@JURIX 2016, AICOL-IX@ICAIL 2017, and AICOL-X@JURIX 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10791}, pages = {205--219}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-030-00178-0\_13}, doi = {10.1007/978-3-030-00178-0\_13}, timestamp = {Fri, 27 Mar 2020 08:51:24 +0100}, biburl = {https://dblp.org/rec/conf/aicol/SchmeddingKBSST17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW17, author = {David Toman and Grant E. Weddell}, editor = {Alessandro Artale and Birte Glimm and Roman Kontchakov}, title = {On Partial Features in the {DLF} Dialects of Description Logic with Inverse Features}, booktitle = {Proceedings of the 30th International Workshop on Description Logics, Montpellier, France, July 18-21, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1879}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1879/paper44.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/BorgidaTW17, author = {Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Carles Sierra}, title = {Concerning Referring Expressions in Query Answers}, booktitle = {Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, {IJCAI} 2017, Melbourne, Australia, August 19-25, 2017}, pages = {4791--4795}, publisher = {ijcai.org}, year = {2017}, url = {https://doi.org/10.24963/ijcai.2017/668}, doi = {10.24963/IJCAI.2017/668}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/BorgidaTW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/TomanW17, author = {David Toman and Grant E. Weddell}, editor = {Thomas Eiter and David Sands and Geoff Sutcliffe and Andrei Voronkov}, title = {An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)}, booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana, May 7-12, 2017}, series = {Kalpa Publications in Computing}, volume = {1}, pages = {1--10}, publisher = {EasyChair}, year = {2017}, url = {https://doi.org/10.29007/53fk}, doi = {10.29007/53FK}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lpar/TomanW17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/TomanW16, author = {David Toman and Grant E. Weddell}, editor = {Byeong Ho Kang and Quan Bai}, title = {Ontology Based Data Access with Referring Expressions for Logics with the Tree Model Property - (Extended Abstract)}, booktitle = {{AI} 2016: Advances in Artificial Intelligence - 29th Australasian Joint Conference, Hobart, TAS, Australia, December 5-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9992}, pages = {353--361}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-50127-7\_31}, doi = {10.1007/978-3-319-50127-7\_31}, timestamp = {Thu, 23 May 2024 22:02:52 +0200}, biburl = {https://dblp.org/rec/conf/ausai/TomanW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/JacquesTW16, author = {Jason St. Jacques and David Toman and Grant E. Weddell}, editor = {Maurizio Lenzerini and Rafael Pe{\~{n}}aloza}, title = {Object-Relational Queries over CFDI{\_}nc Knowledge Bases: {OBDA} for the SQL-Literate (extended abstract)}, booktitle = {Proceedings of the 29th International Workshop on Description Logics, Cape Town, South Africa, April 22-25, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1577}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1577/paper\_10.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/JacquesTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/BorgidaTW16, author = {Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Isabelle Comyn{-}Wattiau and Katsumi Tanaka and Il{-}Yeol Song and Shuichiro Yamamoto and Motoshi Saeki}, title = {On Referring Expressions in Information Systems Derived from Conceptual Modelling}, booktitle = {Conceptual Modeling - 35th International Conference, {ER} 2016, Gifu, Japan, November 14-17, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9974}, pages = {183--197}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46397-1\_14}, doi = {10.1007/978-3-319-46397-1\_14}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/er/BorgidaTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/JacquesTW16, author = {Jason St. Jacques and David Toman and Grant E. Weddell}, editor = {Subbarao Kambhampati}, title = {Object-Relational Queries over CFDI\({}_{\mbox{nc}}\) Knowledge Bases: {OBDA} for the SQL-Literate}, booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, {IJCAI} 2016, New York, NY, USA, 9-15 July 2016}, pages = {1258--1264}, publisher = {{IJCAI/AAAI} Press}, year = {2016}, url = {http://www.ijcai.org/Abstract/16/182}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/JacquesTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/BorgidaTW16, author = {Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Chitta Baral and James P. Delgrande and Frank Wolter}, title = {On Referring Expressions in Query Answering over First Order Knowledge Bases}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, {KR} 2016, Cape Town, South Africa, April 25-29, 2016}, pages = {319--328}, publisher = {{AAAI} Press}, year = {2016}, url = {http://www.aaai.org/ocs/index.php/KR/KR16/paper/view/12860}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/BorgidaTW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/TomanW16, author = {David Toman and Grant E. Weddell}, editor = {Richard Booth and Min{-}Ling Zhang}, title = {On Partial Features in the \emph{DLF} Family of Description Logics}, booktitle = {{PRICAI} 2016: Trends in Artificial Intelligence - 14th Pacific Rim International Conference on Artificial Intelligence, Phuket, Thailand, August 22-26, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9810}, pages = {529--542}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-42911-3\_44}, doi = {10.1007/978-3-319-42911-3\_44}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/TomanW16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.websem.2015.06.001}, doi = {10.1016/J.WEBSEM.2015.06.001}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ws/CalvaneseKT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/TomanW15, author = {David Toman and Grant E. Weddell}, editor = {Bernhard Pfahringer and Jochen Renz}, title = {On the Krom Extension of \emph{CFDI}{\(\forall\)} -{\_}nc}, booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9457}, pages = {559--571}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26350-2\_50}, doi = {10.1007/978-3-319-26350-2\_50}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/TomanW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/WuKTW15, author = {Jiewen Wu and Taras Kinash and David Toman and Grant E. Weddell}, editor = {Bernhard Pfahringer and Jochen Renz}, title = {Absorption for ABoxes and TBoxes with General Value Restrictions}, booktitle = {{AI} 2015: Advances in Artificial Intelligence - 28th Australasian Joint Conference, Canberra, ACT, Australia, November 30 - December 4, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9457}, pages = {609--622}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-26350-2\_54}, doi = {10.1007/978-3-319-26350-2\_54}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/WuKTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/BorgidaTW15, author = {Alexander Borgida and David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Boris Konev}, title = {Singular Referring Expressions in Conjunctive Query Answers: the case for a {CFD} {DL} Dialect}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-13.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/BorgidaTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FillottraniKT15, author = {Pablo R. Fillottrani and C. Maria Keet and David Toman}, editor = {Diego Calvanese and Boris Konev}, title = {Polynomial encoding of {ORM} conceptual models in \emph{CFDI}}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-50.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FillottraniKT15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW15, author = {David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Boris Konev}, title = {On the Utility of \emph{CFDI}}, booktitle = {Proceedings of the 28th International Workshop on Description Logics, Athens,Greece, June 7-10, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1350}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1350/paper-36.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tableaux/HudekTW15, author = {Alexander K. Hudek and David Toman and Grant E. Weddell}, editor = {Hans de Nivelle}, title = {On Enumerating Query Plans Using Analytic Tableau}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September 21-24, 2015. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9323}, pages = {339--354}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-24312-2\_23}, doi = {10.1007/978-3-319-24312-2\_23}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tableaux/HudekTW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10817-014-9304-2}, doi = {10.1007/S10817-014-9304-2}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/WuHTW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/aaai/RobinsonMT14, author = {Nathan Robinson and Sheila A. McIlraith and David Toman}, editor = {Carla E. Brodley and Peter Stone}, title = {Cost-Based Query Optimization via {AI} Planning}, booktitle = {Proceedings of the Twenty-Eighth {AAAI} Conference on Artificial Intelligence, July 27 -31, 2014, Qu{\'{e}}bec City, Qu{\'{e}}bec, Canada}, pages = {2344--2351}, publisher = {{AAAI} Press}, year = {2014}, url = {https://doi.org/10.1609/aaai.v28i1.9045}, doi = {10.1609/AAAI.V28I1.9045}, timestamp = {Mon, 04 Sep 2023 15:06:24 +0200}, biburl = {https://dblp.org/rec/conf/aaai/RobinsonMT14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW14, author = {David Toman and Grant E. Weddell}, editor = {Meghyn Bienvenu and Magdalena Ortiz and Riccardo Rosati and Mantas Simkus}, title = {Pushing the CFDnc Envelope}, booktitle = {Informal Proceedings of the 27th International Workshop on Description Logics, Vienna, Austria, July 17-20, 2014}, series = {{CEUR} Workshop Proceedings}, volume = {1193}, pages = {340--351}, publisher = {CEUR-WS.org}, year = {2014}, url = {https://ceur-ws.org/Vol-1193/paper\_57.pdf}, timestamp = {Mon, 26 Jun 2023 20:43:45 +0200}, biburl = {https://dblp.org/rec/conf/dlog/TomanW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pricai/TomanW14, author = {David Toman and Grant E. Weddell}, editor = {Duc Nghia Pham and Seong{-}Bae Park}, title = {On Adding Inverse Features to the Description Logic \emph{CFD}\({}^{\mbox{{\(\forall\)}}}\)\({}_{\mbox{nc}}\)}, booktitle = {{PRICAI} 2014: Trends in Artificial Intelligence - 13th Pacific Rim International Conference on Artificial Intelligence, Gold Coast, QLD, Australia, December 1-5, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8862}, pages = {587--599}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-13560-1\_47}, doi = {10.1007/978-3-319-13560-1\_47}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pricai/TomanW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {http://arxiv.org/abs/1408.4468}, eprinttype = {arXiv}, eprint = {1408.4468}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/TomanW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1186/1471-2342-13-20}, doi = {10.1186/1471-2342-13-20}, timestamp = {Wed, 13 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/bmcmi/BlasiakBFRMPWTIASOT13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ausai/TomanW13, author = {David Toman and Grant E. Weddell}, editor = {Stephen Cranefield and Abhaya C. Nayak}, title = {Conjunctive Query Answering in \emph{CFD}\({}_{\mbox{nc}}\) : {A} {PTIME} Description Logic with Functional Constraints and Disjointness}, booktitle = {{AI} 2013: Advances in Artificial Intelligence - 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8272}, pages = {350--361}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-319-03680-9\_36}, doi = {10.1007/978-3-319-03680-9\_36}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ausai/TomanW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW13, author = {David Toman and Grant E. Weddell}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"{o}}tzsch}, title = {CFDnc: {A} {PTIME} Description Logic with Functional Constraints and Disjointness}, booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1014}, pages = {451--463}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1014/paper\_65.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/WuKTW13, author = {Jiewen Wu and Taras Kinash and David Toman and Grant E. Weddell}, editor = {Thomas Eiter and Birte Glimm and Yevgeny Kazakov and Markus Kr{\"{o}}tzsch}, title = {Absorption for ABoxes with Local Universal Restrictions}, booktitle = {Informal Proceedings of the 26th International Workshop on Description Logics, Ulm, Germany, July 23 - 26, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1014}, pages = {489--500}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1014/paper\_67.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/WuKTW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/LutzSTW13, author = {Carsten Lutz and Inan{\c{c}} Seylan and David Toman and Frank Wolter}, editor = {Harith Alani and Lalana Kagal and Achille Fokoue and Paul Groth and Chris Biemann and Josiane Xavier Parreira and Lora Aroyo and Natasha F. Noy and Chris Welty and Krzysztof Janowicz}, title = {The Combined Approach to {OBDA:} Taming Role Hierarchies Using Filters}, booktitle = {The Semantic Web - {ISWC} 2013 - 12th International Semantic Web Conference, Sydney, NSW, Australia, October 21-25, 2013, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {8218}, pages = {314--330}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-41335-3\_20}, doi = {10.1007/978-3-642-41335-3\_20}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/semweb/LutzSTW13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/WuHTW12, author = {Jiewen Wu and Alexander K. Hudek and David Toman and Grant E. Weddell}, editor = {Yevgeny Kazakov and Domenico Lembo and Frank Wolter}, title = {Absorption for ABoxes}, booktitle = {Proceedings of the 2012 International Workshop on Description Logics, DL-2012, Rome, Italy, June 7-10, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {846}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-846/paper\_34.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/WuHTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/WuHTW12, author = {Jiewen Wu and Alexander K. Hudek and David Toman and Grant E. Weddell}, editor = {Gerhard Brewka and Thomas Eiter and Sheila A. McIlraith}, title = {Assertion Absorption in Object Queries over Knowledge Bases}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, {KR} 2012, Rome, Italy, June 10-14, 2012}, publisher = {{AAAI} Press}, year = {2012}, url = {http://www.aaai.org/ocs/index.php/KR/KR12/paper/view/4517}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/WuHTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/semweb/LutzSTW12, author = {Carsten Lutz and Inan{\c{c}} Seylan and David Toman and Frank Wolter}, editor = {Achille Fokoue and Thorsten Liebig and Eric L. Goodman and Jesse Weaver and Jacopo Urbani and David Mizell}, title = {The Combined Approach to {OBDA:} Taming Role Hierarchies using Filters}, booktitle = {Proceedings of the Joint Workshop on Scalable and High-Performance Semantic Web Systems, Boston, USA, November 11, 2012}, series = {{CEUR} Workshop Proceedings}, volume = {943}, pages = {16--31}, publisher = {CEUR-WS.org}, year = {2012}, url = {https://ceur-ws.org/Vol-943/SSWS\_HPCSW2012\_paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:05 +0100}, biburl = {https://dblp.org/rec/conf/semweb/LutzSTW12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.2200/S00363ED1V01Y201105DTM018}, doi = {10.2200/S00363ED1V01Y201105DTM018}, isbn = {978-3-031-00753-8}, timestamp = {Thu, 19 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/synthesis/2011Toman.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/FranconiT11, author = {Enrico Franconi and David Toman}, editor = {Toby Walsh}, title = {Fixpoints in Temporal Description Logics}, booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}, pages = {875--880}, publisher = {{IJCAI/AAAI}}, year = {2011}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-152}, doi = {10.5591/978-1-57735-516-8/IJCAI11-152}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/FranconiT11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/KontchakovLTWZ11, author = {Roman Kontchakov and Carsten Lutz and David Toman and Frank Wolter and Michael Zakharyaschev}, editor = {Toby Walsh}, title = {The Combined Approach to Ontology-Based Data Access}, booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}, pages = {2656--2661}, publisher = {{IJCAI/AAAI}}, year = {2011}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-442}, doi = {10.5591/978-1-57735-516-8/IJCAI11-442}, timestamp = {Sun, 17 Dec 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/KontchakovLTWZ11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/PoundTWW11, author = {Jeffrey Pound and David Toman and Grant E. Weddell and Jiewen Wu}, editor = {Toby Walsh}, title = {An Assertion Retrieval Algebra for Object Queries over Knowledge Bases}, booktitle = {{IJCAI} 2011, Proceedings of the 22nd International Joint Conference on Artificial Intelligence, Barcelona, Catalonia, Spain, July 16-22, 2011}, pages = {1051--1056}, publisher = {{IJCAI/AAAI}}, year = {2011}, url = {https://doi.org/10.5591/978-1-57735-516-8/IJCAI11-180}, doi = {10.5591/978-1-57735-516-8/IJCAI11-180}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/PoundTWW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PoundTWW10, author = {Jeffrey Pound and David Toman and Grant E. Weddell and Jiewen Wu}, editor = {Volker Haarslev and David Toman and Grant E. Weddell}, title = {Query Algebra and Query Optimization for Concept Assertion Retrieval}, booktitle = {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}, url = {https://ceur-ws.org/Vol-573/paper\_42.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PoundTWW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/KontchakovLTWZ10, author = {Roman Kontchakov and Carsten Lutz and David Toman and Frank Wolter and Michael Zakharyaschev}, editor = {Fangzhen Lin and Ulrike Sattler and Miroslaw Truszczynski}, title = {The Combined Approach to Query Answering in DL-Lite}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, {KR} 2010, Toronto, Ontario, Canada, May 9-13, 2010}, publisher = {{AAAI} Press}, year = {2010}, url = {http://aaai.org/ocs/index.php/KR/KR2010/paper/view/1282}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/KontchakovLTWZ10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Nicoletta Calzolari and Khalid Choukri and Bente Maegaard and Joseph Mariani and Jan Odijk and Stelios Piperidis and Mike Rosner and Daniel Tapias}, title = {The {CALBC} Silver Standard Corpus for Biomedical Named Entities - {A} Study in Harmonizing the Contributions from Four Independent Named Entity Taggers}, booktitle = {Proceedings of the International Conference on Language Resources and Evaluation, {LREC} 2010, 17-23 May 2010, Valletta, Malta}, publisher = {European Language Resources Association}, year = {2010}, url = {http://www.lrec-conf.org/proceedings/lrec2010/summaries/888.html}, timestamp = {Wed, 08 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lrec/Rebholz-SchuhmannJMKKMCBTBH10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Sonia Bergamaschi and Stefano Lodi and Riccardo Martoglia and Claudio Sartori}, title = {On Finding Query Rewritings under Expressive Constraints}, booktitle = {Proceedings of the Eighteenth Italian Symposium on Advanced Database Systems, {SEBD} 2010, Rimini, Italy, June 20-23, 2010}, pages = {426--437}, publisher = {Esculapio Editore}, year = {2010}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sebd/BorgidaBFSSTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://ceur-ws.org/Vol-573}, urn = {urn:nbn:de:0074-573-1}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amw/Toman09, author = {David Toman}, editor = {Marcelo Arenas and Leopoldo E. Bertossi}, title = {Data Expiration and Aggregate Queries}, booktitle = {Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {450}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-450/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:19 +0100}, biburl = {https://dblp.org/rec/conf/amw/Toman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KontchakovLTWZ09, author = {Roman Kontchakov and Carsten Lutz and David Toman and Frank Wolter and Michael Zakharyaschev}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Combined {FO} Rewritability for Conjunctive Query Answering in DL-Lite}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_32.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KontchakovLTWZ09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PoundTWW09, author = {Jeffrey Pound and David Toman and Grant E. Weddell and Jiewen Wu}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Concept Projection in Algebras for Computing Certain Answer Descriptions}, booktitle = {Proceedings of the 22nd International Workshop on Description Logics {(DL} 2009), Oxford, UK, July 27-30, 2009}, series = {{CEUR} Workshop Proceedings}, volume = {477}, publisher = {CEUR-WS.org}, year = {2009}, url = {https://ceur-ws.org/Vol-477/paper\_44.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PoundTWW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsd/FiserT09, author = {Petr Fiser and David Toman}, editor = {Antonio N{\'{u}}{\~{n}}ez and Pedro P. Carballo}, title = {A Fast {SOP} Minimizer for Logic Funcions Described by Many Product Terms}, booktitle = {12th Euromicro Conference on Digital System Design, Architectures, Methods and Tools, {DSD} 2009, 27-29 August 2009, Patras, Greece}, pages = {757--764}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/DSD.2009.157}, doi = {10.1109/DSD.2009.157}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dsd/FiserT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/LutzTW09, author = {Carsten Lutz and David Toman and Frank Wolter}, editor = {Craig Boutilier}, title = {Conjunctive Query Answering in the Description Logic {EL} Using a Relational Database System}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {2070--2075}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/341.pdf}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/LutzTW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/TomanW09, author = {David Toman and Grant E. Weddell}, editor = {Craig Boutilier}, title = {Applications and Extensions of {PTIME} Description Logics with Functional Constraints}, booktitle = {{IJCAI} 2009, Proceedings of the 21st International Joint Conference on Artificial Intelligence, Pasadena, California, USA, July 11-17, 2009}, pages = {948--954}, year = {2009}, url = {http://ijcai.org/Proceedings/09/Papers/161.pdf}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/TomanW09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT09, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Abstract Versus Concrete Temporal Query Languages}, booktitle = {Encyclopedia of Database Systems}, pages = {1--6}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1559}, doi = {10.1007/978-0-387-39940-9\_1559}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT09a, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Logic in Database Query Languages}, booktitle = {Encyclopedia of Database Systems}, pages = {2987--2991}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_402}, doi = {10.1007/978-0-387-39940-9\_402}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT09a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/ChomickiT09b, author = {Jan Chomicki and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Relational Calculus}, booktitle = {Encyclopedia of Database Systems}, pages = {3015--3016}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1531}, doi = {10.1007/978-0-387-39940-9\_1531}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/ChomickiT09b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/RoddickT09, author = {John F. Roddick and David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Temporal Vacuuming}, booktitle = {Encyclopedia of Database Systems}, pages = {3023--3027}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_1045}, doi = {10.1007/978-0-387-39940-9\_1045}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/RoddickT09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/db/Toman09, author = {David Toman}, editor = {Ling Liu and M. Tamer {\"{O}}zsu}, title = {Point-Stamped Temporal Models}, booktitle = {Encyclopedia of Database Systems}, pages = {2119--2123}, publisher = {Springer {US}}, year = {2009}, url = {https://doi.org/10.1007/978-0-387-39940-9\_269}, doi = {10.1007/978-0-387-39940-9\_269}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/reference/db/Toman09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1007/s10817-007-9092-z}, doi = {10.1007/S10817-007-9092-Z}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jar/TomanW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleT08, author = {Alessandro Artale and David Toman}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Decidable Reasoning over Timestamped Conceptual Models}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/ArtaleToman.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PoundSTW08, author = {Jeffrey Pound and Lubomir Stanchev and David Toman and Grant E. Weddell}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {On Ordering and Indexing Metadata for the Semantic Web}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/PoundStanchevTomanWeddell.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PoundSTW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW08, author = {David Toman and Grant E. Weddell}, editor = {Franz Baader and Carsten Lutz and Boris Motik}, title = {Identifying Objects Over Time with Description Logics}, booktitle = {Proceedings of the 21st International Workshop on Description Logics (DL2008), Dresden, Germany, May 13-16, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {353}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-353/TomanWeddell.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/GolabJKST08, author = {Lukasz Golab and Theodore Johnson and Nick Koudas and Divesh Srivastava and David Toman}, editor = {Byung Suk Lee}, title = {Optimizing away joins on data streams}, booktitle = {Proceedings of the 2008 International Workshop on Scalable Stream Processing System, {SSPS} 2008, Nantes, France, March 29, 2008}, series = {{ACM} International Conference Proceeding Series}, pages = {48--57}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1379272.1379282}, doi = {10.1145/1379272.1379282}, timestamp = {Thu, 01 Jun 2023 13:14:33 +0200}, biburl = {https://dblp.org/rec/conf/edbt/GolabJKST08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kr/TomanW08, author = {David Toman and Grant E. Weddell}, editor = {Gerhard Brewka and J{\'{e}}r{\^{o}}me Lang}, title = {Identifying Objects Over Time with Description Logics}, booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, {KR} 2008, Sydney, Australia, September 16-19, 2008}, pages = {724--732}, publisher = {{AAAI} Press}, year = {2008}, url = {http://www.aaai.org/Library/KR/2008/kr08-071.php}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kr/TomanW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/owled/LutzTW08, author = {Carsten Lutz and David Toman and Frank Wolter}, editor = {Catherine Dolbear and Alan Ruttenberg and Ulrike Sattler}, title = {Conjunctive Query Answering in {EL} using a Database System}, booktitle = {Proceedings of the Fifth {OWLED} Workshop on {OWL:} Experiences and Directions, collocated with the 7th International Semantic Web Conference (ISWC-2008), Karlsruhe, Germany, October 26-27, 2008}, series = {{CEUR} Workshop Proceedings}, volume = {432}, publisher = {CEUR-WS.org}, year = {2008}, url = {https://ceur-ws.org/Vol-432/owled2008eu\_submission\_2.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:02 +0100}, biburl = {https://dblp.org/rec/conf/owled/LutzTW08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sebd/ArtaleT08, author = {Alessandro Artale and David Toman}, editor = {Salvatore Gaglio and Ignazio Infantino and Domenico Sacc{\`{a}}}, title = {Decidable Reasoning over Timestamped Conceptual Models}, booktitle = {Proceedings of the Sixteenth Italian Symposium on Advanced Database Systems, {SEBD} 2008, 22-25 June 2008, Mondello, PA, Italy}, pages = {168--178}, year = {2008}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sebd/ArtaleT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.ic.2006.08.002}, doi = {10.1016/J.IC.2006.08.002}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/ChomickiT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.neuroimage.2007.08.010}, doi = {10.1016/J.NEUROIMAGE.2007.08.010}, timestamp = {Fri, 30 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/neuroimage/MajcherTTJFRH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/UnelT07, author = {Gulay {\"{U}}nel and David Toman}, editor = {Frank Pfenning}, title = {An Incremental Technique for Automata-Based Decision Procedures}, booktitle = {Automated Deduction - CADE-21, 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4603}, pages = {100--115}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73595-3\_8}, doi = {10.1007/978-3-540-73595-3\_8}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/UnelT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KhizderTW07, author = {Vitaliy L. Khizder and David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_69.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KhizderTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/PoundSTW07, author = {Jeffrey Pound and Lubomir Stanchev and David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Enrico Franconi and Volker Haarslev and Domenico Lembo and Boris Motik and Anni{-}Yasmin Turhan and Sergio Tessaris}, title = {On Ordering Descriptions in a Description Logic}, booktitle = {Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, near Bozen-Bolzano, Italy, 8-10 June, 2007}, series = {{CEUR} Workshop Proceedings}, volume = {250}, publisher = {CEUR-WS.org}, year = {2007}, url = {https://ceur-ws.org/Vol-250/paper\_42.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/PoundSTW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/er/TomanW07, author = {David Toman and Grant E. Weddell}, editor = {Christine Parent and Klaus{-}Dieter Schewe and Veda C. Storey and Bernhard Thalheim}, title = {On Order Dependencies for the Semantic Web}, booktitle = {Conceptual Modeling - {ER} 2007, 26th International Conference on Conceptual Modeling, Auckland, New Zealand, November 5-9, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4801}, pages = {293--306}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75563-0\_21}, doi = {10.1007/978-3-540-75563-0\_21}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/er/TomanW07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/UnelT07, author = {Gulay {\"{U}}nel and David Toman}, editor = {Ver{\'{o}}nica Dahl and Ilkka Niemel{\"{a}}}, title = {Logic Programming Approach to Automata-Based Decision Procedures}, booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto, Portugal, September 8-13, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4670}, pages = {165--179}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-74610-2\_12}, doi = {10.1007/978-3-540-74610-2\_12}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/UnelT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/ArtaleLT07, author = {Alessandro Artale and Carsten Lutz and David Toman}, editor = {Manuela M. Veloso}, title = {A Description Logic of Change}, booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007}, pages = {218--223}, year = {2007}, url = {http://ijcai.org/Proceedings/07/Papers/033.pdf}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/ArtaleLT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Toman07, author = {David Toman}, title = {On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries}, booktitle = {14th International Symposium on Temporal Representation and Reasoning {(TIME} 2007), 28-30 June 2007, Alicante, Spain}, pages = {150--162}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/TIME.2007.55}, doi = {10.1109/TIME.2007.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/Toman07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cade/TomanW06, author = {David Toman and Grant E. Weddell}, editor = {Ulrich Furbach and Natarajan Shankar}, title = {On Keys and Functional Dependencies as First-Class Citizens in Description Logics}, booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR} 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4130}, pages = {647--661}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11814771\_52}, doi = {10.1007/11814771\_52}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cade/TomanW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/ArtaleLT06, author = {Alessandro Artale and Carsten Lutz and David Toman}, editor = {Bijan Parsia and Ulrike Sattler and David Toman}, title = {A Description Logic of Change}, booktitle = {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}, url = {https://ceur-ws.org/Vol-189/submission\_35.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/ArtaleLT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stdbm/Toman06, author = {David Toman}, editor = {Christophe Claramunt and Ki{-}Joune Li and Simonas Saltenis}, title = {On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries}, booktitle = {Proceedings of the Third {STDBM} Workshop on Spatio-Temporal Database Management, {STDBM} 2006, Seoul, Republic of Korea, September 11, 2006}, series = {{CEUR} Workshop Proceedings}, volume = {174}, publisher = {CEUR-WS.org}, year = {2006}, url = {https://ceur-ws.org/Vol-174/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:26 +0100}, biburl = {https://dblp.org/rec/conf/stdbm/Toman06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://ceur-ws.org/Vol-189}, urn = {urn:nbn:de:0074-189-6}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/j.tcs.2004.10.036}, doi = {10.1016/J.TCS.2004.10.036}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/TomanW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW05, author = {David Toman and Grant E. Weddell}, editor = {Ian Horrocks and Ulrike Sattler and Frank Wolter}, title = {On Path-functional Dependencies as First-class Citizens in Description Logics}, booktitle = {Proceedings of the 2005 International Workshop on Description Logics (DL2005), Edinburgh, Scotland, UK, July 26-28, 2005}, series = {{CEUR} Workshop Proceedings}, volume = {147}, publisher = {CEUR-WS.org}, year = {2005}, url = {https://ceur-ws.org/Vol-147/24-Toman.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ijcai/TomanW05, author = {David Toman and Grant E. Weddell}, editor = {Leslie Pack Kaelbling and Alessandro Saffiotti}, title = {On the Interaction between Inverse Features and Path-functional Dependencies in Description Logics}, booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August 5, 2005}, pages = {603--608}, publisher = {Professional Book Center}, year = {2005}, url = {http://ijcai.org/Proceedings/05/Papers/1421.pdf}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ijcai/TomanW05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/Amer-YahiaKMST05, author = {Sihem Amer{-}Yahia and Nick Koudas and Am{\'{e}}lie Marian and Divesh Srivastava and David Toman}, editor = {Klemens B{\"{o}}hm and Christian S. Jensen and Laura M. Haas and Martin L. Kersten and Per{-}{\AA}ke Larson and Beng Chin Ooi}, title = {Structure and Content Scoring for {XML}}, booktitle = {Proceedings of the 31st International Conference on Very Large Data Bases, Trondheim, Norway, August 30 - September 2, 2005}, pages = {361--372}, publisher = {{ACM}}, year = {2005}, url = {http://www.vldb.org/archives/website/2005/program/paper/wed/p361-amer-yahia.pdf}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vldb/Amer-YahiaKMST05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:reference/fai/ChomickiT05, author = {Jan Chomicki and David Toman}, editor = {Michael Fisher and Dov M. Gabbay and Llu{\'{\i}}s Vila}, 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}, url = {https://doi.org/10.1016/S1574-6526(05)80016-1}, doi = {10.1016/S1574-6526(05)80016-1}, timestamp = {Mon, 06 Nov 2023 17:08:49 +0100}, biburl = {https://dblp.org/rec/reference/fai/ChomickiT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW04, author = {David Toman and Grant E. Weddell}, editor = {Volker Haarslev and Ralf M{\"{o}}ller}, title = {Attribute Inversion in Description Logic with Path Functional Dependencies}, booktitle = {Proceedings of the 2004 International Workshop on Description Logics (DL2004), Whistler, British Columbia, Canada, June 6-8, 2004}, series = {{CEUR} Workshop Proceedings}, volume = {104}, publisher = {CEUR-WS.org}, year = {2004}, url = {https://ceur-ws.org/Vol-104/23Toman-final.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/dke/BowmanT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/TKDE.2003.1245282}, doi = {10.1109/TKDE.2003.1245282}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/ChomickiGKT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Toman03, author = {David Toman}, editor = {Jan Chomicki and Ron van der Meyden and Gunter Saake}, title = {Logical Data Expiration}, booktitle = {Logics for Emerging Applications of Databases [outcome of a Dagstuhl seminar]}, pages = {203--238}, publisher = {Springer}, year = {2003}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/Toman03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/DeHaanTW03, author = {David DeHaan and David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, title = {Rewriting Aggregate Queries using Description Logic}, booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {81}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-81/toman.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/DeHaanTW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/FranconiT03, author = {Enrico Franconi and David Toman}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, title = {Fixpoint Extensions of Temporal Description Logics}, booktitle = {Proceedings of the 2003 International Workshop on Description Logics (DL2003), Rome, Italy September 5-7, 2003}, series = {{CEUR} Workshop Proceedings}, volume = {81}, publisher = {CEUR-WS.org}, year = {2003}, url = {https://ceur-ws.org/Vol-81/franconi.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/FranconiT03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/TomanW03, author = {David Toman and Grant E. Weddell}, editor = {Diego Calvanese and Maurizio Lenzerini and Rajeev Motwani}, title = {On Reasoning about Structural Equality in {XML:} {A} Description Logic Approach}, booktitle = {Database Theory - {ICDT} 2003, 9th International Conference, Siena, Italy, January 8-10, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2572}, pages = {96--110}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36285-1\_7}, doi = {10.1007/3-540-36285-1\_7}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/TomanW03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sigmod/DeHaanTCO03, author = {David DeHaan and David Toman and Mariano P. Consens and M. Tamer {\"{O}}zsu}, editor = {Alon Y. Halevy and Zachary G. Ives and AnHai Doan}, title = {A Comprehensive XQuery to {SQL} Translation using Dynamic Interval Encoding}, booktitle = {Proceedings of the 2003 {ACM} {SIGMOD} International Conference on Management of Data, San Diego, California, USA, June 9-12, 2003}, pages = {623--634}, publisher = {{ACM}}, year = {2003}, url = {https://doi.org/10.1145/872757.872832}, doi = {10.1145/872757.872832}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/DeHaanTCO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ssd/Toman03, author = {David Toman}, editor = {Thanasis Hadzilacos and Yannis Manolopoulos and John F. Roddick and Yannis Theodoridis}, title = {Logical Data Expiration for Fixpoint Extensions of Temporal Logics}, booktitle = {Advances in Spatial and Temporal Databases, 8th International Symposium, {SSTD} 2003, Santorini Island, Greece, July 24-27, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2750}, pages = {380--393}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-45072-6\_22}, doi = {10.1007/978-3-540-45072-6\_22}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ssd/Toman03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Toman03, author = {David Toman}, title = {On Incompleteness of Multi-dimensional First-order Temporal Logics}, booktitle = {10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic {(TIME-ICTL} 2003), 8-10 July 2003, Cairns, Queensland, Australia}, pages = {99--106}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/TIME.2003.1214885}, doi = {10.1109/TIME.2003.1214885}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/Toman03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/LiuTW02, author = {Huizhu Liu and David Toman and Grant E. Weddell}, editor = {Ian Horrocks and Sergio Tessaris}, title = {Fine Grained Information Integration with Description Logics}, booktitle = {Proceedings of the 2002 International Workshop on Description Logics (DL2002), Toulouse, France, April 19-21, 2002}, series = {{CEUR} Workshop Proceedings}, volume = {53}, publisher = {CEUR-WS.org}, year = {2002}, url = {https://ceur-ws.org/Vol-53/toman.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/LiuTW02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Toman02, author = {David Toman}, title = {Logical Data Expiration}, booktitle = {9th International Symposium on Temporal Representation and Reasoning, TIME-2002, Manchester, UK, July 7-9, 2002}, pages = {66--67}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/TIME.2002.1027477}, doi = {10.1109/TIME.2002.1027477}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/Toman02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1145/383891.383892}, doi = {10.1145/383891.383892}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tods/ChomickiTB01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dbtel/TomanW01, author = {David Toman and Grant E. Weddell}, editor = {Willem Jonker}, title = {Query Processing in Embedded Control Programs}, booktitle = {Databases in Telecommunications II, {VLDB} 2001 International Workshop, DBTel 2001 Rome, Italy, September 10, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2209}, pages = {68--87}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45432-2\_6}, doi = {10.1007/3-540-45432-2\_6}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dbtel/TomanW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/TomanW01, author = {David Toman and Grant E. Weddell}, editor = {Carole A. Goble and Deborah L. McGuinness and Ralf M{\"{o}}ller and Peter F. Patel{-}Schneider}, title = {On Attributes, Roles, and Dependencies in Description Logics and the Ackermann Case of the Decision Problem}, booktitle = {Working Notes of the 2001 International Description Logics Workshop (DL-2001), Stanford, CA, USA, August 1-3, 2001}, series = {{CEUR} Workshop Proceedings}, volume = {49}, publisher = {CEUR-WS.org}, year = {2001}, url = {https://ceur-ws.org/Vol-49/TomanWeddell-76start.ps}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/TomanW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/KhizderTW01, author = {Vitaliy L. Khizder and David Toman and Grant E. Weddell}, editor = {Jan Van den Bussche and Victor Vianu}, title = {On Decidability and Complexity of Description Logics with Uniqueness Constraints}, booktitle = {Database Theory - {ICDT} 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1973}, pages = {54--67}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44503-X\_4}, doi = {10.1007/3-540-44503-X\_4}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdt/KhizderTW01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/BowmanT01, author = {Ivan T. Bowman and David Toman}, title = {Optimizing Temporal Queries: Efficient Handling of Duplicates}, booktitle = {Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001}, pages = {93--100}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/TIME.2001.930704}, doi = {10.1109/TIME.2001.930704}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/BowmanT01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/time/Toman01, author = {David Toman}, title = {Expiration of Historical Databases}, booktitle = {Eigth International Symposium on Temporal Representation and Reasoning, TIME-01, Civdale del Friuli, Italy, June 14-16, 2001}, pages = {128--135}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/TIME.2001.930708}, doi = {10.1109/TIME.2001.930708}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/time/Toman01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cl/KhizderTW00, author = {Vitaliy L. Khizder and David Toman and Grant E. Weddell}, editor = {John W. Lloyd and Ver{\'{o}}nica Dahl and Ulrich Furbach and Manfred Kerber and Kung{-}Kiu Lau and Catuscia Palamidessi and Lu{\'{\i}}s Moniz Pereira and Yehoshua Sagiv and Peter J. Stuckey}, title = {Reasoning about Duplicate Elimination with Description Logic}, booktitle = {Computational Logic - {CL} 2000, First International Conference, London, UK, 24-28 July, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1861}, pages = {1017--1032}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44957-4\_68}, doi = {10.1007/3-540-44957-4\_68}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cl/KhizderTW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/KhizderTW00, author = {Vitaliy L. Khizder and David Toman and Grant E. Weddell}, editor = {Franz Baader and Ulrike Sattler}, title = {On Decidability and Complexity of Description Logics with Uniqueness Constraints}, booktitle = {Proceedings of the 2000 International Workshop on Description Logics (DL2000), Aachen, Germany, August 17-19, 2000}, series = {{CEUR} Workshop Proceedings}, volume = {33}, pages = {193--202}, publisher = {CEUR-WS.org}, year = {2000}, url = {https://ceur-ws.org/Vol-33/Khizder193-202.ps}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/KhizderTW00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/cdb/Toman00, author = {David Toman}, editor = {Gabriel M. Kuper and Leonid Libkin and Jan Paredaens}, title = {{SQL/TP:} {A} Temporal Extension of {SQL}}, booktitle = {Constraint Databases}, pages = {391--399}, publisher = {Springer}, year = {2000}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdb/Toman00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1016/S0743-1066(97)10008-5}, doi = {10.1016/S0743-1066(97)10008-5}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/TomanC98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/ChomickiT98, author = {Jan Chomicki and David Toman}, editor = {Jan Chomicki and Gunter Saake}, title = {Temporal Logic in Information Systems}, booktitle = {Logics for Databases and Information Systems (the book grow out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995)}, pages = {31--70}, publisher = {Kluwer}, year = {1998}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/ChomickiT98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1023/A:1009799613661}, doi = {10.1023/A:1009799613661}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/constraints/Toman97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdb/Toman97, author = {David Toman}, editor = {Volker Gaede and Alexander Brodsky and Oliver G{\"{u}}nther and Divesh Srivastava and Victor Vianu and Mark Wallace}, title = {Computing the Well-Founded Semantics for Constraint Extensions of Datalog}, booktitle = {Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, {CDB} '97, Delphi, Greece, January 11-12, 1997, {CP} '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1191}, pages = {64--79}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-62501-1\_25}, doi = {10.1007/3-540-62501-1\_25}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdb/Toman97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cdb/Toman97a, author = {David Toman}, editor = {Volker Gaede and Alexander Brodsky and Oliver G{\"{u}}nther and Divesh Srivastava and Victor Vianu and Mark Wallace}, title = {Constraint Databases and Program Analysis Using Abstract Interpretation}, booktitle = {Constraint Databases and Their Applications, Second International Workshop on Constraint Database Systems, {CDB} '97, Delphi, Greece, January 11-12, 1997, {CP} '96 Workshop on Constraints and Databases, Cambridge, MA, USA, August 19, 1996, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1191}, pages = {246--262}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-62501-1\_36}, doi = {10.1007/3-540-62501-1\_36}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cdb/Toman97a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/Toman97, author = {David Toman}, editor = {Opher Etzion and Sushil Jajodia and Suryanarayana M. Sripada}, title = {Point-Based Temporal Extensions of {SQL} and Their Efficient Implementation}, booktitle = {Temporal Databases: Research and Practice. (the book grow out of a Dagstuhl Seminar, June 23-27, 1997)}, series = {Lecture Notes in Computer Science}, volume = {1399}, pages = {211--237}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0053704}, doi = {10.1007/BFB0053704}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/Toman97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/Toman97, author = {David Toman}, editor = {Fran{\c{c}}ois Bry and Raghu Ramakrishnan and Kotagiri Ramamohanarao}, title = {Point-Based Temporal Extension of Temporal {SQL}}, booktitle = {Deductive and Object-Oriented Databases, 5th International Conference, DOOD'97, Montreux, Switzerland, December 8-12, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1341}, pages = {103--121}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63792-3\_11}, doi = {10.1007/3-540-63792-3\_11}, timestamp = {Wed, 08 May 2024 08:22:09 +0200}, biburl = {https://dblp.org/rec/conf/dood/Toman97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/BohlenCST96, author = {Michael H. B{\"{o}}hlen and Jan Chomicki and Richard T. Snodgrass and David Toman}, editor = {Peter M. G. Apers and Mokrane Bouzeghoub and Georges Gardarin}, title = {Querying {TSQL2} Databases with Temporal Logic}, booktitle = {Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1057}, pages = {325--341}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0014161}, doi = {10.1007/BFB0014161}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edbt/BohlenCST96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/edbt/TomanN96, author = {David Toman and Damian Niwinski}, editor = {Peter M. G. Apers and Mokrane Bouzeghoub and Georges Gardarin}, title = {First-Order Queries over Temporal Databases Inexpressible in Temporal Logic}, booktitle = {Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1057}, pages = {307--324}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/BFb0014160}, doi = {10.1007/BFB0014160}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/edbt/TomanN96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pods/Toman96, author = {David Toman}, editor = {Richard Hull}, title = {Point vs. Interval-based Query Languages for Temporal Databases}, booktitle = {Proceedings of the Fifteenth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on Principles of Database Systems, June 3-5, 1996, Montreal, Canada}, pages = {58--67}, publisher = {{ACM} Press}, year = {1996}, url = {https://doi.org/10.1145/237661.237676}, doi = {10.1145/237661.237676}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pods/Toman96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, url = {https://doi.org/10.1109/69.404030}, doi = {10.1109/69.404030}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tkde/ChomickiT95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/Toman95, author = {David Toman}, editor = {John W. Lloyd}, title = {Top-Down beats Bottom-Up for Constraint Based Extensions of Datalog}, booktitle = {Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995}, pages = {98--112}, publisher = {{MIT} Press}, year = {1995}, url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6299950}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/Toman95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ride/TomanC94, author = {David Toman and Jan Chomicki}, editor = {Jennifer Widom and Sharma Chakravarthy}, title = {Implementing Temporal Integrity Constraints Using an Active {DBMS}}, booktitle = {Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston, Texas, USA, February 14-15, 1994}, pages = {87--95}, publisher = {{IEEE} Computer Society}, year = {1994}, url = {https://doi.org/10.1109/RIDE.1994.282849}, doi = {10.1109/RIDE.1994.282849}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ride/TomanC94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/slp/TomanCR94, author = {David Toman and Jan Chomicki and David S. Rogers}, editor = {Maurice Bruynooghe}, title = {Datalog with Integer Periodicity Constraints}, booktitle = {Logic Programming, Proceedings of the 1994 International Symposium, Ithaca, New York, USA, November 13-17, 1994}, pages = {189--203}, publisher = {{MIT} Press}, year = {1994}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/slp/TomanCR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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}, editor = {Richard F. Sincovec and David E. Keyes and Michael R. Leuze and Linda R. Petzold and Daniel A. Reed}, title = {A Topology- and Problem-Independent Scalable Parallel Approach to Molecular Dynamics Simulation}, booktitle = {Proceedings of the Sixth {SIAM} Conference on Parallel Processing for Scientific Computing, {PP} 1993, Norfolk, Virginia, USA, March 22-24, 1993}, pages = {170--173}, publisher = {{SIAM}}, year = {1993}, timestamp = {Wed, 03 Jul 2024 11:15:21 +0200}, biburl = {https://dblp.org/rec/conf/ppsc/NesbeittEOTBS93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ppsc/SeveranceETB93, author = {Charles R. Severance and Richard J. Enbody and David Tom{\'{a}}nek and Aurel Bulgac}, editor = {Richard F. Sincovec and David E. Keyes and Michael R. Leuze and Linda R. Petzold and Daniel A. Reed}, title = {Real-Values Array Indices - An Initial Look}, booktitle = {Proceedings of the Sixth {SIAM} Conference on Parallel Processing for Scientific Computing, {PP} 1993, Norfolk, Virginia, USA, March 22-24, 1993}, pages = {979--982}, publisher = {{SIAM}}, year = {1993}, timestamp = {Wed, 03 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ppsc/SeveranceETB93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/MatyskaJT91, author = {Ludek Matyska and Adriana Jergov{\'{a}} and David Toman}, editor = {Koichi Furukawa}, title = {Register Allocation in {WAM}}, booktitle = {Logic Programming, Proceedings of the Eigth International Conference, Paris, France, June 24-28, 1991}, pages = {142--156}, publisher = {{MIT} Press}, year = {1991}, timestamp = {Sat, 05 Nov 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/iclp/MatyskaJT91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.