Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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}
}
a service of 
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.
last updated on 2024-04-25 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
