Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Grant E. Weddell
@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} }
@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 12:29:24 +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} }
@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} }
@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} }
@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} }
@proceedings{DBLP:conf/dlog/2019, editor = {Mantas Simkus and Grant E. Weddell}, title = {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}, urn = {urn:nbn:de:0074-2373-7}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dlog/2019.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} }
@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 = {Sat, 05 Nov 2022 00:00:00 +0100}, 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} }
@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/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/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} }
@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/cikm/PoundHIW12, author = {Jeffrey Pound and Alexander K. Hudek and Ihab F. Ilyas and Grant E. Weddell}, editor = {Xue{-}wen Chen and Guy Lebanon and Haixun Wang and Mohammed J. Zaki}, title = {Interpreting keyword queries over web knowledge bases}, booktitle = {21st {ACM} International Conference on Information and Knowledge Management, CIKM'12, Maui, HI, USA, October 29 - November 02, 2012}, pages = {305--314}, publisher = {{ACM}}, year = {2012}, url = {https://doi.org/10.1145/2396761.2396803}, doi = {10.1145/2396761.2396803}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cikm/PoundHIW12.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} }
@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/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} }
@article{DBLP:journals/dke/StanchevW10, author = {Lubomir Stanchev and Grant E. Weddell}, title = {Saving space and time using index merging}, journal = {Data Knowl. Eng.}, volume = {69}, number = {10}, pages = {1062--1080}, year = {2010}, url = {https://doi.org/10.1016/j.datak.2010.07.011}, doi = {10.1016/J.DATAK.2010.07.011}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/dke/StanchevW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/logcom/Ben-DavidTW10, author = {Shoham Ben{-}David and Richard J. Trefler and Grant E. Weddell}, title = {Model Checking Using Description Logic}, journal = {J. Log. Comput.}, volume = {20}, number = {1}, pages = {111--131}, year = {2010}, url = {https://doi.org/10.1093/logcom/exn062}, doi = {10.1093/LOGCOM/EXN062}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/logcom/Ben-DavidTW10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/pvldb/PoundIW10, author = {Jeffrey Pound and Ihab F. Ilyas and Grant E. Weddell}, title = {{QUICK:} Expressive and Flexible Search over Knowledge Bases and Text Collections}, journal = {Proc. {VLDB} Endow.}, volume = {3}, number = {2}, pages = {1573--1576}, year = {2010}, url = {http://www.vldb.org/pvldb/vldb2010/pvldb\_vol3/D15.pdf}, doi = {10.14778/1920841.1921042}, timestamp = {Sat, 25 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/pvldb/PoundIW10.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/fois/StanchevW10, author = {Lubomir Stanchev and Grant E. Weddell}, editor = {Antony Galton and Riichiro Mizoguchi}, title = {On Building an Index Advisor for Semantic Web Queries}, booktitle = {Formal Ontology in Information Systems, Proceedings of the Sixth International Conference, {FOIS} 2010, Toronto, Canada, May 11-14, 2010}, series = {Frontiers in Artificial Intelligence and Applications}, volume = {209}, pages = {147--157}, publisher = {{IOS} Press}, year = {2010}, url = {https://doi.org/10.3233/978-1-60750-535-8-147}, doi = {10.3233/978-1-60750-535-8-147}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fois/StanchevW10.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} }
@inproceedings{DBLP:conf/sigmod/PoundIW10, author = {Jeffrey Pound and Ihab F. Ilyas and Grant E. Weddell}, editor = {Ahmed K. Elmagarmid and Divyakant Agrawal}, title = {Expressive and flexible access to web-extracted data: a keyword-based structured query language}, booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data, {SIGMOD} 2010, Indianapolis, Indiana, USA, June 6-10, 2010}, pages = {423--434}, publisher = {{ACM}}, year = {2010}, url = {https://doi.org/10.1145/1807167.1807214}, doi = {10.1145/1807167.1807214}, timestamp = {Thu, 11 Mar 2021 15:20:15 +0100}, biburl = {https://dblp.org/rec/conf/sigmod/PoundIW10.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/dlog/Ben-DavidPTTW09, author = {Shoham Ben{-}David and Jeffrey Pound and Richard J. Trefler and Dmitry Tsarkov and Grant E. Weddell}, editor = {Bernardo Cuenca Grau and Ian Horrocks and Boris Motik and Ulrike Sattler}, title = {Fair Cycle Detection using Description Logic Reasoning}, 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\_56.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:16 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Ben-DavidPTTW09.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/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} }
@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} }
@article{DBLP:journals/toplas/GilPWZ08, author = {Joseph Gil and William W. Pugh and Grant E. Weddell and Yoav Zibin}, title = {Two-dimensional bidirectional object layout}, journal = {{ACM} Trans. Program. Lang. Syst.}, volume = {30}, number = {5}, pages = {28:1--28:38}, year = {2008}, url = {https://doi.org/10.1145/1387673.1387677}, doi = {10.1145/1387673.1387677}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/toplas/GilPWZ08.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 16:23:16 +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/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/dlog/Ben-DavidTW07, author = {Shoham Ben{-}David and Richard J. Trefler 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 = {Modal vs. Propositional Reasoning for model checking with Description Logics}, 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\_65.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Ben-DavidTW07.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 00:00:00 +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/tableaux/Ben-DavidTW07, author = {Shoham Ben{-}David and Richard J. Trefler and Grant E. Weddell}, editor = {Nicola Olivetti}, title = {Bounded Model Checking with Description Logic Reasoning}, booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, {TABLEAUX} 2007, Aix en Provence, France, July 3-6, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4548}, pages = {60--72}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73099-6\_7}, doi = {10.1007/978-3-540-73099-6\_7}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/tableaux/Ben-DavidTW07.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/Ben-DavidTW06, author = {Shoham Ben{-}David and Richard J. Trefler and Grant E. Weddell}, editor = {Bijan Parsia and Ulrike Sattler and David Toman}, title = {Model checking the basic modalities of {CTL} with Description Logic}, 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\_33.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:17 +0100}, biburl = {https://dblp.org/rec/conf/dlog/Ben-DavidTW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dlog/HudekW06, author = {Alexander K. Hudek and Grant E. Weddell}, editor = {Bijan Parsia and Ulrike Sattler and David Toman}, title = {Binary Absorption in Tableaux-Based Reasoning for Description Logics}, 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\_34.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/HudekW06.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/cascon/YuW04, author = {Heng Yu and Grant E. Weddell}, editor = {Hanan Lutfiyya and Janice Singer and Darlene A. Stewart}, title = {Investigations in tree locking for compiled database applications}, booktitle = {Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, October 5-7, 2004, Markham, Ontario, Canada}, pages = {217--231}, publisher = {{IBM}}, year = {2004}, url = {https://dl.acm.org/citation.cfm?id=1034931}, timestamp = {Fri, 30 Nov 2018 02:24:54 +0100}, biburl = {https://dblp.org/rec/conf/cascon/YuW04.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/tkde/KhizderW03, author = {Vitaliy L. Khizder and Grant E. Weddell}, title = {Reasoning about Uniqueness Constraints in Object Relational Databases}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {15}, number = {5}, pages = {1295--1306}, year = {2003}, url = {https://doi.org/10.1109/TKDE.2003.1232279}, doi = {10.1109/TKDE.2003.1232279}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/KhizderW03.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/StanchevW03, author = {Lubomir Stanchev and Grant E. Weddell}, editor = {Diego Calvanese and Giuseppe De Giacomo and Enrico Franconi}, title = {Index Selection for Embedded Control Applications using 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/stanchev.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dlog/StanchevW03.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/cascon/StanchevW02, author = {Lubomir Stanchev and Grant E. Weddell}, editor = {Darlene A. Stewart and J. Howard Johnson}, title = {Index selection for compiled database applications in embedded control programs}, booktitle = {Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative Research, September 30 - October 3, 2002, Toronto, Ontario, Canada}, pages = {11}, publisher = {{IBM}}, year = {2002}, url = {https://dl.acm.org/citation.cfm?id=782126}, timestamp = {Fri, 30 Nov 2018 02:24:54 +0100}, biburl = {https://dblp.org/rec/conf/cascon/StanchevW02.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/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/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} }
@inproceedings{DBLP:conf/dood/BorgidaW97, author = {Alexander Borgida and Grant E. Weddell}, editor = {Fran{\c{c}}ois Bry and Raghu Ramakrishnan and Kotagiri Ramamohanarao}, title = {Adding Uniqueness Constraints to Description Logics (Preliminary Report)}, 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 = {85--102}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63792-3\_10}, doi = {10.1007/3-540-63792-3\_10}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/dood/BorgidaW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ItoW95, author = {Minoru Ito and Grant E. Weddell}, title = {Implication Problems for Functional Constraints on Databases Supporting Complex Objects}, journal = {J. Comput. Syst. Sci.}, volume = {50}, number = {1}, pages = {165--187}, year = {1995}, url = {https://doi.org/10.1006/jcss.1995.1015}, doi = {10.1006/JCSS.1995.1015}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ItoW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/ItoW94, author = {Minoru Ito and Grant E. Weddell}, title = {Implication Problems for Functional Constraints on Databases Supporting Complex Objects}, journal = {J. Comput. Syst. Sci.}, volume = {49}, number = {3}, pages = {726--768}, year = {1994}, url = {https://doi.org/10.1016/S0022-0000(05)80078-9}, doi = {10.1016/S0022-0000(05)80078-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/ItoW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/BommelW94, author = {Martin F. van Bommel and Grant E. Weddell}, title = {Reasoning About Equations and Functional Dependencies on Complex Objects}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {6}, number = {3}, pages = {455--469}, year = {1994}, url = {https://doi.org/10.1109/69.334857}, doi = {10.1109/69.334857}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/BommelW94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/CoburnW93, author = {Neil Coburn and Grant E. Weddell}, editor = {Stefano Ceri and Katsumi Tanaka and Shalom Tsur}, title = {A Logic for Rule-Based Query Optimization in Graph-Based Data Models}, booktitle = {Deductive and Object-Oriented Databases, Third International Conference, DOOD'93, Phoenix, Arizona, USA, December 6-8, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {760}, pages = {120--145}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57530-8\_8}, doi = {10.1007/3-540-57530-8\_8}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/dood/CoburnW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tods/Weddell92, author = {Grant E. Weddell}, title = {Reasoning about Functional Dependencies Generalized for Semantic Data Models}, journal = {{ACM} Trans. Database Syst.}, volume = {17}, number = {1}, pages = {32--64}, year = {1992}, url = {https://doi.org/10.1145/128765.128767}, doi = {10.1145/128765.128767}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tods/Weddell92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/CoburnW91, author = {Neil Coburn and Grant E. Weddell}, editor = {Claude Delobel and Michael Kifer and Yoshifumi Masunaga}, title = {Path Constraints for Graph-Based Data Models: Towards a Unified Theory of Typing Constraints, Equations, and Functional Dependencies}, booktitle = {Deductive and Object-Oriented Databases, Second International Conference, DOOD'91, Munich, Germany, December 16-18, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {566}, pages = {312--331}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-55015-1\_17}, doi = {10.1007/3-540-55015-1\_17}, timestamp = {Sat, 07 Sep 2019 11:59:23 +0200}, biburl = {https://dblp.org/rec/conf/dood/CoburnW91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdt/WeddellC90, author = {Grant E. Weddell and Neil Coburn}, editor = {Serge Abiteboul and Paris C. Kanellakis}, title = {A Theory of Specialization Constraints for Complex Objects}, booktitle = {ICDT'90, Third International Conference on Database Theory, Paris, France, December 12-14, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {470}, pages = {229--244}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53507-1\_80}, doi = {10.1007/3-540-53507-1\_80}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/icdt/WeddellC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/PughW90, author = {William W. Pugh and Grant E. Weddell}, editor = {Bernard N. Fischer}, title = {Two-Directional Record Layout for Multiple Inheritance}, booktitle = {Proceedings of the {ACM} SIGPLAN'90 Conference on Programming Language Design and Implementation (PLDI), White Plains, New York, USA, June 20-22, 1990}, pages = {85--91}, publisher = {{ACM}}, year = {1990}, url = {https://doi.org/10.1145/93542.93556}, doi = {10.1145/93542.93556}, timestamp = {Mon, 04 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/pldi/PughW90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tkde/Weddell89, author = {Grant E. Weddell}, title = {Selection of Indexes to Memory-Resident Entities for Semantic Data Models}, journal = {{IEEE} Trans. Knowl. Data Eng.}, volume = {1}, number = {2}, pages = {274--284}, year = {1989}, url = {https://doi.org/10.1109/69.87966}, doi = {10.1109/69.87966}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tkde/Weddell89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dood/Weddell89, author = {Grant E. Weddell}, editor = {Won Kim and Jean{-}Marie Nicolas and Shojiro Nishio}, title = {A Theory of Functional Dependencies for Object-Oriented Data Models}, booktitle = {Deductive and Object-Oriented Databases, Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD'89), Kyoto Research Park, Kyoto, Japan, 4-6 December, 1989}, pages = {165--184}, publisher = {North-Holland/Elsevier Science Publishers}, year = {1989}, timestamp = {Tue, 30 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dood/Weddell89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@phdthesis{DBLP:phd/ca/Weddell85, author = {Grant E. Weddell}, title = {Physical design and query compilation for a semantic data model (assuming memory residence)}, school = {University of Toronto, Canada}, year = {1985}, url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106343514106196}, timestamp = {Wed, 10 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/ca/Weddell85.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.