Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Alexander Borgida
@inproceedings{DBLP:conf/chiir/KalokyriBM23,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian},
editor = {Jacek Gwizdka and
Soo Young Rieh},
title = {One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition
of Scripts through Crowdsourcing},
booktitle = {Proceedings of the 2023 Conference on Human Information Interaction
and Retrieval, {CHIIR} 2023, Austin, TX, USA, March 19-23, 2023},
pages = {187--196},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576840.3578271},
doi = {10.1145/3576840.3578271},
timestamp = {Sat, 30 Sep 2023 09:36:49 +0200},
biburl = {https://dblp.org/rec/conf/chiir/KalokyriBM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/FengBFP0W23,
author = {Eva Feng and
Alexander Borgida and
Enrico Franconi and
Peter F. Patel{-}Schneider and
David Toman and
Grant E. Weddell},
editor = {Oliver Kutz and
Carsten Lutz and
Ana Ozaki},
title = {Path Description Dependencies in Feature-Based DLs},
booktitle = {Proceedings of the 36th International Workshop on Description Logics
{(DL} 2023) co-located with the 20th International Conference on Principles
of Knowledge Representation and Reasoning and the 21st International
Workshop on Non-Monotonic Reasoning {(KR} 2023 and {NMR} 2023)., Rhodes,
Greece, September 2-4, 2023},
series = {{CEUR} Workshop Proceedings},
volume = {3515},
publisher = {CEUR-WS.org},
year = {2023},
url = {https://ceur-ws.org/Vol-3515/paper-10.pdf},
timestamp = {Thu, 26 Oct 2023 16:59:55 +0200},
biburl = {https://dblp.org/rec/conf/dlog/FengBFP0W23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/ElrakaibyBFM22,
author = {Yehia Elrakaiby and
Alexander Borgida and
Alessio Ferrari and
John Mylopoulos},
title = {CaRE: a refinement calculus for requirements engineering based on
argumentation theory},
journal = {Softw. Syst. Model.},
volume = {21},
number = {6},
pages = {2113--2132},
year = {2022},
url = {https://doi.org/10.1007/s10270-021-00943-5},
doi = {10.1007/S10270-021-00943-5},
timestamp = {Tue, 06 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/ElrakaibyBFM22.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/icwsm/KalokyriBM22,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian},
editor = {Ceren Budak and
Meeyoung Cha and
Daniele Quercia},
title = {Supporting Human Memory by Reconstructing Personal Episodic Narratives
from Digital Traces},
booktitle = {Proceedings of the Sixteenth International {AAAI} Conference on Web
and Social Media, {ICWSM} 2022, Atlanta, Georgia, USA, June 6-9, 2022},
pages = {453--464},
publisher = {{AAAI} Press},
year = {2022},
url = {https://ojs.aaai.org/index.php/ICWSM/article/view/19306},
timestamp = {Wed, 22 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icwsm/KalokyriBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/re/KoubarakisBCDJJ21,
author = {Manolis Koubarakis and
Alexander Borgida and
Panos Constantopoulos and
Martin Doerr and
Matthias Jarke and
Manfred A. Jeusfeld and
John Mylopoulos and
Dimitris Plexousakis},
title = {A retrospective on Telos as a metamodeling language for requirements
engineering},
journal = {Requir. Eng.},
volume = {26},
number = {1},
pages = {1--23},
year = {2021},
url = {https://doi.org/10.1007/s00766-020-00329-x},
doi = {10.1007/S00766-020-00329-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/re/KoubarakisBCDJJ21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ElrakaibyB0M20,
author = {Yehia ElRakaiby and
Alexander Borgida and
Alessio Ferrari and
John Mylopoulos},
editor = {Gillian Dobbie and
Ulrich Frank and
Gerti Kappel and
Stephen W. Liddle and
Heinrich C. Mayr},
title = {A Refinement Calculus for Requirements Engineering Based on Argumentation
Theory},
booktitle = {Conceptual Modeling - 39th International Conference, {ER} 2020, Vienna,
Austria, November 3-6, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12400},
pages = {3--18},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62522-1\_1},
doi = {10.1007/978-3-030-62522-1\_1},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/er/ElrakaibyB0M20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/ElRakaibyBFM20,
author = {Yehia ElRakaiby and
Alexander Borgida and
Alessio Ferrari and
John Mylopoulos},
title = {CaRE: {A} Refinement Calculus for Requirements Engineering based on
Argumentation Theory (Proofs and Tool) (Version 1.0)},
publisher = {Zenodo},
year = {2020},
month = oct,
howpublished = {\url{https://doi.org/10.5281/zenodo.4156216}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.4156216},
doi = {10.5281/ZENODO.4156216},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/ElRakaibyBFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/ElrakaibyBFM20,
author = {Yehia ElRakaiby and
Alexander Borgida and
Alessio Ferrari and
John Mylopoulos},
title = {A Refinement Calculus for Requirements Engineering based on Argumentation
Theory: Tool and Additional Material (Version 2.0)},
publisher = {Zenodo},
year = {2020},
month = may,
howpublished = {\url{https://doi.org/10.5281/zenodo.3958960}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3958960},
doi = {10.5281/ZENODO.3958960},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/ElrakaibyBFM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@misc{DBLP:data/10/ElrakaibyBFM20a,
author = {Yehia ElRakaiby and
Alexander Borgida and
Alessio Ferrari and
John Mylopoulos},
title = {A Refinement Calculus for Requirements Engineering based on Argumentation
Theory: Tool and Additional Material (Version 1.0)},
publisher = {Zenodo},
year = {2020},
month = may,
howpublished = {\url{https://doi.org/10.5281/zenodo.3856402}},
note = {Accessed on YYYY-MM-DD.},
url = {https://doi.org/10.5281/zenodo.3856402},
doi = {10.5281/ZENODO.3856402},
timestamp = {Sat, 15 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/data/10/ElrakaibyBFM20a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14803,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian},
title = {Supporting Human Memory by Reconstructing Personal Episodic Narratives
from Digital Traces},
journal = {CoRR},
volume = {abs/2012.14803},
year = {2020},
url = {https://arxiv.org/abs/2012.14803},
eprinttype = {arXiv},
eprint = {2012.14803},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14803.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/asist/ViannaKBMN19,
author = {Daniela Vianna and
Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian and
Thu D. Nguyen},
editor = {Catherine Blake and
Cecelia M. Brown},
title = {Searching heterogeneous personal digital traces},
booktitle = {Information... Anyone, Anywhere, Any Time, Any Way - Proceedings of
the 82nd ASIS{\&}T Annual Meeting, {ASIST} 2019, Melbourne, Australia,
October 19-23, 2019},
series = {Proc. Assoc. Inf. Sci. Technol.},
volume = {56},
number = {1},
pages = {276--285},
publisher = {Wiley},
year = {2019},
url = {https://doi.org/10.1002/pra2.22},
doi = {10.1002/PRA2.22},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/asist/ViannaKBMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Borgida19,
author = {Alexander Borgida},
editor = {Carsten Lutz and
Uli Sattler and
Cesare Tinelli and
Anni{-}Yasmin Turhan and
Frank Wolter},
title = {Initial Steps Towards a Family of Regular-Like Plan Description Logics},
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 = {90--109},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22102-7\_4},
doi = {10.1007/978-3-030-22102-7\_4},
timestamp = {Mon, 29 Jul 2019 16:00:26 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Borgida19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bpm/BorgidaKM19,
author = {Alexander Borgida and
Varvara Kalokyri and
Am{\'{e}}lie Marian},
editor = {Chiara Di Francescomarino and
Remco M. Dijkman and
Uwe Zdun},
title = {Description Logics and Specialization for Structured {BPMN}},
booktitle = {Business Process Management Workshops - {BPM} 2019 International Workshops,
Vienna, Austria, September 1-6, 2019, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {362},
pages = {19--31},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-37453-2\_3},
doi = {10.1007/978-3-030-37453-2\_3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bpm/BorgidaKM19.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}
}
@article{DBLP:journals/corr/abs-1904-05374,
author = {Daniela Vianna and
Varvara Kalokyri and
Alexander Borgida and
Thu D. Nguyen and
Am{\'{e}}lie Marian},
title = {Searching Heterogeneous Personal Digital Traces},
journal = {CoRR},
volume = {abs/1904.05374},
year = {2019},
url = {http://arxiv.org/abs/1904.05374},
eprinttype = {arXiv},
eprint = {1904.05374},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-05374.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/KalokyriBM18,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian},
editor = {Alfredo Cuzzocrea and
James Allan and
Norman W. Paton and
Divesh Srivastava and
Rakesh Agrawal and
Andrei Z. Broder and
Mohammed J. Zaki and
K. Sel{\c{c}}uk Candan and
Alexandros Labrinidis and
Assaf Schuster and
Haixun Wang},
title = {YourDigitalSelf: {A} Personal Digital Trace Integration Tool},
booktitle = {Proceedings of the 27th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2018, Torino, Italy, October 22-26,
2018},
pages = {1963--1966},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3269206.3269219},
doi = {10.1145/3269206.3269219},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cikm/KalokyriBM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/McIntyreBTW18,
author = {Stephanie McIntyre and
Alexander Borgida and
David Toman and
Grant E. Weddell},
editor = {Michael Thielscher and
Francesca Toni and
Frank Wolter},
title = {On Limited Conjunctions in Polynomial Feature Logics, with Applications
in {OBDA}},
booktitle = {Principles of Knowledge Representation and Reasoning: Proceedings
of the Sixteenth International Conference, {KR} 2018, Tempe, Arizona,
30 October - 2 November 2018},
pages = {655--656},
publisher = {{AAAI} Press},
year = {2018},
url = {https://aaai.org/ocs/index.php/KR/KR18/paper/view/18016},
timestamp = {Sat, 05 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kr/McIntyreBTW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Borgida18,
author = {Alexander Borgida},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Description Logics},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_1310},
doi = {10.1007/978-1-4614-8265-9\_1310},
timestamp = {Thu, 14 Feb 2019 09:43:36 +0100},
biburl = {https://dblp.org/rec/reference/db/Borgida18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BorgidaCL18,
author = {Alexander Borgida and
Marco A. Casanova and
Alberto H. F. Laender},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Logical Database Design: From Conceptual to Logical Schema},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_645},
doi = {10.1007/978-1-4614-8265-9\_645},
timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/BorgidaCL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BorgidaM18,
author = {Alexander Borgida and
John Mylopoulos},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Conceptual Schema Design},
booktitle = {Encyclopedia of Database Systems, Second Edition},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-1-4614-8265-9\_642},
doi = {10.1007/978-1-4614-8265-9\_642},
timestamp = {Thu, 14 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/reference/db/BorgidaM18.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/otm/KalokyriBMV17,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian and
Daniela Vianna},
editor = {Herv{\'{e}} Panetto and
Christophe Debruyne and
Walid Gaaloul and
Mike P. Papazoglou and
Adrian Paschke and
Claudio Agostino Ardagna and
Robert Meersman},
title = {Semantic Modeling and Inference with Episodic Organization for Managing
Personal Digital Traces - (Short Paper)},
booktitle = {On the Move to Meaningful Internet Systems. {OTM} 2017 Conferences
- Confederated International Conferences: CoopIS, C{\&}TC, and
{ODBASE} 2017, Rhodes, Greece, October 23-27, 2017, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {10574},
pages = {273--280},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69459-7\_19},
doi = {10.1007/978-3-319-69459-7\_19},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/otm/KalokyriBMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/KalokyriBMV17,
author = {Varvara Kalokyri and
Alexander Borgida and
Am{\'{e}}lie Marian and
Daniela Vianna},
editor = {Mohamed A. Sharaf and
Yannis Velegrakis},
title = {Integration and Exploration of Connected Personal Digital Traces},
booktitle = {Proceedings of the ExploreDB'17, Chicago, IL, USA, May 19, 2017},
pages = {3:1--3:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3077331.3077337},
doi = {10.1145/3077331.3077337},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/KalokyriBMV17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LiH0BGM16,
author = {Feng{-}Lin Li and
Jennifer Horkoff and
Lin Liu and
Alexander Borgida and
Giancarlo Guizzardi and
John Mylopoulos},
editor = {Selmin Nurcan and
Pnina Soffer and
Marko Bajec and
Johann Eder},
title = {Engineering Requirements with Desiree: An Empirical Evaluation},
booktitle = {Advanced Information Systems Engineering - 28th International Conference,
CAiSE 2016, Ljubljana, Slovenia, June 13-17, 2016. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9694},
pages = {221--238},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-39696-5\_14},
doi = {10.1007/978-3-319-39696-5\_14},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/LiH0BGM16.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/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}
}
@article{DBLP:journals/corr/LiBGH0M16,
author = {Feng{-}Lin Li and
Alexander Borgida and
Giancarlo Guizzardi and
Jennifer Horkoff and
Lin Liu and
John Mylopoulos},
title = {Desiree: a Refinement Calculus for Requirements Problems},
journal = {CoRR},
volume = {abs/1605.02263},
year = {2016},
url = {http://arxiv.org/abs/1605.02263},
eprinttype = {arXiv},
eprint = {1605.02263},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiBGH0M16.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/re/BorgidaJZ15,
author = {Alexander Borgida and
Ivan Jureta and
Anna Zamansky},
editor = {Didar Zowghi and
Vincenzo Gervasi and
Daniel Amyot},
title = {Towards a general formal framework of Coherence Management in {RE}},
booktitle = {23rd {IEEE} International Requirements Engineering Conference, {RE}
2015, Ottawa, ON, Canada, August 24-28, 2015},
pages = {274--277},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/RE.2015.7320436},
doi = {10.1109/RE.2015.7320436},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BorgidaJZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/refsq/LiHBG0M15,
author = {Feng{-}Lin Li and
Jennifer Horkoff and
Alexander Borgida and
Giancarlo Guizzardi and
Lin Liu and
John Mylopoulos},
editor = {Samuel A. Fricker and
Kurt Schneider},
title = {From Stakeholder Requirements to Formal Specifications Through Refinement},
booktitle = {Requirements Engineering: Foundation for Software Quality - 21st International
Working Conference, {REFSQ} 2015, Essen, Germany, March 23-26, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9013},
pages = {164--180},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-16101-3\_11},
doi = {10.1007/978-3-319-16101-3\_11},
timestamp = {Thu, 14 Oct 2021 10:32:57 +0200},
biburl = {https://dblp.org/rec/conf/refsq/LiHBG0M15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/PattonB15,
author = {Evan W. Patton and
Alexander Borgida},
editor = {Evan W. Patton and
William Van Woensel and
Roberto Yus},
title = {Challenges for Semantic Technologies in Distributed Mobile Environments},
booktitle = {Proceedings of the 1st International Workshop on Mobile Deployment
of Semantic Technologies (MoDeST 2015) co-located with 14th International
Semantic Web Conference {(ISWC} 2015), Bethlehem, Pennsylvania, USA,
October 11th, 2015},
series = {{CEUR} Workshop Proceedings},
volume = {1506},
pages = {26--31},
publisher = {CEUR-WS.org},
year = {2015},
url = {https://ceur-ws.org/Vol-1506/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:08 +0100},
biburl = {https://dblp.org/rec/conf/semweb/PattonB15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ErnstBJM14,
author = {Neil A. Ernst and
Alexander Borgida and
Ivan Jureta and
John Mylopoulos},
title = {Agile requirements engineering via paraconsistent reasoning},
journal = {Inf. Syst.},
volume = {43},
pages = {100--116},
year = {2014},
url = {https://doi.org/10.1016/j.is.2013.05.008},
doi = {10.1016/J.IS.2013.05.008},
timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/ErnstBJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/HorkoffBJYABM14,
author = {Jennifer Horkoff and
Daniele Barone and
Lei Jiang and
Eric S. K. Yu and
Daniel Amyot and
Alexander Borgida and
John Mylopoulos},
title = {Strategic business modeling: representation and reasoning},
journal = {Softw. Syst. Model.},
volume = {13},
number = {3},
pages = {1015--1041},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0290-8},
doi = {10.1007/S10270-012-0290-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/HorkoffBJYABM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tmis/JuretaBEM14,
author = {Ivan Jureta and
Alexander Borgida and
Neil A. Ernst and
John Mylopoulos},
title = {The Requirements Problem for Adaptive Systems},
journal = {{ACM} Trans. Manag. Inf. Syst.},
volume = {5},
number = {3},
pages = {17:1--17:33},
year = {2014},
url = {https://doi.org/10.1145/2629376},
doi = {10.1145/2629376},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tmis/JuretaBEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fois/GuizzardiLBGHM14,
author = {Renata S. S. Guizzardi and
Feng{-}Lin Li and
Alexander Borgida and
Giancarlo Guizzardi and
Jennifer Horkoff and
John Mylopoulos},
editor = {Pawel Garbacz and
Oliver Kutz},
title = {An Ontological Interpretation of Non-Functional Requirements},
booktitle = {Formal Ontology in Information Systems - Proceedings of the Eighth
International Conference, {FOIS} 2014, September, 22-25, 2014, Rio
de Janeiro, Brazil},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {267},
pages = {344--357},
publisher = {{IOS} Press},
year = {2014},
url = {https://doi.org/10.3233/978-1-61499-438-1-344},
doi = {10.3233/978-1-61499-438-1-344},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fois/GuizzardiLBGHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/BorgidaHM14,
author = {Alexander Borgida and
Jennifer Horkoff and
John Mylopoulos},
editor = {Nelly Bencomo and
Jane Cleland{-}Huang and
Jin Guo and
Rachel Harrison},
title = {Applying knowledge representation and reasoning to (simple) goal models},
booktitle = {{IEEE} 1st International Workshop on Artificial Intelligence for Requirements
Engineering, {AIRE} 2014, 26 August, 2014, Karlskrona, Sweden},
pages = {53--59},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/AIRE.2014.6894857},
doi = {10.1109/AIRE.2014.6894857},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/BorgidaHM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/LiHMGGB014,
author = {Feng{-}Lin Li and
Jennifer Horkoff and
John Mylopoulos and
Renata S. S. Guizzardi and
Giancarlo Guizzardi and
Alexander Borgida and
Lin Liu},
editor = {Tony Gorschek and
Robyn R. Lutz},
title = {Non-functional requirements as qualities, with a spice of ontology},
booktitle = {{IEEE} 22nd International Requirements Engineering Conference, {RE}
2014, Karlskrona, Sweden, August 25-29, 2014},
pages = {293--302},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RE.2014.6912271},
doi = {10.1109/RE.2014.6912271},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/LiHMGGB014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/ess14/ErnstBJM14,
author = {Neil A. Ernst and
Alexander Borgida and
Ivan Jureta and
John Mylopoulos},
editor = {Tom Mens and
Alexander Serebrenik and
Anthony Cleve},
title = {An Overview of Requirements Evolution},
booktitle = {Evolving Software Systems},
pages = {3--32},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-45398-4\_1},
doi = {10.1007/978-3-642-45398-4\_1},
timestamp = {Wed, 14 Nov 2018 10:12:23 +0100},
biburl = {https://dblp.org/rec/books/sp/ess14/ErnstBJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BorgidaDHM13,
author = {Alexander Borgida and
Fabiano Dalpiaz and
Jennifer Horkoff and
John Mylopoulos},
editor = {Joanne M. Atlee and
Robert Baillargeon and
Marsha Chechik and
Robert B. France and
Jeff Gray and
Richard F. Paige and
Bernhard Rumpe},
title = {Requirements models for design- and runtime: a position paper},
booktitle = {Proceedings of the 5th International Workshop on Modeling in Software
Engineering, MiSE 2013, San Francisco, California, USA, May 18-19,
2013},
pages = {62--68},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/MiSE.2013.6595298},
doi = {10.1109/MISE.2013.6595298},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BorgidaDHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/istar/LiHM0B13,
author = {Feng{-}Lin Li and
Jennifer Horkoff and
John Mylopoulos and
Lin Liu and
Alexander Borgida},
editor = {Jaelson Castro and
Jennifer Horkoff and
Neil A. M. Maiden and
Eric S. K. Yu},
title = {Non-Functional Requirements Revisited},
booktitle = {Proceedings of the 6th International \emph{i*} Workshop 2013, Valencia,
Spain, June 17-18, 2013},
series = {{CEUR} Workshop Proceedings},
volume = {978},
pages = {109--114},
publisher = {CEUR-WS.org},
year = {2013},
url = {https://ceur-ws.org/Vol-978/paper\_19.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:56 +0100},
biburl = {https://dblp.org/rec/conf/istar/LiHM0B13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcis/DalpiazBHM13,
author = {Fabiano Dalpiaz and
Alexander Borgida and
Jennifer Horkoff and
John Mylopoulos},
editor = {Roel J. Wieringa and
Selmin Nurcan and
Colette Rolland and
Jean{-}Louis Cavarero},
title = {Runtime goal models: Keynote},
booktitle = {{IEEE} 7th International Conference on Research Challenges in Information
Science, {RCIS} 2013, Paris, France, May 29-31, 2013},
pages = {1--11},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/RCIS.2013.6577674},
doi = {10.1109/RCIS.2013.6577674},
timestamp = {Wed, 16 Oct 2019 14:14:57 +0200},
biburl = {https://dblp.org/rec/conf/rcis/DalpiazBHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/wias/WalshLB12,
author = {Thomas J. Walsh and
Michael L. Littman and
Alexander Borgida},
title = {Learning web-service task descriptions from traces},
journal = {Web Intell. Agent Syst.},
volume = {10},
number = {4},
pages = {397--421},
year = {2012},
url = {https://doi.org/10.3233/WIA-2012-0254},
doi = {10.3233/WIA-2012-0254},
timestamp = {Tue, 15 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/wias/WalshLB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/ErnstBMJ12,
author = {Neil A. Ernst and
Alexander Borgida and
John Mylopoulos and
Ivan Jureta},
editor = {Jolita Ralyt{\'{e}} and
Xavier Franch and
Sjaak Brinkkemper and
Stanislaw Wrycza},
title = {Agile Requirements Evolution via Paraconsistent Reasoning},
booktitle = {Advanced Information Systems Engineering - 24th International Conference,
CAiSE 2012, Gdansk, Poland, June 25-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7328},
pages = {382--397},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31095-9\_25},
doi = {10.1007/978-3-642-31095-9\_25},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/ErnstBMJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaHMR12,
author = {Alexander Borgida and
Jennifer Horkoff and
John Mylopoulos and
Riccardo Rosati},
editor = {Yevgeny Kazakov and
Domenico Lembo and
Frank Wolter},
title = {Experiences in Mapping the Business Intelligence Model to Description
Logics, and the Case for Parametric Concepts},
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\_48.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaHMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/HorkoffBMBJYA12,
author = {Jennifer Horkoff and
Alexander Borgida and
John Mylopoulos and
Daniele Barone and
Lei Jiang and
Eric S. K. Yu and
Daniel Amyot},
editor = {Robert Meersman and
Herv{\'{e}} Panetto and
Tharam S. Dillon and
Stefanie Rinderle{-}Ma and
Peter Dadam and
Xiaofang Zhou and
Siani Pearson and
Alois Ferscha and
Sonia Bergamaschi and
Isabel F. Cruz},
title = {Making Data Meaningful: The Business Intelligence Model and Its Formal
Semantics in Description Logics},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2012, Confederated
International Conferences: CoopIS, DOA-SVI, and {ODBASE} 2012, Rome,
Italy, September 10-14, 2012. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {7566},
pages = {700--717},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33615-7\_17},
doi = {10.1007/978-3-642-33615-7\_17},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/otm/HorkoffBMBJYA12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AtenciaBEGS12,
author = {Manuel Atencia and
Alexander Borgida and
J{\'{e}}r{\^{o}}me Euzenat and
Chiara Ghidini and
Luciano Serafini},
editor = {Philippe Cudr{\'{e}}{-}Mauroux and
Jeff Heflin and
Evren Sirin and
Tania Tudorache and
J{\'{e}}r{\^{o}}me Euzenat and
Manfred Hauswirth and
Josiane Xavier Parreira and
Jim Hendler and
Guus Schreiber and
Abraham Bernstein and
Eva Blomqvist},
title = {A Formal Semantics for Weighted Ontology Mappings},
booktitle = {The Semantic Web - {ISWC} 2012 - 11th International Semantic Web Conference,
Boston, MA, USA, November 11-15, 2012, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7649},
pages = {17--33},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35176-1\_2},
doi = {10.1007/978-3-642-35176-1\_2},
timestamp = {Tue, 07 Sep 2021 13:47:37 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AtenciaBEGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpse/ErnstBM11,
author = {Neil A. Ernst and
Alexander Borgida and
John Mylopoulos},
editor = {Anthony Cleve and
Romain Robbes},
title = {Requirements evolution drives software evolution},
booktitle = {Proceedings of the 12th International Workshop on Principles of Software
Evolution and the 7th annual {ERCIM} Workshop on Software Evolution,
{EVOL/IWPSE} 2011, Szeged, Hungary, September 5-6, 2011},
pages = {16--20},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024445.2024450},
doi = {10.1145/2024445.2024450},
timestamp = {Tue, 01 Feb 2022 10:45:16 +0100},
biburl = {https://dblp.org/rec/conf/iwpse/ErnstBM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/ErnstBJ11,
author = {Neil A. Ernst and
Alexander Borgida and
Ivan Jureta},
title = {Finding incremental solutions for evolving requirements},
booktitle = {{RE} 2011, 19th {IEEE} International Requirements Engineering Conference,
Trento, Italy, August 29 2011 - September 2, 2011},
pages = {15--24},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/RE.2011.6051656},
doi = {10.1109/RE.2011.6051656},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/ErnstBJ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-4178,
author = {Ivan Jureta and
Alexander Borgida and
Neil A. Ernst},
title = {Mixed-Variable Requirements Roadmaps and their Role in the Requirements
Engineering of Adaptive Systems},
journal = {CoRR},
volume = {abs/1102.4178},
year = {2011},
url = {http://arxiv.org/abs/1102.4178},
eprinttype = {arXiv},
eprint = {1102.4178},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-4178.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1105-5463,
author = {Alexander Borgida},
title = {Extensible Knowledge Representation: the Case of Description Reasoners},
journal = {CoRR},
volume = {abs/1105.5463},
year = {2011},
url = {http://arxiv.org/abs/1105.5463},
eprinttype = {arXiv},
eprint = {1105.5463},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1105-5463.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0238,
author = {Alexander Borgida and
Ralf K{\"{u}}sters},
title = {What's in an Attribute? Consequences for the Least Common Subsumer},
journal = {CoRR},
volume = {abs/1106.0238},
year = {2011},
url = {http://arxiv.org/abs/1106.0238},
eprinttype = {arXiv},
eprint = {1106.0238},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0238.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/ErnstMBJ10,
author = {Neil A. Ernst and
John Mylopoulos and
Alexander Borgida and
Ivan Jureta},
editor = {Jeffrey Parsons and
Motoshi Saeki and
Peretz Shoval and
Carson C. Woo and
Yair Wand},
title = {Reasoning with Optional and Preferred Requirements},
booktitle = {Conceptual Modeling - {ER} 2010, 29th International Conference on
Conceptual Modeling, Vancouver, BC, Canada, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6412},
pages = {118--131},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16373-9\_9},
doi = {10.1007/978-3-642-16373-9\_9},
timestamp = {Sun, 02 Jun 2019 21:20:31 +0200},
biburl = {https://dblp.org/rec/conf/er/ErnstMBJ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JuretaBEM10,
author = {Ivan Jureta and
Alexander Borgida and
Neil A. Ernst and
John Mylopoulos},
title = {Techne: Towards a New Generation of Requirements Modeling Languages
with Goals, Preferences, and Inconsistency Handling},
booktitle = {{RE} 2010, 18th {IEEE} International Requirements Engineering Conference,
Sydney, New South Wales, Australia, September 27 - October 1, 2010},
pages = {115--124},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/RE.2010.24},
doi = {10.1109/RE.2010.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/JuretaBEM10.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/birthday/BrachmanBMP09,
author = {Ronald J. Brachman and
Alexander Borgida and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {"Reducing" {CLASSIC} to Practice: Knowledge Representation
Theory Meets Reality},
booktitle = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
pages = {436--465},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4\_23},
doi = {10.1007/978-3-642-02463-4\_23},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BrachmanBMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/JiangBBM09,
author = {Lei Jiang and
Daniele Barone and
Alexander Borgida and
John Mylopoulos},
editor = {Pascal van Eck and
Jaap Gordijn and
Roel J. Wieringa},
title = {Measuring and Comparing Effectiveness of Data Quality Techniques},
booktitle = {Advanced Information Systems Engineering, 21st International Conference,
CAiSE 2009, Amsterdam, The Netherlands, June 8-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5565},
pages = {171--185},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02144-2\_17},
doi = {10.1007/978-3-642-02144-2\_17},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/JiangBBM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Borgida09,
author = {Alexander Borgida},
editor = {Heiner Stuckenschmidt and
Christine Parent and
Stefano Spaccapietra},
title = {On Importing Knowledge from Ontologies.},
booktitle = {Modular Ontologies: Concepts, Theories and Techniques for Knowledge
Modularization},
series = {Lecture Notes in Computer Science},
volume = {5445},
pages = {91--112},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-01907-4\_5},
doi = {10.1007/978-3-642-01907-4\_5},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/series/lncs/Borgida09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009mylopoulos,
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Paolo Giorgini and
Eric S. K. Yu},
title = {Conceptual Modeling: Foundations and Applications - Essays in Honor
of John Mylopoulos},
series = {Lecture Notes in Computer Science},
volume = {5600},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02463-4},
doi = {10.1007/978-3-642-02463-4},
isbn = {978-3-642-02462-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2009mylopoulos.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BorgidaM09,
author = {Alexander Borgida and
John Mylopoulos},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Conceptual Schema Design},
booktitle = {Encyclopedia of Database Systems},
pages = {438--442},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_642},
doi = {10.1007/978-0-387-39940-9\_642},
timestamp = {Sun, 02 Jun 2019 21:10:27 +0200},
biburl = {https://dblp.org/rec/reference/db/BorgidaM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/Borgida09,
author = {Alexander Borgida},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Description Logics},
booktitle = {Encyclopedia of Database Systems},
pages = {799--803},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_1310},
doi = {10.1007/978-0-387-39940-9\_1310},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/db/Borgida09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/db/BorgidaCL09,
author = {Alexander Borgida and
Marco A. Casanova and
Alberto H. F. Laender},
editor = {Ling Liu and
M. Tamer {\"{O}}zsu},
title = {Logical Database Design: from Conceptual to Logical Schema},
booktitle = {Encyclopedia of Database Systems},
pages = {1645--1649},
publisher = {Springer {US}},
year = {2009},
url = {https://doi.org/10.1007/978-0-387-39940-9\_645},
doi = {10.1007/978-0-387-39940-9\_645},
timestamp = {Wed, 12 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/db/BorgidaCL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcse/AnBM08,
author = {Yuan An and
Alexander Borgida and
John Mylopoulos},
title = {Discovering and Maintaining Semantic Mappings between {XML} Schemas
and Ontologies},
journal = {J. Comput. Sci. Eng.},
volume = {2},
number = {1},
pages = {44--73},
year = {2008},
url = {https://doi.org/10.5626/jcse.2008.2.1.044},
doi = {10.5626/JCSE.2008.2.1.044},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcse/AnBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaCR08,
author = {Alexander Borgida and
Diego Calvanese and
Mariano Rodriguez{-}Muro},
editor = {Franz Baader and
Carsten Lutz and
Boris Motik},
title = {Explanation in DL-Lite},
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/BorgidaCalvaneseRodriguez.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/JiangBM08,
author = {Lei Jiang and
Alexander Borgida and
John Mylopoulos},
editor = {Qing Li and
Stefano Spaccapietra and
Eric S. K. Yu and
Antoni Oliv{\'{e}}},
title = {Towards a Compositional Semantic Account of Data Quality Attributes},
booktitle = {Conceptual Modeling - {ER} 2008, 27th International Conference on
Conceptual Modeling, Barcelona, Spain, October 20-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5231},
pages = {55--68},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87877-3\_6},
doi = {10.1007/978-3-540-87877-3\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/er/JiangBM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/BorgidaCR08,
author = {Alexander Borgida and
Diego Calvanese and
Mariano Rodriguez{-}Muro},
editor = {Robert Meersman and
Zahir Tari},
title = {Explanation in the DL-LiteFamily of Description Logics},
booktitle = {On the Move to Meaningful Internet Systems: {OTM} 2008, {OTM} 2008
Confederated International Conferences, CoopIS, DOA, GADA, IS, and
{ODBASE} 2008, Monterrey, Mexico, November 9-14, 2008, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {5332},
pages = {1440--1457},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88873-4\_35},
doi = {10.1007/978-3-540-88873-4\_35},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/BorgidaCR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Borgida07,
author = {Alexander Borgida},
title = {How knowledge representation meets software engineering (and often
databases)},
journal = {Autom. Softw. Eng.},
volume = {14},
number = {4},
pages = {443--464},
year = {2007},
url = {https://doi.org/10.1007/s10515-007-0018-0},
doi = {10.1007/S10515-007-0018-0},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Borgida07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgida07,
author = {Alexander Borgida},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {On Importing Knowledge from {DL} Ontologies: Some Intuitions and Problems},
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\_21.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgida07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgida07a,
author = {Alexander Borgida},
editor = {Diego Calvanese and
Enrico Franconi and
Volker Haarslev and
Domenico Lembo and
Boris Motik and
Anni{-}Yasmin Turhan and
Sergio Tessaris},
title = {Knowledge Representation Meets Databases - a View of the Symbiosys},
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/invited\_3.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgida07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icde/AnBMM07,
author = {Yuan An and
Alexander Borgida and
Ren{\'{e}}e J. Miller and
John Mylopoulos},
editor = {Rada Chirkova and
Asuman Dogac and
M. Tamer {\"{O}}zsu and
Timos K. Sellis},
title = {A Semantic Approach to Discovering Schema Mapping Expressions},
booktitle = {Proceedings of the 23rd International Conference on Data Engineering,
{ICDE} 2007, The Marmara Hotel, Istanbul, Turkey, April 15-20, 2007},
pages = {206--215},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/ICDE.2007.367866},
doi = {10.1109/ICDE.2007.367866},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icde/AnBMM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iq/JiangBTM07,
author = {Lei Jiang and
Alexander Borgida and
Thodoros Topaloglou and
John Mylopoulos},
editor = {Mary Ann Robbert and
Robert O'Hare and
M. Lynne Markus and
Barbara D. Klein},
title = {Data Quality By Design: {A} Goal-Oriented Approach},
booktitle = {Proceedings of the 12th International Conference on Information Quality,
MIT, Cambridge, MA, USA, November 9-11, 2007},
pages = {249--263},
publisher = {{MIT}},
year = {2007},
url = {http://mitiq.mit.edu/iciq/iqdownload.aspx?ICIQYear=2007\&\#38;File=DATA+QUALITY+BY+DESIGN+--+A+GOAL-ORIENTED+APPROACH.pdf},
timestamp = {Mon, 31 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iq/JiangBTM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kcap/BorgidaG07,
author = {Alexander Borgida and
Fausto Giunchiglia},
editor = {Bernardo Cuenca Grau and
Vasant G. Honavar and
Anne Schlicht and
Frank Wolter},
title = {Importing from Functional Knowledge Bases - {A} Preview},
booktitle = {Proceedings of the 2nd International Workshop on Modular Ontologies,
WoMO 2007, Whistler, Canada, October 28, 2007},
series = {{CEUR} Workshop Proceedings},
volume = {315},
publisher = {CEUR-WS.org},
year = {2007},
url = {https://ceur-ws.org/Vol-315/paper1.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/kcap/BorgidaG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JiangTBM07,
author = {Lei Jiang and
Thodoros Topaloglou and
Alexander Borgida and
John Mylopoulos},
title = {Goal-Oriented Conceptual Database Design},
booktitle = {15th {IEEE} International Requirements Engineering Conference, {RE}
2007, October 15-19th, 2007, New Delhi, India},
pages = {195--204},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RE.2007.32},
doi = {10.1109/RE.2007.32},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/JiangTBM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jods/AnBM06,
author = {Yuan An and
Alexander Borgida and
John Mylopoulos},
title = {Discovering the Semantics of Relational Tables Through Mappings},
journal = {J. Data Semant.},
pages = {1--32},
year = {2006},
url = {https://doi.org/10.1007/11890591\_1},
doi = {10.1007/11890591\_1},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jods/AnBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnMB06,
author = {Yuan An and
John Mylopoulos and
Alexander Borgida},
title = {Building Semantic Mappings from Databases to Ontologies},
booktitle = {Proceedings, The Twenty-First National Conference on Artificial Intelligence
and the Eighteenth Innovative Applications of Artificial Intelligence
Conference, July 16-20, 2006, Boston, Massachusetts, {USA}},
pages = {1557--1566},
publisher = {{AAAI} Press},
year = {2006},
url = {http://www.aaai.org/Library/AAAI/2006/aaai06-249.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/AnMB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JiangTBM06,
author = {Lei Jiang and
Thodoros Topaloglou and
Alexander Borgida and
John Mylopoulos},
title = {Incorporating Goal Analysis in Database Design: {A} Case Study from
Biological Data Management},
booktitle = {14th {IEEE} International Conference on Requirements Engineering {(RE}
2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, {USA}},
pages = {196--204},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/RE.2006.33},
doi = {10.1109/RE.2006.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/re/JiangTBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sebd/JiangTBM06,
author = {Lei Jiang and
Thodoros Topaloglou and
Alexander Borgida and
John Mylopoulos},
editor = {Valeria De Antonellis and
Claudia Diamantini and
Paolo Tiberio},
title = {Incorporating Goal Analysis in Database Design: {A} Case Study from
Biological Data Management},
booktitle = {Proceedings of the Fourteenth Italian Symposium on Advanced Database
Systems, {SEBD} 2006, Portonovo (Ancona), Italy, 18-21 June 2006},
pages = {14--19},
year = {2006},
timestamp = {Thu, 12 Jul 2018 08:14:41 +0200},
biburl = {https://dblp.org/rec/conf/sebd/JiangTBM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/06/MylopoulosB06,
author = {John Mylopoulos and
Alexander Borgida},
editor = {Peter Bernus and
Kai Mertins and
G{\"{u}}nter Schmidt},
title = {Properties of Information Modeling Techniques for Information Systems
Engineering},
booktitle = {Handbook on Architectures of Information Systems},
series = {International handbooks on information systems},
pages = {17--58},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-26661-5\_2},
doi = {10.1007/3-540-26661-5\_2},
timestamp = {Wed, 17 Jul 2019 12:32:00 +0200},
biburl = {https://dblp.org/rec/books/sp/06/MylopoulosB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apweb/BorgidaM05,
author = {Alexander Borgida and
John Mylopoulos},
editor = {Yanchun Zhang and
Katsumi Tanaka and
Jeffrey Xu Yu and
Shan Wang and
Minglu Li},
title = {Databases and the Semantic Web: Data Semantics Revisited},
booktitle = {Web Technologies Research and Development - APWeb 2005, 7th Asia-Pacific
Web Conference, Shanghai, China, March 29 - April 1, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3399},
pages = {1},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31849-1\_1},
doi = {10.1007/978-3-540-31849-1\_1},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/apweb/BorgidaM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaWH05,
author = {Alexander Borgida and
Thomas J. Walsh and
Haym Hirsh},
editor = {Ian Horrocks and
Ulrike Sattler and
Frank Wolter},
title = {Towards Measuring Similarity 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/25-BorgidaEtAl.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaWH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/SerafiniBT05,
author = {Luciano Serafini and
Alexander Borgida and
Andrei Tamilin},
editor = {Leslie Pack Kaelbling and
Alessandro Saffiotti},
title = {Aspects of Distributed and Modular Ontology Reasoning},
booktitle = {IJCAI-05, Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence, Edinburgh, Scotland, UK, July 30 - August
5, 2005},
pages = {570--575},
publisher = {Professional Book Center},
year = {2005},
url = {http://ijcai.org/Proceedings/05/Papers/0801.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:29 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/SerafiniBT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/otm/AnBM05,
author = {Yuan An and
Alexander Borgida and
John Mylopoulos},
editor = {Robert Meersman and
Zahir Tari and
Mohand{-}Said Hacid and
John Mylopoulos and
Barbara Pernici and
{\"{O}}zalp Babaoglu and
Hans{-}Arno Jacobsen and
Joseph P. Loyall and
Michael Kifer and
Stefano Spaccapietra},
title = {Inferring Complex Semantic Mappings Between Relational Tables and
Ontologies from Simple Correspondences},
booktitle = {On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and
ODBASE, {OTM} Confederated International Conferences, CoopIS, DOA,
and {ODBASE} 2005, Agia Napa, Cyprus, October 31 - November 4, 2005,
Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {3761},
pages = {1152--1169},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11575801\_15},
doi = {10.1007/11575801\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/otm/AnBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AnBM05,
author = {Yuan An and
Alexander Borgida and
John Mylopoulos},
editor = {Yolanda Gil and
Enrico Motta and
V. Richard Benjamins and
Mark A. Musen},
title = {Constructing Complex Semantic Mappings Between {XML} Data and Ontologies},
booktitle = {The Semantic Web - {ISWC} 2005, 4th International Semantic Web Conference,
{ISWC} 2005, Galway, Ireland, November 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3729},
pages = {6--20},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11574620\_4},
doi = {10.1007/11574620\_4},
timestamp = {Tue, 07 Sep 2021 13:47:46 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AnBM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/BorgidaM04,
author = {Alexander Borgida and
John Mylopoulos},
editor = {Christoph Bussler and
Val Tannen and
Irini Fundulaki},
title = {Data Semantics Revisited},
booktitle = {Semantic Web and Databases, Second International Workshop, {SWDB}
2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers},
volume = {3372},
pages = {9--26},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31839-2\_2},
doi = {10.1007/978-3-540-31839-2\_2},
timestamp = {Tue, 30 May 2017 16:36:52 +0200},
biburl = {https://dblp.org/rec/conf/semweb/BorgidaM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/AnBM04,
author = {Yuan An and
Alexander Borgida and
John Mylopoulos},
editor = {Christoph Bussler and
Val Tannen and
Irini Fundulaki},
title = {Refining Semantic Mappings from Relational Tables to Ontologies},
booktitle = {Semantic Web and Databases, Second International Workshop, {SWDB}
2004, Toronto, Canada, August 29-30, 2004, Revised Selected Papers},
volume = {3372},
pages = {84--90},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-31839-2\_7},
doi = {10.1007/978-3-540-31839-2\_7},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/semweb/AnBM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jods/BorgidaS03,
author = {Alexander Borgida and
Luciano Serafini},
title = {Distributed Description Logics: Assimilating Information from Peer
Sources},
journal = {J. Data Semant.},
volume = {1},
pages = {153--184},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39733-5\_7},
doi = {10.1007/978-3-540-39733-5\_7},
timestamp = {Wed, 16 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jods/BorgidaS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/semweb/KashyapB03,
author = {Vipul Kashyap and
Alexander Borgida},
editor = {Dieter Fensel and
Katia P. Sycara and
John Mylopoulos},
title = {Representing the {UMLS} Semantic Network Using {OWL:} (Or "What's
in a Semantic Web Link?")},
booktitle = {The Semantic Web - {ISWC} 2003, Second International Semantic Web
Conference, Sanibel Island, FL, USA, October 20-23, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2870},
pages = {1--16},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39718-2\_1},
doi = {10.1007/978-3-540-39718-2\_1},
timestamp = {Tue, 07 Sep 2021 13:48:16 +0200},
biburl = {https://dblp.org/rec/conf/semweb/KashyapB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dlog/BorgidaB03,
author = {Alexander Borgida and
Ronald J. Brachman},
editor = {Franz Baader and
Diego Calvanese and
Deborah L. McGuinness and
Daniele Nardi and
Peter F. Patel{-}Schneider},
title = {Conceptual Modeling with Description Logics},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
pages = {349--372},
publisher = {Cambridge University Press},
year = {2003},
timestamp = {Mon, 20 Nov 2017 13:02:05 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaB03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/dlog/BorgidaLR03,
author = {Alexander Borgida and
Maurizio Lenzerini and
Riccardo Rosati},
editor = {Franz Baader and
Diego Calvanese and
Deborah L. McGuinness and
Daniele Nardi and
Peter F. Patel{-}Schneider},
title = {Description Logics for Databases},
booktitle = {The Description Logic Handbook: Theory, Implementation, and Applications},
pages = {462--484},
publisher = {Cambridge University Press},
year = {2003},
timestamp = {Thu, 02 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaLR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Borgida02,
author = {Alexander Borgida},
title = {Being Logical About Desert Island Reading},
journal = {Autom. Softw. Eng.},
volume = {9},
number = {2},
pages = {187--191},
year = {2002},
url = {https://doi.org/10.1023/A:1014586430900},
doi = {10.1023/A:1014586430900},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/Borgida02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coopis/BorgidaS02,
author = {Alexander Borgida and
Luciano Serafini},
editor = {Robert Meersman and
Zahir Tari},
title = {Distributed Description Logics: Directed Domain Correspondences in
Federated Information Sources},
booktitle = {On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE
2002 Confederated International Conferences DOA, CoopIS and {ODBASE}
2002 Irvine, California, USA, October 30 - November 1, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2519},
pages = {36--53},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36124-3\_3},
doi = {10.1007/3-540-36124-3\_3},
timestamp = {Thu, 14 Oct 2021 10:25:23 +0200},
biburl = {https://dblp.org/rec/conf/coopis/BorgidaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaS02,
author = {Alexander Borgida and
Luciano Serafini},
editor = {Ian Horrocks and
Sergio Tessaris},
title = {Distributed Description Logics: First results},
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/borgida.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/2002,
editor = {Alexander Borgida and
Diego Calvanese and
Laurence Cholvy and
Marie{-}Christine Rousset},
title = {Proceedings of the 9th International Workshop on Knowledge Representation
meets Databases {(KRDB} 2002), Toulouse France, April 21, 2002},
series = {{CEUR} Workshop Proceedings},
volume = {54},
publisher = {CEUR-WS.org},
year = {2002},
url = {https://ceur-ws.org/Vol-54},
urn = {urn:nbn:de:0074-54-6},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KustersB01,
author = {Ralf K{\"{u}}sters and
Alexander Borgida},
title = {What's in an Attribute? Consequences for the Least Common Subsumer},
journal = {J. Artif. Intell. Res.},
volume = {14},
pages = {167--203},
year = {2001},
url = {https://doi.org/10.1613/jair.702},
doi = {10.1613/JAIR.702},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KustersB01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgida01,
author = {Alexander Borgida},
editor = {Carole A. Goble and
Deborah L. McGuinness and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Diachronic Description Logics},
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/Borgida-106start.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgida01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/MurataB00,
author = {Takahiro Murata and
Alexander Borgida},
title = {Handling of Irregularities in Human Centered Systems: {A} Unified
Framework for Data and Processes},
journal = {{IEEE} Trans. Software Eng.},
volume = {26},
number = {10},
pages = {959--977},
year = {2000},
url = {https://doi.org/10.1109/32.879819},
doi = {10.1109/32.879819},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/MurataB00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaK00,
author = {Alexander Borgida and
Ralf K{\"{u}}sters},
editor = {Franz Baader and
Ulrike Sattler},
title = {What's not in a name: Some Properties of a Purely Structural Approach
to Integrating Large {DL} Knowledge Bases},
booktitle = {Proceedings of the 2000 International Workshop on Description Logics
(DL2000), Aachen, Germany, August 17-19, 2000},
series = {{CEUR} Workshop Proceedings},
volume = {33},
pages = {65--78},
publisher = {CEUR-WS.org},
year = {2000},
url = {https://ceur-ws.org/Vol-33/Borgida65-78.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/BorgidaFH00,
author = {Alexander Borgida and
Enrico Franconi and
Ian Horrocks},
editor = {Werner Horn},
title = {Explaining {ALC} Subsumption},
booktitle = {{ECAI} 2000, Proceedings of the 14th European Conference on Artificial
Intelligence, Berlin, Germany, August 20-25, 2000},
pages = {209--213},
publisher = {{IOS} Press},
year = {2000},
timestamp = {Tue, 12 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/BorgidaFH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lmo/Borgida00,
author = {Alexander Borgida},
editor = {Christophe Dony and
Houari A. Sahraoui},
title = {Lightweight Semantics For Shared Object-oriented Software},
booktitle = {Actes des journ{\'{e}}es Langages et Mod{\`{e}}les {\`{a}} Objets,
LMO'2000. Mont Saint-Hilaire, Qu{\'{e}}bec, Canada, 25-28 janvier},
pages = {243},
publisher = {Herm{\`{e}}s},
year = {2000},
timestamp = {Thu, 05 Jul 2018 08:01:55 +0200},
biburl = {https://dblp.org/rec/conf/lmo/Borgida00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BrachmanMPB99,
author = {Ronald J. Brachman and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider and
Alexander Borgida},
title = {"Reducing" {CLASSIC} to Practice: Knowledge Representation
Theory Meets Reality},
journal = {Artif. Intell.},
volume = {114},
number = {1-2},
pages = {203--237},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00078-8},
doi = {10.1016/S0004-3702(99)00078-8},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BrachmanMPB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/Borgida99,
author = {Alexander Borgida},
title = {Extensible Knowledge Representation: the Case of Description Reasoners},
journal = {J. Artif. Intell. Res.},
volume = {10},
pages = {399--434},
year = {1999},
url = {https://doi.org/10.1613/jair.584},
doi = {10.1613/JAIR.584},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/Borgida99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BaaderKBM99,
author = {Franz Baader and
Ralf K{\"{u}}sters and
Alexander Borgida and
Deborah L. McGuinness},
title = {Matching in Description Logics},
journal = {J. Log. Comput.},
volume = {9},
number = {3},
pages = {411--447},
year = {1999},
url = {https://doi.org/10.1093/logcom/9.3.411},
doi = {10.1093/LOGCOM/9.3.411},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/BaaderKBM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaFHMP99,
author = {Alexander Borgida and
Enrico Franconi and
Ian Horrocks and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Explaining {ALC} Subsumption},
booktitle = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22/borgida.ps},
timestamp = {Fri, 10 Mar 2023 16:23:16 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaFHMP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BorgidaD99,
author = {Alexander Borgida and
Premkumar T. Devanbu},
editor = {Barry W. Boehm and
David Garlan and
Jeff Kramer},
title = {Adding more "DL" to {IDL:} Towards More Knowledgeable Component
Inter-Operability},
booktitle = {Proceedings of the 1999 International Conference on Software Engineering,
ICSE' 99, Los Angeles, CA, USA, May 16-22, 1999},
pages = {378--387},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/302405.302660},
doi = {10.1145/302405.302660},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/BorgidaD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wacc/BorgidaM99,
author = {Alexander Borgida and
Takahiro Murata},
title = {Tolerating exceptions in workflows: a unified framework for data and
processes},
booktitle = {Proceedings of the international joint conference on Work activities
coordination and collaboration 1999, San Francisco, California, USA,
February 22-25, 1999},
pages = {59--68},
publisher = {{ACM}},
year = {1999},
url = {https://doi.org/10.1145/295665.295673},
doi = {10.1145/295665.295673},
timestamp = {Tue, 27 Jul 2021 17:16:40 +0200},
biburl = {https://dblp.org/rec/conf/wacc/BorgidaM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/dlog/1999,
editor = {Patrick Lambrix and
Alexander Borgida and
Maurizio Lenzerini and
Ralf M{\"{o}}ller and
Peter F. Patel{-}Schneider},
title = {Proceedings of the 1999 International Workshop on Description Logics
(DL'99), Link{\"{o}}ping, Sweden, July 30 - August 1, 1999},
series = {{CEUR} Workshop Proceedings},
volume = {22},
publisher = {CEUR-WS.org},
year = {1999},
url = {https://ceur-ws.org/Vol-22},
urn = {urn:nbn:de:0074-22-9},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dlog/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmod/BorgidaCS98,
author = {Alexander Borgida and
Vinay K. Chaudhri and
Martin Staudt},
title = {{KRDB} '98: The 5th International Workshop on Knowledge Representation
Meets Databases},
journal = {{SIGMOD} Rec.},
volume = {27},
number = {3},
pages = {10--15},
year = {1998},
url = {https://doi.org/10.1145/290593.290595},
doi = {10.1145/290593.290595},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigmod/BorgidaCS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BaaderBM98,
author = {Franz Baader and
Alexander Borgida and
Deborah L. McGuinness},
editor = {Enrico Franconi and
Giuseppe De Giacomo and
Robert M. MacGregor and
Werner Nutt and
Christopher A. Welty},
title = {Matching in Description Logics: Preliminary Results},
booktitle = {Proceedings of the 1998 International Workshop on Description Logics
(DL'98), IRST, Povo - Trento, Italy, June 6-8, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {11},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-11/BaBoMc.ps},
timestamp = {Fri, 10 Mar 2023 16:23:17 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BaaderBM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccs/BaaderBM98,
author = {Franz Baader and
Alexander Borgida and
Deborah L. McGuinness},
editor = {Marie{-}Laure Mugnier and
Michel Chein},
title = {Matching in Description Logics: Preliminary Results},
booktitle = {Conceptual Structures: Theory, Tools and Applications, 6th International
Conference on Conceptual Structures, {ICCS} '98, Montpellier, France,
August 10-12, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1453},
pages = {15--34},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054902},
doi = {10.1007/BFB0054902},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/iccs/BaaderBM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/krdb/98,
editor = {Alexander Borgida and
Vinay K. Chaudhri and
Martin Staudt},
title = {Proceedings of the 5th International Workshop on Knowledge Represenation
Meets Databases {(KRDB} '98): Innovative Application Programming and
Query Interfaces, Seattle, Washington, USA, May 31, 1998},
series = {{CEUR} Workshop Proceedings},
volume = {10},
publisher = {CEUR-WS.org},
year = {1998},
url = {https://ceur-ws.org/Vol-10},
urn = {urn:nbn:de:0074-10-0},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/krdb/98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MylopoulosBY97,
author = {John Mylopoulos and
Alexander Borgida and
Eric S. K. Yu},
title = {Representing Software Engineering Knowledge},
journal = {Autom. Softw. Eng.},
volume = {4},
number = {3},
pages = {291--317},
year = {1997},
url = {https://doi.org/10.1023/A:1008627026003},
doi = {10.1023/A:1008627026003},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ase/MylopoulosBY97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgida97,
author = {Alexander Borgida},
editor = {Ronald J. Brachman and
Francesco M. Donini and
Enrico Franconi and
Ian Horrocks and
Alon Y. Levy and
Marie{-}Christine Rousset},
title = {Incremental Individual Reasoning in ProtoDL},
booktitle = {Proceedings of the 1997 International Workshop on Description Logics,
Universit{\'{e}} Paris-Sud, Centre d'Orsay, Laboratoire de Recherche
en Informatique LRI, France},
series = {{URA-CNRS}},
volume = {410},
year = {1997},
url = {http://dl.kr.org/dl97/proceedings/borgida.ps.gz},
timestamp = {Tue, 12 Apr 2022 14:46:29 +0200},
biburl = {https://dblp.org/rec/conf/dlog/Borgida97.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/ai/Borgida96,
author = {Alexander Borgida},
title = {On the Relative Expressiveness of Description Logics and Predicate
Logics},
journal = {Artif. Intell.},
volume = {82},
number = {1-2},
pages = {353--367},
year = {1996},
url = {https://doi.org/10.1016/0004-3702(96)00004-5},
doi = {10.1016/0004-3702(96)00004-5},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Borgida96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaM96,
author = {Alexander Borgida and
Deborah L. McGuinness},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Asking Queries about Frames},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {15--24},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Fri, 05 Mar 2004 14:36:40 +0100},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/BorgidaIM96,
author = {Alexander Borgida and
Charles L. Isbell Jr. and
Deborah L. McGuinness},
editor = {Lin Padgham and
Enrico Franconi and
Manfred Gehrke and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider},
title = {Reasoning with Black Boxes: Handling Test Concepts in {CLASSIC}},
booktitle = {Proceedings of the 1996 International Workshop on Description Logics,
November 2-4, 1996, Cambridge, MA, {USA}},
series = {{AAAI} Technical Report},
volume = {{WS-96-05}},
pages = {87--91},
publisher = {{AAAI} Press},
year = {1996},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dlog/BorgidaIM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgidaM96,
author = {Alexander Borgida and
Deborah L. McGuinness},
editor = {Luigia Carlucci Aiello and
Jon Doyle and
Stuart C. Shapiro},
title = {Asking Queries about Frames},
booktitle = {Proceedings of the Fifth International Conference on Principles of
Knowledge Representation and Reasoning (KR'96), Cambridge, Massachusetts,
USA, November 5-8, 1996},
pages = {340--349},
publisher = {Morgan Kaufmann},
year = {1996},
timestamp = {Fri, 18 May 2012 15:03:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/BorgidaM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tkde/Borgida95,
author = {Alexander Borgida},
title = {Description Logics in Data Management},
journal = {{IEEE} Trans. Knowl. Data Eng.},
volume = {7},
number = {5},
pages = {671--682},
year = {1995},
url = {https://doi.org/10.1109/69.469829},
doi = {10.1109/69.469829},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tkde/Borgida95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BorgidaMR95,
author = {Alexander Borgida and
John Mylopoulos and
Raymond Reiter},
title = {On the Frame Problem in Procedure Specifications},
journal = {{IEEE} Trans. Software Eng.},
volume = {21},
number = {10},
pages = {785--798},
year = {1995},
url = {https://doi.org/10.1109/32.469460},
doi = {10.1109/32.469460},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/BorgidaMR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/McGuinnessB95,
author = {Deborah L. McGuinness and
Alexander Borgida},
title = {Explaining Subsumption in Description Logics},
booktitle = {Proceedings of the Fourteenth International Joint Conference on Artificial
Intelligence, {IJCAI} 95, Montr{\'{e}}al Qu{\'{e}}bec, Canada,
August 20-25 1995, 2 Volumes},
pages = {816--821},
publisher = {Morgan Kaufmann},
year = {1995},
url = {http://ijcai.org/Proceedings/95-1/Papers/105.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:30 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/McGuinnessB95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/BorgidaP94,
author = {Alexander Borgida and
Peter F. Patel{-}Schneider},
title = {A Semantics and Complete Algorithm for Subsumption in the {CLASSIC}
Description Logic},
journal = {J. Artif. Intell. Res.},
volume = {1},
pages = {277--308},
year = {1994},
url = {https://doi.org/10.1613/jair.56},
doi = {10.1613/JAIR.56},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/BorgidaP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/Borgida94,
author = {Alexander Borgida},
title = {On The Relationship Between Description Logic and Predicate Logic},
booktitle = {Proceedings of the Third International Conference on Information and
Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November
29 - December 2, 1994},
pages = {219--225},
publisher = {{ACM}},
year = {1994},
url = {https://doi.org/10.1145/191246.191283},
doi = {10.1145/191246.191283},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/Borgida94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GreenspanMB94,
author = {Sol J. Greenspan and
John Mylopoulos and
Alexander Borgida},
editor = {Bruno Fadini and
Leon J. Osterweil and
Axel van Lamsweerde},
title = {On Formal Requirements Modeling Languages: {RML} Revisited},
booktitle = {Proceedings of the 16th International Conference on Software Engineering,
Sorrento, Italy, May 16-21, 1994},
pages = {135--147},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1994},
url = {http://portal.acm.org/citation.cfm?id=257734.257754},
timestamp = {Mon, 14 May 2012 18:17:12 +0200},
biburl = {https://dblp.org/rec/conf/icse/GreenspanMB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorgidaP94,
author = {Alexander Borgida and
Peter F. Patel{-}Schneider},
title = {A Semantics and Complete Algorithm for Subsumption in the {CLASSIC}
Description Logic},
journal = {CoRR},
volume = {abs/cs/9406101},
year = {1994},
url = {http://arxiv.org/abs/cs/9406101},
eprinttype = {arXiv},
eprint = {cs/9406101},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorgidaP94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/BorgidaMR93,
author = {Alexander Borgida and
John Mylopoulos and
Raymond Reiter},
editor = {Victor R. Basili and
Richard A. DeMillo and
Takuya Katayama},
title = {"...And Nothing Else Changes": The Frame Problem in Procedure
Specifications},
booktitle = {Proceedings of the 15th International Conference on Software Engineering,
Baltimore, Maryland, USA, May 17-21, 1993},
pages = {303--314},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1993},
url = {http://portal.acm.org/citation.cfm?id=257572.257636},
timestamp = {Mon, 14 May 2012 18:17:27 +0200},
biburl = {https://dblp.org/rec/conf/icse/BorgidaMR93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BorgidaB93,
author = {Alexander Borgida and
Ronald J. Brachman},
editor = {Peter Buneman and
Sushil Jajodia},
title = {Loading Data into Description Reasoners},
booktitle = {Proceedings of the 1993 {ACM} {SIGMOD} International Conference on
Management of Data, Washington, DC, USA, May 26-28, 1993},
pages = {217--226},
publisher = {{ACM} Press},
year = {1993},
url = {https://doi.org/10.1145/170035.170073},
doi = {10.1145/170035.170073},
timestamp = {Thu, 11 Mar 2021 15:20:15 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BorgidaB93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcis/Borgida92,
author = {Alexander Borgida},
title = {From Type Systems to Knowledge Representation: Natural Semantics Specifications
for Description Logics},
journal = {Int. J. Cooperative Inf. Syst.},
volume = {1},
number = {1},
pages = {93--126},
year = {1992},
url = {https://doi.org/10.1142/S0218215792000052},
doi = {10.1142/S0218215792000052},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcis/Borgida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/BorgidaJ92,
author = {Alexander Borgida and
Matthias Jarke},
title = {Knowledge Representation and Reasoning in Software Engineering},
journal = {{IEEE} Trans. Software Eng.},
volume = {18},
number = {6},
pages = {449--450},
year = {1992},
url = {http://doi.ieeecomputersociety.org/10.1109/TSE.1992.10001},
doi = {10.1109/TSE.1992.10001},
timestamp = {Thu, 10 Dec 2015 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tse/BorgidaJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/CohenBH92,
author = {William W. Cohen and
Alexander Borgida and
Haym Hirsh},
editor = {William R. Swartout},
title = {Computing Least Common Subsumers in Description Logics},
booktitle = {Proceedings of the 10th National Conference on Artificial Intelligence,
San Jose, CA, USA, July 12-16, 1992},
pages = {754--760},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1992},
url = {http://www.aaai.org/Library/AAAI/1992/aaai92-117.php},
timestamp = {Mon, 04 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/CohenBH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dlog/Borgida92,
author = {Alexander Borgida},
editor = {Robert M. MacGregor and
Deborah L. McGuinness and
Eric Mays and
Thomas A. Russ},
title = {Structural Subsumption: What Is It and Why Is It Important?},
booktitle = {Issues in Description Logics: Users Meet Developers, Boston, MA, USA,
October 1992},
series = {{AAAI} Fall Symposium Series},
pages = {14--18},
publisher = {{AAAI} Press},
year = {1992},
timestamp = {Wed, 10 Mar 2004 15:26:01 +0100},
biburl = {https://dblp.org/rec/conf/dlog/Borgida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/BrachmanBMPR92,
author = {Ronald J. Brachman and
Alexander Borgida and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider and
Lori Alperin Resnick},
title = {The {CLASSIC} Knowledge Representation System or, {KL-ONE:} The Next
Generation},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {1036--1043},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/BrachmanBMPR92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/BorgidaD92,
author = {Alexander Borgida and
Premkumar T. Devanbu},
editor = {Friedrich H. Vogt},
title = {Knowledge Base Management Systems using Description Logics and Their
Role in Software Information Systems},
booktitle = {Personal Computers and Intelligent Systems - Information Processing
'92, Volume 3, Proceedings of the {IFIP} 12th World Computer Congress,
Madrid, Spain, 7-11 September 1992},
series = {{IFIP} Transactions},
volume = {{A-14}},
pages = {171--181},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 14 Aug 2002 09:04:44 +0200},
biburl = {https://dblp.org/rec/conf/ifip/BorgidaD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/Borgida92,
author = {Alexander Borgida},
editor = {Bernhard Nebel and
Charles Rich and
William R. Swartout},
title = {Towards the Systematic Development of Description Logic Reasoners:
{CLASP} Reconstructed},
booktitle = {Proceedings of the 3rd International Conference on Principles of Knowledge
Representation and Reasoning (KR'92). Cambridge, MA, USA, October
25-29, 1992},
pages = {259--269},
publisher = {Morgan Kaufmann},
year = {1992},
timestamp = {Fri, 22 Jun 2018 07:35:19 +0200},
biburl = {https://dblp.org/rec/conf/kr/Borgida92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigart/Patel-SchneiderMB91,
author = {Peter F. Patel{-}Schneider and
Deborah L. McGuinness and
Alexander Borgida},
title = {The {CLASSIC} Knowledge Representation System: Guiding Principles
and Implementation Rationale},
journal = {{SIGART} Bull.},
volume = {2},
number = {3},
pages = {108--113},
year = {1991},
url = {https://doi.org/10.1145/122296.122313},
doi = {10.1145/122296.122313},
timestamp = {Tue, 19 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigart/Patel-SchneiderMB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/91/BrachmanMPRB91,
author = {Ronald J. Brachman and
Deborah L. McGuinness and
Peter F. Patel{-}Schneider and
Lori Alperin Resnick and
Alexander Borgida},
editor = {John F. Sowa},
title = {Living wiht Classic: When and How to Use a KL-ONE-Like Language},
booktitle = {Principles of Semantic Networks - Explorations in the Representation
of Knowledge},
series = {The Morgan Kaufmann Series in representation and reasoning},
pages = {401--456},
publisher = {Morgan Kaufmann},
year = {1991},
url = {https://doi.org/10.1016/B978-1-4832-0771-1.50022-9},
doi = {10.1016/B978-1-4832-0771-1.50022-9},
timestamp = {Fri, 17 Jul 2020 16:12:40 +0200},
biburl = {https://dblp.org/rec/books/el/91/BrachmanMPRB91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tois/MylopoulosBJKT90,
author = {John Mylopoulos and
Alexander Borgida and
Matthias Jarke and
Manolis Koubarakis},
title = {Telos: Representing Knowledge About Information Systems},
journal = {{ACM} Trans. Inf. Syst.},
volume = {8},
number = {4},
pages = {325--362},
year = {1990},
url = {https://doi.org/10.1145/102675.102676},
doi = {10.1145/102675.102676},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tois/MylopoulosBJKT90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/er/Borgida90,
author = {Alexander Borgida},
editor = {Hannu Kangassalo},
title = {Knowledge Representation, Semantic Data Modelling: What's the Difference?},
booktitle = {Proceedings of the 9th International Conference on Entity-Relationship
Approach (ER'90), 8-10 October, 1990, Lausanne, Switzerland},
pages = {1},
publisher = {{ER} Institute},
year = {1990},
timestamp = {Tue, 18 Sep 2012 13:58:14 +0200},
biburl = {https://dblp.org/rec/conf/er/Borgida90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/SchmidtWBM89,
author = {Joachim W. Schmidt and
Ingrid Wetzel and
Alexander Borgida and
John Mylopoulos},
title = {Database Programming by Formal Refinement of Conceptual Designs},
journal = {{IEEE} Data Eng. Bull.},
volume = {12},
number = {3},
pages = {53--61},
year = {1989},
url = {http://sites.computer.org/debull/89SEP-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/SchmidtWBM89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dbpl/BorgidaMSW89,
author = {Alexander Borgida and
John Mylopoulos and
Joachim W. Schmidt and
Ingrid Wetzel},
editor = {Richard Hull and
Ronald Morrison and
David W. Stemple},
title = {Support for Data-Intensive Applications: Conceptual Design and Software
Development},
booktitle = {Proceedings of the Second International Workshop on Database Programming
Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon,
{USA}},
pages = {258--280},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Wed, 20 Jun 2018 17:19:07 +0200},
biburl = {https://dblp.org/rec/conf/dbpl/BorgidaMSW89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/EtheringtonBBK89,
author = {David W. Etherington and
Alexander Borgida and
Ronald J. Brachman and
Henry A. Kautz},
editor = {N. S. Sridharan},
title = {Vivid Knowledge and Tractable Reasoning},
booktitle = {Proceedings of the 11th International Joint Conference on Artificial
Intelligence. Detroit, MI, USA, August 1989},
pages = {1146--1152},
publisher = {Morgan Kaufmann},
year = {1989},
url = {http://ijcai.org/Proceedings/89-2/Papers/048.pdf},
timestamp = {Tue, 20 Aug 2019 16:17:51 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/EtheringtonBBK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/BorgidaE89,
author = {Alexander Borgida and
David W. Etherington},
editor = {Ronald J. Brachman and
Hector J. Levesque and
Raymond Reiter},
title = {Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning},
booktitle = {Proceedings of the 1st International Conference on Principles of Knowledge
Representation and Reasoning (KR'89). Toronto, Canada, May 15-18 1989},
pages = {33--43},
publisher = {Morgan Kaufmann},
year = {1989},
timestamp = {Fri, 18 May 2012 15:03:01 +0200},
biburl = {https://dblp.org/rec/conf/kr/BorgidaE89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pods/Borgida89,
author = {Alexander Borgida},
editor = {Avi Silberschatz},
title = {Type Systems for Querying Class Hierarchies with Non-strict Inheritance},
booktitle = {Proceedings of the Eighth {ACM} {SIGACT-SIGMOD-SIGART} Symposium on
Principles of Database Systems, March 29-31, 1989, Philadelphia, Pennsylvania,
{USA}},
pages = {394--400},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/73721.73759},
doi = {10.1145/73721.73759},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pods/Borgida89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BorgidaBMR89,
author = {Alexander Borgida and
Ronald J. Brachman and
Deborah L. McGuinness and
Lori Alperin Resnick},
editor = {James Clifford and
Bruce G. Lindsay and
David Maier},
title = {{CLASSIC:} {A} Structural Data Model for Objects},
booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
pages = {58--67},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/67544.66932},
doi = {10.1145/67544.66932},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/BorgidaBMR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/AgrawalBJ89,
author = {Rakesh Agrawal and
Alexander Borgida and
H. V. Jagadish},
editor = {James Clifford and
Bruce G. Lindsay and
David Maier},
title = {Efficient Management of Transitive Relationships in Large Data and
Knowledge Bases},
booktitle = {Proceedings of the 1989 {ACM} {SIGMOD} International Conference on
Management of Data, Portland, Oregon, USA, May 31 - June 2, 1989},
pages = {253--262},
publisher = {{ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/67544.66950},
doi = {10.1145/67544.66950},
timestamp = {Mon, 21 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/AgrawalBJ89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eds/MorgensternBLMW88,
author = {Matthew Morgenstern and
Alexander Borgida and
Catherine Lassez and
David Maier and
Gio Wiederhold},
editor = {Larry Kerschberg},
title = {Constraint-Based Systems: Knowledge About Data - Panel Report},
booktitle = {Expert Database Systems, Proceedings from the Second International
Conference, Vienna, Virginia, USA, April 25-27, 1988},
pages = {23--43},
publisher = {Benjamin/Cummings},
year = {1988},
timestamp = {Mon, 29 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/eds/MorgensternBLMW88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/Borgida88,
author = {Alexander Borgida},
editor = {Haran Boral and
Per{-}{\AA}ke Larson},
title = {Modeling Class Hierarchies with Contradictions},
booktitle = {Proceedings of the 1988 {ACM} {SIGMOD} International Conference on
Management of Data, Chicago, Illinois, USA, June 1-3, 1988},
pages = {434--443},
publisher = {{ACM} Press},
year = {1988},
url = {https://doi.org/10.1145/50202.50254},
doi = {10.1145/50202.50254},
timestamp = {Tue, 16 Aug 2022 23:04:20 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/Borgida88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bda/Borgida87,
author = {Alexander Borgida},
editor = {Michel E. Adiba},
title = {Exceptions dans les bases de donn{\'{e}}es},
booktitle = {Troisi{\`{e}}mes Journ{\'{e}}es Bases de Donn{\'{e}}es Avanc{\'{e}}es,
20-22 Mai 1987, Port-Camargue, France (Informal Proceedings)},
publisher = {{INRIA}},
year = {1987},
timestamp = {Fri, 22 Jun 2018 07:10:17 +0200},
biburl = {https://dblp.org/rec/conf/bda/Borgida87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/NixonCLBMS87,
author = {Brian A. Nixon and
Lawrence Chung and
David Lauzon and
Alexander Borgida and
John Mylopoulos and
Martin Stanley},
editor = {Umeshwar Dayal and
Irving L. Traiger},
title = {Implementation of a Compiler for a Semantic Data Model: Experiences
with Taxis},
booktitle = {Proceedings of the Association for Computing Machinery Special Interest
Group on Management of Data 1987 Annual Conference, San Francisco,
CA, USA, May 27-29, 1987},
pages = {118--131},
publisher = {{ACM} Press},
year = {1987},
url = {https://doi.org/10.1145/38713.38731},
doi = {10.1145/38713.38731},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/NixonCLBMS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/GreenspanBM86,
author = {Sol J. Greenspan and
Alexander Borgida and
John Mylopoulos},
title = {A requirements modeling language and its logic},
journal = {Inf. Syst.},
volume = {11},
number = {1},
pages = {9--23},
year = {1986},
url = {https://doi.org/10.1016/0306-4379(86)90020-7},
doi = {10.1016/0306-4379(86)90020-7},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/is/GreenspanBM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Borgida86,
author = {Alexander Borgida},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {Exceptions in object-oriented languages},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {107--119},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323749},
doi = {10.1145/323779.323749},
timestamp = {Wed, 30 Mar 2022 13:48:15 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Borgida86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/sigplan/Borgida86a,
author = {Alexander Borgida},
editor = {Peter Wegner and
Bruce D. Shriver},
title = {Can entity-based information systems live with exceptions? (abstract
only)},
booktitle = {Proceedings of the 1986 {SIGPLAN} Workshop on Object-Oriented Programming,
{OOPWORK} 1986, Yorktown Heights, New York, USA, June 9-13, 1986},
pages = {183},
publisher = {{ACM}},
year = {1986},
url = {https://doi.org/10.1145/323779.323759},
doi = {10.1145/323779.323759},
timestamp = {Wed, 30 Mar 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Borgida86a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/BorgidaGM85,
author = {Alexander Borgida and
Sol J. Greenspan and
John Mylopoulos},
title = {Knowledge Representation as the Basis for Requirements Specifications},
journal = {Computer},
volume = {18},
number = {4},
pages = {82--91},
year = {1985},
url = {https://doi.org/10.1109/MC.1985.1662870},
doi = {10.1109/MC.1985.1662870},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computer/BorgidaGM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/software/Borgida85,
author = {Alexander Borgida},
title = {Features of Languages for the Development of Information Systems at
the Conceptual Level},
journal = {{IEEE} Softw.},
volume = {2},
number = {1},
pages = {63--72},
year = {1985},
url = {https://doi.org/10.1109/MS.1985.230050},
doi = {10.1109/MS.1985.230050},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/software/Borgida85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tods/Borgida85,
author = {Alexander Borgida},
title = {Language Features for Flexible Handling of Exceptions in Information
Systems},
journal = {{ACM} Trans. Database Syst.},
volume = {10},
number = {4},
pages = {565--603},
year = {1985},
url = {https://doi.org/10.1145/4879.4995},
doi = {10.1145/4879.4995},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tods/Borgida85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Borgida85b,
author = {Alexander Borgida},
editor = {Malcolm P. Atkinson and
Peter Buneman and
Ronald Morrison},
title = {Class Hierarchies in Information Systems: Sets, Types, or Prototypes?},
booktitle = {Data Types and Persistence. Edited Papers from the Proceedings of
the First Workshop on Persistent Objects, Appin, Scotland, UK, August
1985},
series = {Topics in Information Systems},
pages = {137--154},
publisher = {Springer},
year = {1985},
timestamp = {Wed, 11 May 2022 08:53:26 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Borgida85b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/BorgidaMW85,
author = {Alexander Borgida and
Tom M. Mitchell and
Keith E. Williamson},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {Learning Improved Integrity Constraints and Schemes From Exceptions
in Data and Knowledge Bases},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {259--286},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/BorgidaMW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/NixonCLBMS85,
author = {Brian A. Nixon and
Lawrence Chung and
David Lauzon and
Alexander Borgida and
John Mylopoulos and
Martin Stanley},
editor = {Joachim W. Schmidt and
Costantino Thanos},
title = {Design of a Compiler for a Semantic Data Model},
booktitle = {Foundations of Knowledge Base Management: Contributions from Logic,
Databases, and Artificial Intelligence, Book resulting from the Xania
Workshop 1985},
series = {Topics in Information Systems},
pages = {293--343},
publisher = {Springer},
year = {1985},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/NixonCLBMS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/BorgidaJMSV85,
author = {Alexander Borgida and
Matthias Jarke and
John Mylopoulos and
Joachim W. Schmidt and
Yannis Vassiliou},
editor = {Joachim W. Schmidt and
Costantino Thanos},
title = {The Software Development Environment as a Knowledge Base Management
System},
booktitle = {Foundations of Knowledge Base Management: Contributions from Logic,
Databases, and Artificial Intelligence, Book resulting from the Xania
Workshop 1985},
series = {Topics in Information Systems},
pages = {411--442},
publisher = {Springer},
year = {1985},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/BorgidaJMSV85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Borgida85,
author = {Alexander Borgida},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {Conceptual Modeling of Information Systems},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {461--469},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Borgida85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/GreenspanBM85,
author = {Sol J. Greenspan and
Alexander Borgida and
John Mylopoulos},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {A Requirements Modeling Language and Its Logic},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {471--502},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/GreenspanBM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/Borgida85a,
author = {Alexander Borgida},
editor = {Michael L. Brodie and
John Mylopoulos},
title = {Languages and The Engineering of Large Knowledge Bases},
booktitle = {On Knowledge Base Management Systems: Integrating Artificial Intelligence
and Database Technologies, Book resulting from the Islamorada Workshop
1985 (Islamorada, FL, {USA)}},
series = {Topics in Information Systems},
pages = {503--505},
publisher = {Springer},
year = {1985},
timestamp = {Sat, 03 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/Borgida85a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BorgidaW85,
author = {Alexander Borgida and
Keith E. Williamson},
editor = {Alain Pirotte and
Yannis Vassiliou},
title = {Accommodating Exceptions in Databases, and Refining the Schema by
Learning from them},
booktitle = {VLDB'85, Proceedings of 11th International Conference on Very Large
Data Bases, August 21-23, 1985, Stockholm, Sweden},
pages = {72--81},
publisher = {Morgan Kaufmann},
year = {1985},
url = {http://www.vldb.org/conf/1985/P072.PDF},
timestamp = {Sat, 30 Dec 2017 02:38:03 +0100},
biburl = {https://dblp.org/rec/conf/vldb/BorgidaW85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wi/BorgidaGM85,
author = {Alexander Borgida and
Sol J. Greenspan and
John Mylopoulos},
editor = {Wilfried Brauer and
Bernd Radig},
title = {Knowledge Reperesentation as the Basis for Requirements Specification
(Reprint)},
booktitle = {Wissensbasierte Systeme, 1. Internationaler GI-Kongress, M{\"{u}}nchen,
28.-29. Oktober 1985, Proceedings},
series = {Informatik-Fachberichte},
volume = {112},
pages = {152--169},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/978-3-642-70840-4\_13},
doi = {10.1007/978-3-642-70840-4\_13},
timestamp = {Wed, 24 May 2017 08:29:35 +0200},
biburl = {https://dblp.org/rec/conf/wi/BorgidaGM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pos/Borgida85,
author = {Alexander Borgida},
editor = {Malcolm P. Atkinson and
Peter Buneman and
Ronald Morrison},
title = {Accomodating Exceptions to (Type) Constraints in Information Systems
- a position paper},
booktitle = {Data Types and Persistence, Informal Proceedings of the First Workshop
on Persistent Objects, Appin, Scotland, UK, August 1985},
pages = {265--271},
year = {1985},
timestamp = {Wed, 11 May 2022 08:53:26 +0200},
biburl = {https://dblp.org/rec/conf/pos/Borgida85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/debu/MylopoulosBGW84,
author = {John Mylopoulos and
Alexander Borgida and
Sol J. Greenspan and
Harry K. T. Wong},
title = {Information System Design at the Conceptual Level - The Taxis Project},
journal = {{IEEE} Database Eng. Bull.},
volume = {7},
number = {4},
pages = {4--9},
year = {1984},
url = {http://sites.computer.org/debull/84DEC-CD.pdf},
timestamp = {Tue, 10 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/debu/MylopoulosBGW84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nmr/BorgidaI84,
author = {Alexander Borgida and
Tomasz Imielinski},
title = {Decision Making in Commitees - {A} Framework for Dealing with Inconsistency
and Non-Monotonicity},
booktitle = {Proceedings of the Non-Monotonic Reasoning Workshop, Mohonk Mountain
House, New Paltz, {NY} 12561, USA, October 17-19, 1984},
pages = {21--32},
publisher = {American Association for Artificial Intelligence {(AAAI)}},
year = {1984},
timestamp = {Fri, 22 Jun 2018 07:50:32 +0200},
biburl = {https://dblp.org/rec/conf/nmr/BorgidaI84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sde/MinskyB84,
author = {Naftaly H. Minsky and
Alexander Borgida},
editor = {William E. Riddle and
Peter B. Henderson},
title = {The Darwin Software-Developemnt-Environemnt for Evolving Systems},
booktitle = {Proceedings of the {ACM} {SIGSOFT/SIGPLAN} Software Engineering Symposium
on Practical Software Development Environments, Pittsburgh, Pennsylvania,
USA, April 23-25, 1984},
pages = {89--95},
publisher = {{ACM}},
year = {1984},
url = {https://doi.org/10.1145/800020.808253},
doi = {10.1145/800020.808253},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/sde/MinskyB84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Borgida83,
author = {Alexander Borgida},
title = {Some Formal Results about Stratificational Grammars and Their Relevance
to Linguistics},
journal = {Math. Syst. Theory},
volume = {16},
number = {1},
pages = {29--56},
year = {1983},
url = {https://doi.org/10.1007/BF01744567},
doi = {10.1007/BF01744567},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/Borgida83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/db-workshops/BorgidaMW82,
author = {Alexander Borgida and
John Mylopoulos and
Harry K. T. Wong},
editor = {Michael L. Brodie and
John Mylopoulos and
Joachim W. Schmidt},
title = {Generalization/Specialization as a Basis for Software Specification},
booktitle = {On Conceptual Modelling, Perspectives from Artificial Intelligence,
Databases, and Programming Languages, Book resulting from the Intervale
Workshop 1982},
series = {Topics in information systems},
pages = {87--117},
publisher = {Springer},
year = {1982},
timestamp = {Wed, 07 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/db-workshops/BorgidaMW82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/GreenspanMB82,
author = {Sol J. Greenspan and
John Mylopoulos and
Alexander Borgida},
editor = {Yutaka Ohno and
Victor R. Basili and
Hajime Enomoto and
Koji Kobayashi and
Raymond T. Yeh},
title = {Capturing More World Knowledge in the Requirements Specification},
booktitle = {Proceedings, 6th International Conference on Software Engineering,
Tokyo, Japan, September 13-16, 1982},
pages = {225--235},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=807765},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/GreenspanMB82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/Borgida81,
author = {Alexander Borgida},
editor = {Patrick J. Hayes},
title = {On the Definition of Specialization Hierarchies for Procedures},
booktitle = {Proceedings of the 7th International Joint Conference on Artificial
Intelligence, {IJCAI} '81, Vancouver, BC, Canada, August 24-28, 1981},
pages = {254--256},
publisher = {William Kaufmann},
year = {1981},
url = {http://ijcai.org/Proceedings/81-1/Papers/051.pdf},
timestamp = {Tue, 20 Aug 2019 16:16:26 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/Borgida81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/BorgidaW81,
author = {Alexander Borgida and
Harry K. T. Wong},
title = {Data Models and Data Manipulation Languages: Complementary Semantics
and Proof Theory},
booktitle = {Very Large Data Bases, 7th International Conference, September 9-11,
1981, Cannes, France, Proceedings},
pages = {260--271},
publisher = {{IEEE} Computer Society},
year = {1981},
timestamp = {Wed, 29 Mar 2017 16:45:22 +0200},
biburl = {https://dblp.org/rec/conf/vldb/BorgidaW81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/SmithRKHBC80,
author = {John Miles Smith and
Charles Rich and
Jonathan J. King and
Peter Hitchcock and
Alexander Borgida and
Jaime G. Carbonell},
editor = {Michael L. Brodie and
Stephen N. Zilles},
title = {Consistency of Models (discussion)},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual
Modelling, Pingree Park, Colorado, USA, June 23-26, 1980},
volume = {11},
number = {2},
pages = {72--76},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/800227.806879},
doi = {10.1145/800227.806879},
timestamp = {Tue, 03 Aug 2021 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/SmithRKHBC80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/BorgidaG80,
author = {Alexander Borgida and
Sol J. Greenspan},
editor = {Michael L. Brodie and
Stephen N. Zilles},
title = {Data and Activities: Exploiting Hierarchies of Classes},
booktitle = {Proceedings of the Workshop on Data Abstraction, Databases and Conceptual
Modelling, Pingree Park, Colorado, USA, June 23-26, 1980},
volume = {11},
number = {2},
pages = {98--100},
publisher = {{ACM} Press},
year = {1980},
url = {https://doi.org/10.1145/800227.806886},
doi = {10.1145/800227.806886},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigmod/BorgidaG80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ca/Borgida77,
author = {Alexander Borgida},
title = {Formal studies of stratificational grammars},
school = {University of Toronto, Canada},
year = {1977},
url = {https://librarysearch.library.utoronto.ca/permalink/01UTORONTO\_INST/14bjeso/alma991106500743706196},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ca/Borgida77.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/MylopoulosBCRTW76,
author = {John Mylopoulos and
Alexander Borgida and
Phil Cohen and
Nick Roussopoulos and
John K. Tsotsos and
Harry K. T. Wong},
title = {{TORUS:} a step towards bridging the gap between data bases and the
casual user},
journal = {Inf. Syst.},
volume = {2},
number = {2},
pages = {49--64},
year = {1976},
url = {https://doi.org/10.1016/0306-4379(76)90009-0},
doi = {10.1016/0306-4379(76)90009-0},
timestamp = {Mon, 25 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/MylopoulosBCRTW76.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/MylopoulosCBS75,
author = {John Mylopoulos and
Philip R. Cohen and
Alexander Borgida and
Laszlo Sugar},
title = {Semantic Networks and the Generation of Context},
booktitle = {Advance Papers of the Fourth International Joint Conference on Artificial
Intelligence, Tbilisi, Georgia, USSR, September 3-8, 1975},
pages = {134--142},
year = {1975},
url = {http://ijcai.org/Proceedings/75/Papers/019.pdf},
timestamp = {Tue, 25 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/MylopoulosCBS75.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-03-27 20:28 CET 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:
