Modeling and Reasoning About Explanation Requirements Using Goal Models.

Alexander Borgida Rutgers University, USA http://www.cs.rutgers.edu/~borgida/index.html https://orcid.org/0000-0003-4507-7805 https://www.wikidata.org/entity/Q130852099 Sotirios Liaskos John Mylopoulos Alexander Borgida Shakil M. Khan 0001 Modeling and Reasoning About Explanation Requirements Using Goal Models. 215-234 2024 ER https://doi.org/10.1007/978-3-031-75872-0_12 conf/er/2024 db/conf/er/er2024.html#LiaskosMBK24 streams/conf/er Feng-Lin Li Jennifer Horkoff John Mylopoulos Alexander Borgida Renata Guizzardi Giancarlo Guizzardi Lin Liu 0001 Yi Peng Dataset for a requirements modeling language and the Desiree framework. 2024 December https://doi.org/10.5281/zenodo.14330485 Zenodo streams/repo/zenodo

Varvara Kalokyri Alexander Borgida Amélie Marian Episodic Memory Integration of Personal Data in YourDigitalSelf. 30-42 2023 47 IEEE Data Eng. Bull. 4 http://sites.computer.org/debull/A23dec/p30.pdf db/journals/debu/debu46.html#KalokyriBM23

Varvara Kalokyri Alexander Borgida Amélie Marian One of Us: a Multiplayer Web-based Game for Digital Evidence Acquisition of Scripts through Crowdsourcing. 187-196 2023 CHIIR https://doi.org/10.1145/3576840.3578271 https://www.wikidata.org/entity/Q130852101 conf/chiir/2023 db/conf/chiir/chiir2023.html#KalokyriBM23 Eva Feng Alexander Borgida Enrico Franconi Peter F. Patel-Schneider David Toman 0001 Grant E. Weddell Path Description Dependencies in Feature-Based DLs. 2023 Description Logics https://ceur-ws.org/Vol-3515/paper-10.pdf conf/dlog/2023 db/conf/dlog/dlog2023.html#FengBFP0W23

Yehia Elrakaiby Alexander Borgida Alessio Ferrari 0001 John Mylopoulos CaRE: a refinement calculus for requirements engineering based on argumentation theory. 2113-2132 2022 21 Softw. Syst. Model. 6 https://doi.org/10.1007/s10270-021-00943-5 db/journals/sosym/sosym21.html#ElrakaibyBFM22

Alexander Borgida Enrico Franconi David Toman 0001 Grant E. Weddell Understanding Document Data Sources Using Ontologies with Referring Expressions. 367-380 2022 AI https://doi.org/10.1007/978-3-031-22695-3_26 conf/ausai/2022a db/conf/ausai/ausai2022a.html#BorgidaFTW22 Alexander Borgida Enrico Franconi David Toman 0001 Grant E. Weddell Accessing Document Data Sources using Referring Expression Types. 2022 Description Logics https://ceur-ws.org/Vol-3263/paper-6.pdf conf/dlog/2022 db/conf/dlog/dlog2022.html#BorgidaFTW22 Varvara Kalokyri Alexander Borgida Amélie Marian Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. 453-464 2022 ICWSM https://ojs.aaai.org/index.php/ICWSM/article/view/19306 conf/icwsm/2022 db/conf/icwsm/icwsm2022.html#KalokyriBM22

Manolis Koubarakis Alexander Borgida Panos Constantopoulos Martin Doerr Matthias Jarke Manfred A. Jeusfeld John Mylopoulos Dimitris Plexousakis A retrospective on Telos as a metamodeling language for requirements engineering. 1-23 2021 26 Requir. Eng. 1 https://doi.org/10.1007/s00766-020-00329-x db/journals/re/re26.html#KoubarakisBCDJJ21

Yehia ElRakaiby Alexander Borgida Alessio Ferrari 0001 John Mylopoulos A Refinement Calculus for Requirements Engineering Based on Argumentation Theory. 3-18 2020 ER https://doi.org/10.1007/978-3-030-62522-1_1 conf/er/2020 db/conf/er/er2020.html#ElrakaibyB0M20 Yehia ElRakaiby Alexander Borgida Alessio Ferrari 0001 John Mylopoulos CaRE: A Refinement Calculus for Requirements Engineering based on Argumentation Theory (Proofs and Tool). 2020 October https://doi.org/10.5281/zenodo.4156216 Zenodo streams/repo/zenodo Yehia ElRakaiby Alexander Borgida Alessio Ferrari 0001 John Mylopoulos A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. 2020 May data/10/ElrakaibyBFM20b https://doi.org/10.5281/zenodo.3958960 Zenodo streams/repo/zenodo Yehia ElRakaiby Alexander Borgida Alessio Ferrari 0001 John Mylopoulos A Refinement Calculus for Requirements Engineering based on Argumentation Theory: Tool and Additional Material. 2020 May data/10/ElrakaibyBFM20b https://doi.org/10.5281/zenodo.3856402 Zenodo streams/repo/zenodo

Varvara Kalokyri Alexander Borgida Amélie Marian Supporting Human Memory by Reconstructing Personal Episodic Narratives from Digital Traces. 2020 abs/2012.14803 CoRR https://arxiv.org/abs/2012.14803 db/journals/corr/corr2012.html#abs-2012-14803

Stephanie McIntyre Alexander Borgida David Toman 0001 Grant E. Weddell On Limited Conjunctions and Partial Features in Parameter-Tractable Feature Logics. 2995-3002 2019 AAAI https://doi.org/10.1609/aaai.v33i01.33012995 conf/aaai/2019 db/conf/aaai/aaai2019.html#McIntyreBTW19 Daniela Vianna 0001 Varvara Kalokyri Alexander Borgida Amélie Marian Thu D. Nguyen Searching heterogeneous personal digital traces. 276-285 2019 ASIST https://doi.org/10.1002/pra2.22 https://www.wikidata.org/entity/Q126999381 conf/asist/2019 db/conf/asist/asist2019.html#ViannaKBMN19 Alexander Borgida Initial Steps Towards a Family of Regular-Like Plan Description Logics. 90-109 2019 Description Logic, Theory Combination, and All That https://doi.org/10.1007/978-3-030-22102-7_4 conf/birthday/2019baader db/conf/birthday/baader2019.html#Borgida19 Alexander Borgida Varvara Kalokyri Amélie Marian Description Logics and Specialization for Structured BPMN. 19-31 2019 Business Process Management Workshops https://doi.org/10.1007/978-3-030-37453-2_3 conf/bpm/2019w db/conf/bpm/bpmw2019.html#BorgidaKM19 Alexander Borgida David Toman 0001 Grant E. Weddell On Special Description Logics for Processes and Plans. 2019 Description Logics https://ceur-ws.org/Vol-2373/paper-6.pdf conf/dlog/2019 db/conf/dlog/dlog2019.html#BorgidaTW19

Daniela Vianna 0001 Varvara Kalokyri Alexander Borgida Thu D. Nguyen Amélie Marian Searching Heterogeneous Personal Digital Traces. 2019 abs/1904.05374 CoRR http://arxiv.org/abs/1904.05374 db/journals/corr/corr1904.html#abs-1904-05374

Varvara Kalokyri Alexander Borgida Amélie Marian YourDigitalSelf: A Personal Digital Trace Integration Tool. 1963-1966 2018 CIKM https://doi.org/10.1145/3269206.3269219 conf/cikm/2018 db/conf/cikm/cikm2018.html#KalokyriBM18 Stephanie McIntyre Alexander Borgida David Toman 0001 Grant E. Weddell On Limited Conjunctions in Polynomial Feature Logics, with Applications in OBDA. 655-656 2018 KR https://aaai.org/ocs/index.php/KR/KR18/paper/view/18016 conf/kr/2018 db/conf/kr/kr2018.html#McIntyreBTW18 Alexander Borgida Description Logics. 2018 Encyclopedia of Database Systems (2nd ed.) https://doi.org/10.1007/978-1-4614-8265-9_1310 reference/db/2018 db/reference/db/d2.html#Borgida18 Alexander Borgida Marco A. Casanova Alberto H. F. Laender Logical Database Design: From Conceptual to Logical Schema. 2018 Encyclopedia of Database Systems (2nd ed.) https://doi.org/10.1007/978-1-4614-8265-9_645 reference/db/2018 db/reference/db/l2.html#BorgidaCL18 Alexander Borgida John Mylopoulos Conceptual Schema Design. 2018 Encyclopedia of Database Systems (2nd ed.) https://doi.org/10.1007/978-1-4614-8265-9_642 reference/db/2018 db/reference/db/c2.html#BorgidaM18 Alexander Borgida David Toman 0001 Grant E. Weddell Concerning Referring Expressions in Query Answers. 4791-4795 2017 IJCAI https://doi.org/10.24963/ijcai.2017/668 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#BorgidaTW17 Varvara Kalokyri Alexander Borgida Amélie Marian Daniela Vianna 0001 Semantic Modeling and Inference with Episodic Organization for Managing Personal Digital Traces - (Short Paper). 273-280 2017 OTM Conferences (2) https://doi.org/10.1007/978-3-319-69459-7_19 conf/otm/2017-2 db/conf/otm/otm2017-2.html#KalokyriBMV17 Varvara Kalokyri Alexander Borgida Amélie Marian Daniela Vianna 0001 Integration and Exploration of Connected Personal Digital Traces. 3:1-3:6 2017 ExploreDB@SIGMOD/PODS https://doi.org/10.1145/3077331.3077337 conf/sigmod/2017exploredb db/conf/sigmod/exploredb2017.html#KalokyriBMV17 Feng-Lin Li Jennifer Horkoff Lin Liu 0001 Alexander Borgida Giancarlo Guizzardi John Mylopoulos Engineering Requirements with Desiree: An Empirical Evaluation. 221-238 2016 CAiSE https://doi.org/10.1007/978-3-319-39696-5_14 conf/caise/2016 db/conf/caise/caise2016.html#LiH0BGM16 Alexander Borgida David Toman 0001 Grant E. Weddell On Referring Expressions in Information Systems Derived from Conceptual Modelling. 183-197 2016 ER https://doi.org/10.1007/978-3-319-46397-1_14 conf/er/2016 db/conf/er/er2016.html#BorgidaTW16 Alexander Borgida David Toman 0001 Grant E. Weddell On Referring Expressions in Query Answering over First Order Knowledge Bases. 319-328 2016 KR https://aaai.org/papers/33-12860-on-referring-expressions-in-query-answering-over-first-order-knowledge-bases/ conf/kr/2016 db/conf/kr/kr2016.html#BorgidaTW16

Feng-Lin Li Alexander Borgida Giancarlo Guizzardi Jennifer Horkoff Lin Liu 0001 John Mylopoulos Desiree: a Refinement Calculus for Requirements Problems. 2016 abs/1605.02263 CoRR http://arxiv.org/abs/1605.02263 db/journals/corr/corr1605.html#LiBGH0M16

Alexander Borgida David Toman 0001 Grant E. Weddell Singular Referring Expressions in Conjunctive Query Answers: the case for a CFD DL Dialect. 2015 Description Logics https://ceur-ws.org/Vol-1350/paper-13.pdf conf/dlog/2015 db/conf/dlog/dlog2015.html#BorgidaTW15 Alexander Borgida Ivan Jureta Anna Zamansky Towards a general formal framework of Coherence Management in RE. 274-277 2015 RE https://doi.org/10.1109/RE.2015.7320436 https://doi.ieeecomputersociety.org/10.1109/RE.2015.7320436 conf/re/2015 db/conf/re/re2015.html#BorgidaJZ15 Feng-Lin Li Jennifer Horkoff Alexander Borgida Giancarlo Guizzardi Lin Liu 0001 John Mylopoulos From Stakeholder Requirements to Formal Specifications Through Refinement. 164-180 2015 REFSQ https://doi.org/10.1007/978-3-319-16101-3_11 conf/refsq/2015 db/conf/refsq/refsq2015.html#LiHBG0M15 Evan W. Patton Alexander Borgida Challenges for Semantic Technologies in Distributed Mobile Environments. 26-31 2015 MoDeST@ISWC https://ceur-ws.org/Vol-1506/paper3.pdf conf/semweb/2015modest db/conf/semweb/modest2015.html#PattonB15

Neil A. Ernst Alexander Borgida Ivan Jureta John Mylopoulos Agile requirements engineering via paraconsistent reasoning. 100-116 2014 43 Inf. Syst. https://doi.org/10.1016/j.is.2013.05.008 db/journals/is/is43.html#ErnstBJM14

Jennifer Horkoff Daniele Barone Lei Jiang 0002 Eric S. K. Yu Daniel Amyot Alexander Borgida John Mylopoulos Strategic business modeling: representation and reasoning. 1015-1041 2014 13 Softw. Syst. Model. 3 https://doi.org/10.1007/s10270-012-0290-8 db/journals/sosym/sosym13.html#HorkoffBJYABM14

Ivan Jureta Alexander Borgida Neil A. Ernst John Mylopoulos The Requirements Problem for Adaptive Systems. 17:1-17:33 2014 5 ACM Trans. Manag. Inf. Syst. 3 https://doi.org/10.1145/2629376 db/journals/tmis/tmis5.html#JuretaBEM14

Renata S. S. Guizzardi Feng-Lin Li Alexander Borgida Giancarlo Guizzardi Jennifer Horkoff John Mylopoulos An Ontological Interpretation of Non-Functional Requirements. 344-357 2014 FOIS https://doi.org/10.3233/978-1-61499-438-1-344 conf/fois/2014 db/conf/fois/fois2014.html#GuizzardiLBGHM14 Alexander Borgida Jennifer Horkoff John Mylopoulos Applying knowledge representation and reasoning to (simple) goal models. 53-59 2014 AIRE https://doi.org/10.1109/AIRE.2014.6894857 https://doi.ieeecomputersociety.org/10.1109/AIRE.2014.6894857 conf/re/2014aire db/conf/re/aire2014.html#BorgidaHM14 Feng-Lin Li Jennifer Horkoff John Mylopoulos Renata S. S. Guizzardi Giancarlo Guizzardi Alexander Borgida Lin Liu 0001 Non-functional requirements as qualities, with a spice of ontology. 293-302 2014 RE https://doi.org/10.1109/RE.2014.6912271 https://doi.ieeecomputersociety.org/10.1109/RE.2014.6912271 https://orkg.org/orkg/resource/R211494 conf/re/2014 db/conf/re/re2014.html#LiHMGGB014 Neil A. Ernst Alexander Borgida Ivan Jureta John Mylopoulos An Overview of Requirements Evolution. 3-32 2014 Evolving Software Systems https://doi.org/10.1007/978-3-642-45398-4_1 books/sp/ess2014 db/books/collections/ess2014.html#ErnstBJM14 Alexander Borgida Fabiano Dalpiaz Jennifer Horkoff John Mylopoulos Requirements models for design- and runtime: a position paper. 62-68 2013 MiSE https://doi.org/10.1109/MiSE.2013.6595298 https://doi.ieeecomputersociety.org/10.1109/MiSE.2013.6595298 http://dl.acm.org/citation.cfm?id=2662752 conf/icse/2013mise db/conf/icse/mise2013.html#BorgidaDHM13 Feng-Lin Li Jennifer Horkoff John Mylopoulos Lin Liu 0001 Alexander Borgida Non-Functional Requirements Revisited. 109-114 2013 iStar https://ceur-ws.org/Vol-978/paper_19.pdf conf/istar/2013 db/conf/istar/istar2013.html#LiHM0B13 Fabiano Dalpiaz Alexander Borgida Jennifer Horkoff John Mylopoulos Runtime goal models: Keynote. 1-11 2013 RCIS https://doi.org/10.1109/RCIS.2013.6577674 conf/rcis/2013 db/conf/rcis/rcis2013.html#DalpiazBHM13

Thomas J. Walsh 0001 Michael L. Littman Alexander Borgida Learning web-service task descriptions from traces. 397-421 2012 10 Web Intell. Agent Syst. 4 https://doi.org/10.3233/WIA-2012-0254 db/journals/wias/wias10.html#WalshLB12

Neil A. Ernst Alexander Borgida John Mylopoulos Ivan Jureta Agile Requirements Evolution via Paraconsistent Reasoning. 382-397 2012 CAiSE https://doi.org/10.1007/978-3-642-31095-9_25 conf/caise/2012 db/conf/caise/caise2012.html#ErnstBMJ12 Alexander Borgida Jennifer Horkoff John Mylopoulos Riccardo Rosati 0001 Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts. 2012 Description Logics https://ceur-ws.org/Vol-846/paper_48.pdf conf/dlog/2012 db/conf/dlog/dlog2012.html#BorgidaHMR12 Jennifer Horkoff Alexander Borgida John Mylopoulos Daniele Barone Lei Jiang 0002 Eric S. K. Yu Daniel Amyot Making Data Meaningful: The Business Intelligence Model and Its Formal Semantics in Description Logics. 700-717 2012 OTM Conferences (2) https://doi.org/10.1007/978-3-642-33615-7_17 conf/otm/2012-2 db/conf/otm/otm2012-2.html#HorkoffBMBJYA12 Manuel Atencia Alexander Borgida Jérôme Euzenat Chiara Ghidini Luciano Serafini A Formal Semantics for Weighted Ontology Mappings. 17-33 2012 ISWC (1) https://doi.org/10.1007/978-3-642-35176-1_2 https://www.wikidata.org/entity/Q125462294 conf/semweb/2012-1 db/conf/semweb/iswc2012-1.html#AtenciaBEGS12 Neil A. Ernst Alexander Borgida John Mylopoulos Requirements evolution drives software evolution. 16-20 2011 EVOL/IWPSE https://doi.org/10.1145/2024445.2024450 conf/iwpse/2011 db/conf/iwpse/iwpse2011.html#ErnstBM11 Neil A. Ernst Alexander Borgida Ivan Jureta Finding incremental solutions for evolving requirements. 15-24 2011 RE https://doi.org/10.1109/RE.2011.6051656 https://doi.ieeecomputersociety.org/10.1109/RE.2011.6051656 conf/re/2011 db/conf/re/re2011.html#ErnstBJ11

Ivan Jureta Alexander Borgida Neil A. Ernst Mixed-Variable Requirements Roadmaps and their Role in the Requirements Engineering of Adaptive Systems http://arxiv.org/abs/1102.4178 2011 CoRR abs/1102.4178 db/journals/corr/corr1102.html#abs-1102-4178

Alexander Borgida Extensible Knowledge Representation: the Case of Description Reasoners http://arxiv.org/abs/1105.5463 2011 CoRR abs/1105.5463 db/journals/corr/corr1105.html#abs-1105-5463

Alexander Borgida Ralf Küsters What's in an Attribute? Consequences for the Least Common Subsumer http://arxiv.org/abs/1106.0238 2011 CoRR abs/1106.0238 db/journals/corr/corr1106.html#abs-1106-0238

Neil A. Ernst John Mylopoulos Alexander Borgida Ivan Jureta Reasoning with Optional and Preferred Requirements. 118-131 2010 ER https://doi.org/10.1007/978-3-642-16373-9_9 conf/er/2010 db/conf/er/er2010.html#ErnstMBJ10 Ivan Jureta Alexander Borgida Neil A. Ernst John Mylopoulos Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling. 115-124 2010 RE https://doi.org/10.1109/RE.2010.24 https://doi.ieeecomputersociety.org/10.1109/RE.2010.24 conf/re/2010 db/conf/re/re2010.html#JuretaBEM10 Alexander Borgida Jos de Bruijn Enrico Franconi Inanç Seylan Umberto Straccia David Toman 0001 Grant E. Weddell On Finding Query Rewritings under Expressive Constraints. 426-437 2010 SEBD conf/sebd/2010 db/conf/sebd/sebd2010.html#BorgidaBFSSTW10 Ronald J. Brachman Alexander Borgida Deborah L. McGuinness Peter F. Patel-Schneider "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. 436-465 2009 Conceptual Modeling: Foundations and Applications https://doi.org/10.1007/978-3-642-02463-4_23 conf/birthday/2009mylopoulos db/conf/birthday/mylopoulos2009.html#BrachmanBMP09 Lei Jiang 0002 Daniele Barone Alexander Borgida John Mylopoulos Measuring and Comparing Effectiveness of Data Quality Techniques. 171-185 2009 CAiSE https://doi.org/10.1007/978-3-642-02144-2_17 conf/caise/2009 db/conf/caise/caise2009.html#JiangBBM09 Alexander Borgida On Importing Knowledge from Ontologies.. 91-112 2009 Modular Ontologies https://doi.org/10.1007/978-3-642-01907-4_5 series/lncs/5445 db/series/lncs/lncs5445.html#Borgida09 Alexander Borgida Vinay K. Chaudhri Paolo Giorgini Eric S. K. Yu Conceptual Modeling: Foundations and Applications - Essays in Honor of John Mylopoulos 5600 2009 https://doi.org/10.1007/978-3-642-02463-4 https://www.wikidata.org/entity/Q131430373 978-3-642-02462-7 Conceptual Modeling: Foundations and Applications Lecture Notes in Computer Science Springer db/conf/birthday/mylopoulos2009.html Alexander Borgida John Mylopoulos Conceptual Schema Design. 438-442 2009 Encyclopedia of Database Systems https://doi.org/10.1007/978-0-387-39940-9_642 reference/db/2009 db/reference/db/c.html#BorgidaM09 Alexander Borgida Description Logics. 799-803 2009 Encyclopedia of Database Systems https://doi.org/10.1007/978-0-387-39940-9_1310 reference/db/2009 db/reference/db/d.html#Borgida09 Alexander Borgida Marco A. Casanova Alberto H. F. Laender Logical Database Design: from Conceptual to Logical Schema. 1645-1649 2009 Encyclopedia of Database Systems https://doi.org/10.1007/978-0-387-39940-9_645 reference/db/2009 db/reference/db/l.html#BorgidaCL09

Yuan An Alexander Borgida John Mylopoulos Discovering and Maintaining Semantic Mappings between XML Schemas and Ontologies. 44-73 2008 2 J. Comput. Sci. Eng. 1 https://doi.org/10.5626/jcse.2008.2.1.044 https://www.wikidata.org/entity/Q114570332 db/journals/jcse/jcse2.html#AnBM08

Alexander Borgida Diego Calvanese Mariano Rodriguez-Muro Explanation in DL-Lite. 2008 Description Logics https://ceur-ws.org/Vol-353/BorgidaCalvaneseRodriguez.pdf conf/dlog/2008 db/conf/dlog/dlog2008.html#BorgidaCR08 Lei Jiang 0002 Alexander Borgida John Mylopoulos Towards a Compositional Semantic Account of Data Quality Attributes. 55-68 2008 ER https://doi.org/10.1007/978-3-540-87877-3_6 conf/er/2008 db/conf/er/er2008.html#JiangBM08 Alexander Borgida Diego Calvanese Mariano Rodriguez-Muro Explanation in the DL-LiteFamily of Description Logics. 1440-1457 2008 OTM Conferences (2) https://doi.org/10.1007/978-3-540-88873-4_35 conf/otm/2008-2 db/conf/otm/otm2008-2.html#BorgidaCR08

Alexander Borgida How knowledge representation meets software engineering (and often databases). 443-464 2007 14 Autom. Softw. Eng. 4 https://doi.org/10.1007/s10515-007-0018-0 db/journals/ase/ase14.html#Borgida07

Alexander Borgida On Importing Knowledge from DL Ontologies: Some Intuitions and Problems. 2007 Description Logics https://ceur-ws.org/Vol-250/paper_21.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#Borgida07 Alexander Borgida Knowledge Representation Meets Databases - a View of the Symbiosys. 2007 Description Logics https://ceur-ws.org/Vol-250/invited_3.pdf conf/dlog/2007 db/conf/dlog/dlog2007.html#Borgida07a Yuan An Alexander Borgida Renée J. Miller John Mylopoulos A Semantic Approach to Discovering Schema Mapping Expressions. 206-215 2007 conf/icde/2007 ICDE https://doi.org/10.1109/ICDE.2007.367866 https://doi.ieeecomputersociety.org/10.1109/ICDE.2007.367866 db/conf/icde/icde2007.html#AnBMM07 Lei Jiang 0002 Alexander Borgida Thodoros Topaloglou John Mylopoulos Data Quality By Design: A Goal-Oriented Approach. 249-263 2007 ICIQ http://mitiq.mit.edu/iciq/iqdownload.aspx?ICIQYear=2007&File=DATA+QUALITY+BY+DESIGN+--+A+GOAL-ORIENTED+APPROACH.pdf conf/iq/2007 db/conf/iq/iq2007.html#JiangBTM07 Alexander Borgida Fausto Giunchiglia Importing from Functional Knowledge Bases - A Preview. 2007 WoMO https://ceur-ws.org/Vol-315/paper1.pdf conf/kcap/2007womo db/conf/kcap/womo2007.html#BorgidaG07 Lei Jiang 0002 Thodoros Topaloglou Alexander Borgida John Mylopoulos Goal-Oriented Conceptual Database Design. 195-204 2007 RE https://doi.org/10.1109/RE.2007.32 https://doi.ieeecomputersociety.org/10.1109/RE.2007.32 conf/re/2007 db/conf/re/re2007.html#JiangTBM07

Yuan An Alexander Borgida John Mylopoulos Discovering the Semantics of Relational Tables Through Mappings. 1-32 2006 journals/jods/2006-7 J. Data Semant. https://doi.org/10.1007/11890591_1 db/journals/jods/jods7.html#AnBM06

Yuan An John Mylopoulos Alexander Borgida Building Semantic Mappings from Databases to Ontologies. 2006 conf/aaai/2006 AAAI db/conf/aaai/aaai2006.html#AnMB06 http://www.aaai.org/Library/AAAI/2006/aaai06-249.php 1557-1566 Lei Jiang 0002 Thodoros Topaloglou Alexander Borgida John Mylopoulos Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. 196-204 2006 conf/re/2006 RE https://doi.org/10.1109/RE.2006.33 https://doi.ieeecomputersociety.org/10.1109/RE.2006.33 db/conf/re/re2006.html#JiangTBM06 Lei Jiang 0002 Thodoros Topaloglou Alexander Borgida John Mylopoulos Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management. 14-19 2006 conf/sebd/2006 SEBD db/conf/sebd/sebd2006.html#JiangTBM06 John Mylopoulos Alexander Borgida Properties of Information Modeling Techniques for Information Systems Engineering. 17-58 2006 Handbook on Architectures of Information Systems https://doi.org/10.1007/3-540-26661-5_2 books/sp/06/BMS2006 db/books/collections/BMS2006.html#MylopoulosB06 Alexander Borgida John Mylopoulos Databases and the Semantic Web: Data Semantics Revisited. 1 https://doi.org/10.1007/978-3-540-31849-1_1 2005 conf/apweb/2005 APWeb db/conf/apweb/apweb2005.html#BorgidaM05 Alexander Borgida Thomas J. Walsh 0001 Haym Hirsh Towards Measuring Similarity in Description Logics. 2005 conf/dlog/2005 Description Logics https://ceur-ws.org/Vol-147/25-BorgidaEtAl.pdf db/conf/dlog/dlog2005.html#BorgidaWH05 Luciano Serafini Alexander Borgida Andrei Tamilin Aspects of Distributed and Modular Ontology Reasoning. 570-575 2005 conf/ijcai/2005 IJCAI http://ijcai.org/Proceedings/05/Papers/0801.pdf db/conf/ijcai/ijcai2005.html#SerafiniBT05 Yuan An Alexander Borgida John Mylopoulos Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences. 1152-1169 2005 conf/otm/2005-2 OTM Conferences (2) https://doi.org/10.1007/11575801_15 https://orkg.org/orkg/resource/R142326 db/conf/otm/otm2005-2.html#AnBM05 Yuan An Alexander Borgida John Mylopoulos Constructing Complex Semantic Mappings Between XML Data and Ontologies. 6-20 2005 conf/semweb/2005 ISWC https://doi.org/10.1007/11574620_4 https://www.wikidata.org/entity/Q125463017 db/conf/semweb/iswc2005.html#AnBM05 Alexander Borgida John Mylopoulos Data Semantics Revisited. 9-26 https://doi.org/10.1007/978-3-540-31839-2_2 2004 conf/semweb/2004swdb SWDB db/conf/semweb/swdb2004.html#BorgidaM04 Yuan An Alexander Borgida John Mylopoulos Refining Semantic Mappings from Relational Tables to Ontologies. 84-90 https://doi.org/10.1007/978-3-540-31839-2_7 2004 conf/semweb/2004swdb SWDB db/conf/semweb/swdb2004.html#AnBM04

Alexander Borgida Luciano Serafini Distributed Description Logics: Assimilating Information from Peer Sources. 153-184 https://doi.org/10.1007/978-3-540-39733-5_7 2003 journals/jods/2003 J. Data Semant. 1 db/journals/jods/jods1.html#BorgidaS03

Vipul Kashyap Alexander Borgida Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?"). 1-16 https://doi.org/10.1007/978-3-540-39718-2_1 https://www.wikidata.org/entity/Q125462904 2003 conf/semweb/2003 ISWC db/conf/semweb/iswc2003.html#KashyapB03 Alexander Borgida Ronald J. Brachman Conceptual Modeling with Description Logics. 349-372 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#BorgidaB03 Alexander Borgida Maurizio Lenzerini Riccardo Rosati 0001 Description Logics for Databases. 462-484 2003 conf/dlog/2003handbook Description Logic Handbook db/conf/dlog/handbook2003.html#BorgidaLR03

Alexander Borgida Being Logical About Desert Island Reading. 187-191 2002 9 Autom. Softw. Eng. 2 db/journals/ase/ase9.html#Borgida02 https://doi.org/10.1023/A:1014586430900

Alexander Borgida Luciano Serafini Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources. 36-53 2002 conf/coopis/2002 OTM https://doi.org/10.1007/3-540-36124-3_3 db/conf/coopis/coopis2002.html#BorgidaS02 Alexander Borgida Luciano Serafini Distributed Description Logics: First results. 2002 Description Logics https://ceur-ws.org/Vol-53/borgida.ps conf/dlog/2002 db/conf/dlog/dlog2002.html#BorgidaS02 Alexander Borgida Diego Calvanese Laurence Cholvy Marie-Christine Rousset Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse France, April 21, 2002 CEUR Workshop Proceedings CEUR-WS.org 2002 54 https://ceur-ws.org/Vol-54 https://nbn-resolving.org/urn:nbn:de:0074-54-6 db/conf/krdb/krdb2002.html

Ralf Küsters Alexander Borgida What's in an Attribute? Consequences for the Least Common Subsumer. 167-203 2001 14 J. Artif. Intell. Res. https://doi.org/10.1613/jair.702 https://www.wikidata.org/entity/Q129562103 db/journals/jair/jair14.html#KustersB01

Alexander Borgida Diachronic Description Logics. 2001 conf/dlog/2001 Description Logics https://ceur-ws.org/Vol-49/Borgida-106start.ps db/conf/dlog/dlog2001.html#Borgida01

Takahiro Murata Alexander Borgida Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes. 959-977 2000 26 IEEE Trans. Software Eng. 10 https://doi.org/10.1109/32.879819 http://doi.ieeecomputersociety.org/10.1109/32.879819 db/journals/tse/tse26.html#MurataB00

Alexander Borgida Ralf Küsters What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases. 65-78 2000 conf/dlog/2000 Description Logics https://ceur-ws.org/Vol-33/Borgida65-78.ps db/conf/dlog/dlog2000.html#BorgidaK00 Alexander Borgida Enrico Franconi Ian Horrocks 0001 Explaining ALC Subsumption. 209-213 2000 conf/ecai/2000 ECAI db/conf/ecai/ecai2000.html#BorgidaFH00 Alexander Borgida Lightweight Semantics For Shared Object-oriented Software. 243 2000 conf/lmo/2000 LMO db/conf/lmo/lmo2000.html#Borgida00

Ronald J. Brachman Deborah L. McGuinness Peter F. Patel-Schneider Alexander Borgida "Reducing" CLASSIC to Practice: Knowledge Representation Theory Meets Reality. 203-237 1999 114 Artif. Intell. 1-2 db/journals/ai/ai114.html#BrachmanMPB99 https://doi.org/10.1016/S0004-3702(99)00078-8

Alexander Borgida Extensible Knowledge Representation: the Case of Description Reasoners. 399-434 1999 10 J. Artif. Intell. Res. https://doi.org/10.1613/jair.584 https://www.wikidata.org/entity/Q129562761 db/journals/jair/jair10.html#Borgida99

Franz Baader Ralf Küsters Alexander Borgida Deborah L. McGuinness Matching in Description Logics. 411-447 1999 9 J. Log. Comput. 3 https://doi.org/10.1093/logcom/9.3.411 db/journals/logcom/logcom9.html#BaaderKBM99

Alexander Borgida Enrico Franconi Ian Horrocks 0001 Deborah L. McGuinness Peter F. Patel-Schneider Explaining ALC Subsumption. 1999 conf/dlog/1999 Description Logics https://ceur-ws.org/Vol-22/borgida.ps db/conf/dlog/dlog1999.html#BorgidaFHMP99 Alexander Borgida Premkumar T. Devanbu Adding more "DL" to IDL: Towards More Knowledgeable Component Inter-Operability. 378-387 1999 conf/icse/1999 ICSE https://doi.org/10.1145/302405.302660 db/conf/icse/icse99.html#BorgidaD99 Alexander Borgida Takahiro Murata Tolerating exceptions in workflows: a unified framework for data and processes. 59-68 1999 conf/wacc/1999 WACC https://doi.org/10.1145/295665.295673 https://doi.org/10.1145/295666.295673 db/conf/wacc/wacc1999.html#BorgidaM99 Patrick Lambrix Alexander Borgida Maurizio Lenzerini Ralf Möller 0001 Peter F. Patel-Schneider Proceedings of the 1999 International Workshop on Description Logics (DL'99), Linköping, Sweden, July 30 - August 1, 1999 Description Logics CEUR Workshop Proceedings CEUR-WS.org 22 1999 https://ceur-ws.org/Vol-22 https://nbn-resolving.org/urn:nbn:de:0074-22-9 db/conf/dlog/dlog1999.html

https://doi.org/10.1145/290593.290595 Alexander Borgida Vinay K. Chaudhri Martin Staudt 0001 KRDB '98: The 5th International Workshop on Knowledge Representation Meets Databases. 10-15 sigmodR/27-3/P010.pdf 1998 27 SIGMOD Rec. 3 db/journals/sigmod/sigmod27.html#BorgidaCS98 conf/krdb/AbernethyA98 conf/krdb/PetersonAE98 conf/krdb/AshishKS98 conf/krdb/ArenasB98 conf/krdb/BoufaidaB98 conf/krdb/Bugaenko98 conf/krdb/PazzagliaE98 conf/krdb/CritchlowGM98 conf/krdb/Decker98 conf/krdb/FernandezFLS98 conf/krdb/Freire98 conf/krdb/KarunaratnaGF98 conf/krdb/MartinPZ98 conf/krdb/RobinsonL98 conf/krdb/Russell98 conf/krdb/SeligmanSMG98 conf/krdb/SilberbergS98 conf/krdb/StarrCFW98 conf/krdb/CetintemelJFGS98 journals/cacm/GuhaL94 conf/aaai/ChaudhriFFKR98 journals/sigmod/Suciu97 conf/aaai/CalvaneseGL98 conf/vldb/BernsteinHSSZ97 journals/tods/Borgida85 ... journals/tois/MylopoulosBJKT90

Franz Baader Alexander Borgida Deborah L. McGuinness Matching in Description Logics: Preliminary Results. 1998 conf/dlog/1998 Description Logics https://ceur-ws.org/Vol-11/BaBoMc.ps db/conf/dlog/dlog1998.html#BaaderBM98 Franz Baader Alexander Borgida Deborah L. McGuinness Matching in Description Logics: Preliminary Results. 15-34 https://doi.org/10.1007/BFb0054902 1998 conf/iccs/1998 ICCS db/conf/iccs/iccs98.html#BaaderBM98 Alexander Borgida Vinay K. Chaudhri Martin Staudt 0001 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 CEUR Workshop Proceedings CEUR-WS.org 1998 10 https://ceur-ws.org/Vol-10 https://nbn-resolving.org/urn:nbn:de:0074-10-0 db/conf/krdb/krdb98.html

John Mylopoulos Alexander Borgida Eric S. K. Yu Representing Software Engineering Knowledge. 291-317 1997 4 Autom. Softw. Eng. 3 db/journals/ase/ase4.html#MylopoulosBY97 https://doi.org/10.1023/A:1008627026003

Alexander Borgida Incremental Individual Reasoning in ProtoDL. 1997 conf/dlog/1997 Description Logics http://dl.kr.org/dl97/proceedings/borgida.ps.gz db/conf/dlog/dlog1997.html#Borgida97 Alexander Borgida Grant E. Weddell Adding Uniqueness Constraints to Description Logics (Preliminary Report). 85-102 1997 conf/dood/1997 DOOD db/conf/dood/dood97.html#BorgidaW97 https://doi.org/10.1007/3-540-63792-3_10

Alexander Borgida On the Relative Expressiveness of Description Logics and Predicate Logics. 353-367 1996 82 Artif. Intell. 1-2 db/journals/ai/ai82.html#Borgida96 https://doi.org/10.1016/0004-3702(96)00004-5

Alexander Borgida Deborah L. McGuinness Asking Queries about Frames. 15-24 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#BorgidaM96 Alexander Borgida Charles L. Isbell Jr. Deborah L. McGuinness Reasoning with Black Boxes: Handling Test Concepts in CLASSIC. 87-91 1996 conf/dlog/1996 Description Logics db/conf/dlog/dlog1996.html#BorgidaIM96 Alexander Borgida Deborah L. McGuinness Asking Queries about Frames. 340-349 1996 conf/kr/1996 KR db/conf/kr/kr96.html#BorgidaM96

Alexander Borgida Description Logics in Data Management. 671-682 1995 7 IEEE Trans. Knowl. Data Eng. 5 db/journals/tkde/tkde7.html#Borgida95 https://doi.org/10.1109/69.469829 http://doi.ieeecomputersociety.org/10.1109/69.469829 https://www.wikidata.org/entity/Q112805228 TKDE7/k0671.pdf ... conf/ewdw/Ait-Kaci90a conf/icde/AnwarBN92 journals/ijcis/ArensCHK93 conf/ijcai/BaaderH91 journals/sigart/BaaderH91 conf/kr/BaaderHNPF92 conf/icde/BeckGN89 journals/tkde/BeckAN94 journals/apin/BergamaschiN94 journals/tods/BergamaschiS92 conf/aiia/Bettini93 ... conf/kr/Borgida92 ... conf/sigmod/BorgidaB93 conf/sigmod/BorgidaBMR89 conf/ifip/BorgidaD92 journals/jair/BorgidaP94 ... journals/cogsci/BrachmanS85 conf/aaai/BrachmanL84 journals/computer/BrachmanFL83 journals/ijcis/BrachmanSTAHKL93 journals/is/BuchheitJNS94 conf/kr/CalvaneseLN94 ... ... conf/aaai/CohenBH92 conf/icde/DelcambreD89 conf/kr/DevanbuL91 journals/cacm/DevanbuBS91 conf/icse/DevanbuJ94 conf/ijcai/DoniniLNN91 conf/kr/DoniniLNN91 conf/kr/DoniniLNSN92 journals/ai/DoyleP91 conf/sigmod/Finkelstein82 conf/ecai/HollunderNS90 journals/csur/HullK87 conf/pods/LecluseR89 conf/aaai/LenzeriniS91 journals/ai/Levesque84 ... conf/aaai/MacGregor88 ... conf/aaai/Mark80 ... journals/ai/Nebel90 conf/iski/NebelP90 journals/lncs/NebelS91 conf/ki/Owsnicki-Klewe88 ... ... ... journals/ai/Patel-Schneider89a conf/jelia/RoyerQ92 conf/ijcai/Schild91 conf/kr/Schmidt-Schauss89 journals/ai/Schmidt-SchaussS91 journals/csur/ShethL90 ... conf/eds/ShumM88 conf/kr/Teege94 conf/aaai/TouWFHM82 ... ... ... journals/tkde/YenNM91 conf/cikm/Borgida94 ...

Alexander Borgida John Mylopoulos Raymond Reiter On the Frame Problem in Procedure Specifications. 785-798 https://doi.org/10.1109/32.469460 http://doi.ieeecomputersociety.org/10.1109/32.469460 1995 21 IEEE Trans. Software Eng. 10 db/journals/tse/tse21.html#BorgidaMR95

Deborah L. McGuinness Alexander Borgida Explaining Subsumption in Description Logics. 816-821 1995 conf/ijcai/1995 IJCAI (1) db/conf/ijcai/ijcai95.html#McGuinnessB95 http://ijcai.org/Proceedings/95-1/Papers/105.pdf

Alexander Borgida Peter F. Patel-Schneider A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. 277-308 1994 1 J. Artif. Intell. Res. db/journals/jair/jair1.html#BorgidaP94 https://doi.org/10.1613/jair.56 https://www.wikidata.org/entity/Q129541015

Alexander Borgida On The Relationship Between Description Logic and Predicate Logic. 219-225 CIKM1994/P219.pdf 1994 conf/cikm/94 CIKM db/conf/cikm/cikm94.html#Borgida94 https://doi.org/10.1145/191246.191283 Sol J. Greenspan John Mylopoulos Alexander Borgida On Formal Requirements Modeling Languages: RML Revisited. 135-147 1994 conf/icse/1994 ICSE http://portal.acm.org/citation.cfm?id=257734.257754 db/conf/icse/icse94.html#GreenspanMB94

Alexander Borgida Peter F. Patel-Schneider A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic. 1994 abs/cs/9406101 CoRR http://arxiv.org/abs/cs/9406101 db/journals/corr/corr9406.html#BorgidaP94

Alexander Borgida John Mylopoulos Raymond Reiter "...And Nothing Else Changes": The Frame Problem in Procedure Specifications. 303-314 1993 conf/icse/1993 ICSE http://portal.acm.org/citation.cfm?id=257572.257636 db/conf/icse/icse93.html#BorgidaMR93 Alexander Borgida Ronald J. Brachman Loading Data into Description Reasoners. 217-226 1993 conf/sigmod/93 SIGMOD Conference db/conf/sigmod/sigmod93.html#BorgidaB93 https://doi.org/10.1145/170035.170073 https://doi.org/10.1145/170036.170073 SIGMOD93/P217.PDF ... conf/icde/AnwarBN92 conf/icde/BeckGN89 ... journals/tkde/BeckAN94 conf/edbt/BergamaschiBS88 journals/tods/BergamaschiS92 ... conf/sigmod/BorgidaBMR89 ... ... conf/eds/CeriGW86 journals/tse/ChenNR90 journals/cacm/DevanbuBS91 ... conf/sigmod/Finkelstein82 journals/sigmod/GhoshLS88 conf/aaai/HeinsohnKNP92 ... conf/sigmod/JarkeCV84 journals/tods/Kent79 journals/tods/Kim82 journals/tse/MarkTMS92 conf/iclp/MorrisUG86 conf/iski/NebelP90 ... conf/aaai/TouWFHM82 conf/vldb/VassiliouCJ83 journals/computer/Wiederhold92

Alexander Borgida From Type Systems to Knowledge Representation: Natural Semantics Specifications for Description Logics. 93-126 1992 1 Int. J. Cooperative Inf. Syst. 1 db/journals/ijcis/ijcis1.html#Borgida92 https://doi.org/10.1142/S0218215792000052

Alexander Borgida Matthias Jarke Knowledge Representation and Reasoning in Software Engineering. 449-450 http://doi.ieeecomputersociety.org/10.1109/TSE.1992.10001 1992 18 IEEE Trans. Software Eng. 6 db/journals/tse/tse18.html#BorgidaJ92

William W. Cohen Alexander Borgida Haym Hirsh Computing Least Common Subsumers in Description Logics. 754-760 1992 conf/aaai/1992 AAAI db/conf/aaai/aaai92.html#CohenBH92 http://www.aaai.org/Library/AAAI/1992/aaai92-117.php Alexander Borgida Structural Subsumption: What Is It and Why Is It Important? 14-18 1992 conf/dlog/1992 Description Logics db/conf/dlog/dlog1992.html#Borgida92 Ronald J. Brachman Alexander Borgida Deborah L. McGuinness Peter F. Patel-Schneider Lori Alperin Resnick The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. 1036-1043 1992 conf/fgcs/1992 FGCS db/conf/fgcs/fgcs92.html#BrachmanBMPR92 Alexander Borgida Premkumar T. Devanbu Knowledge Base Management Systems using Description Logics and Their Role in Software Information Systems. 171-181 1992 conf/ifip/1992-3 IFIP Congress (3) db/conf/ifip/ifip92-3.html#BorgidaD92 Alexander Borgida Towards the Systematic Development of Description Logic Reasoners: CLASP Reconstructed. 259-269 1992 conf/kr/1992 KR db/conf/kr/kr92.html#Borgida92

Peter F. Patel-Schneider Deborah L. McGuinness Alexander Borgida The CLASSIC Knowledge Representation System: Guiding Principles and Implementation Rationale. 108-113 1991 2 SIGART Bull. 3 db/journals/sigart/sigart2.html#Patel-SchneiderMB91 https://doi.org/10.1145/122296.122313

Ronald J. Brachman Deborah L. McGuinness Peter F. Patel-Schneider Lori Alperin Resnick Alexander Borgida Living wiht Classic: When and How to Use a KL-ONE-Like Language. 401-456 1991 Principles of Semantic Networks https://doi.org/10.1016/B978-1-4832-0771-1.50022-9 books/lib/BorgidaS91 db/books/collections/Sowa1991.html#BrachmanMPRB91

John Mylopoulos Alexander Borgida Matthias Jarke Manolis Koubarakis Telos: Representing Knowledge About Information Systems. 325-362 1990 8 ACM Trans. Inf. Syst. 4 https://doi.org/10.1145/102675.102676 db/journals/tois/tois8.html#MylopoulosBJKT90

Alexander Borgida Knowledge Representation, Semantic Data Modelling: What's the Difference? 1 1990 ER db/conf/er/er90.html#Borgida90 conf/er/90 er90/ER90-P001.pdf

Joachim W. Schmidt Ingrid Wetzel Alexander Borgida John Mylopoulos Database Programming by Formal Refinement of Conceptual Designs. 53-61 1989 http://sites.computer.org/debull/89SEP-CD.pdf 12 IEEE Data Eng. Bull. 3 db/journals/debu/debu12.html#SchmidtWBM89

Alexander Borgida John Mylopoulos Joachim W. Schmidt Ingrid Wetzel Support for Data-Intensive Applications: Conceptual Design and Software Development. 258-280 DBPL1989/P258.pdf 1989 DBPL db/conf/dbpl/dbpl89.html#BorgidaMSW89 conf/dbpl/89 ... ... ... ... ... journals/tods/Borgida85 conf/db-workshops/BorgidaJMSV85 journals/computer/BorgidaGM85 conf/db-workshops/BorgidaMW82 ... ... ... ... ... ... ... journals/tods/MylopoulosBW80 journals/tods/Schmidt77 ... ... ... conf/pods/StempleS84 books/sp/Wirth82 ... David W. Etherington Alexander Borgida Ronald J. Brachman Henry A. Kautz Vivid Knowledge and Tractable Reasoning. 1146-1152 1989 conf/ijcai/1989 IJCAI db/conf/ijcai/ijcai89.html#EtheringtonBBK89 http://ijcai.org/Proceedings/89-2/Papers/048.pdf Alexander Borgida David W. Etherington Hierarchical Knowledge Bases and Efficient Disjunctive Reasoning. 33-43 1989 conf/kr/1989 KR db/conf/kr/kr89.html#BorgidaE89 conf/pods/89 Alexander Borgida Type Systems for Querying Class Hierarchies with Non-strict Inheritance. 394-400 1989 PODS db/conf/pods/pods89.html#Borgida89 https://doi.org/10.1145/73721.73759 journals/anthology/cd1-3:PODS89/P394.PDF journals/anthology/dvd1:text/1-3/PODS89/P394.PDF journals/tods/AlbanoCO85 conf/sigmod/Borgida88 ... ... journals/jlp/DowlingG84 conf/aaai/EtheringtonR83 journals/tods/MylopoulosBW80 ... journals/jcss/Pratt80 journals/tods/Shipman81 conf/lics/Wand87 conf/sigmod/Zaniolo83 Alexander Borgida Ronald J. Brachman Deborah L. McGuinness Lori Alperin Resnick CLASSIC: A Structural Data Model for Objects. 58-67 1989 conf/sigmod/89 SIGMOD Conference db/conf/sigmod/sigmod89.html#BorgidaBMR89 https://doi.org/10.1145/67544.66932 https://doi.org/10.1145/66926.66932 SIGMOD89/P058.PDF journals/tods/AbiteboulH87 conf/sigmod/AgrawalBJ89 ... journals/jlp/Ait-KaciN86 conf/oodbs/AndersonEM86 conf/sigmod/BancilhonR86 conf/icde/BeckGN89 conf/aaai/BrachmanL84 ... ... conf/eds/CholvyD86 ... ... journals/csur/GallaireMN84 journals/ngc/Goebel85 journals/csur/HullK87 ... journals/jlp/Imielinski87 ... conf/aaai/MacGregor88 journals/is/Mark87 journals/ai/Nebel88 ... ... ... conf/adbt/Reiter77 journals/tods/Shipman81 conf/eds/ShumM88 ... Rakesh Agrawal 0001 Alexander Borgida H. V. Jagadish Efficient Management of Transitive Relationships in Large Data and Knowledge Bases. 253-262 1989 conf/sigmod/89 SIGMOD Conference db/conf/sigmod/sigmod89.html#AgrawalBJ89 https://doi.org/10.1145/67544.66950 https://doi.org/10.1145/66926.66950 SIGMOD89/P253.PDF conf/vldb/AgrawalJ87 conf/icde/Agrawal87 conf/dpds/AgrawalJ88 ... journals/toplas/Ait-KaciBLN89 ... conf/sigmod/BlakeleyLT86 conf/sigmod/BorgidaBMR89 ... ... conf/sigmod/CruzMW87 ... ... conf/sigmod/Hanson87 conf/vldb/Ioannidis86 conf/vldb/IoannidisR88 journals/tcs/Italiano86 conf/eds/Jagadish88 conf/sigmod/Jagadish89 conf/aaai/KaczmarekBR86 conf/eds/KungHISSS84 conf/vldb/Lu87 ... journals/sigmod/BernsteinDDGGJLLMNRRSSSS89 ... ... conf/sigmod/RosenthalHDM86 ... conf/eds/ValduriezB86 conf/vldb/WalterLN87 Matthew Morgenstern Alexander Borgida Catherine Lassez David Maier 0001 Gio Wiederhold Constraint-Based Systems: Knowledge About Data - Panel Report. 23-43 1988 conf/eds/88 Expert Database Conf. db/conf/eds/eds88.html#MorgensternBLMW88 Alexander Borgida Modeling Class Hierarchies with Contradictions. 434-443 1988 conf/sigmod/88 SIGMOD Conference db/conf/sigmod/sigmod88.html#Borgida88 https://doi.org/10.1145/50202.50254 https://doi.org/10.1145/971701.50254 SIGMOD88/P434.PDF conf/sigmod/NixonCLBMS87 ... ... journals/tods/Borgida85 ... conf/sigmod/BunemanA86 ... journals/csur/CardelliW85 conf/vldb/ChanDFLNR82 conf/vldb/ChanDFR83 journals/tods/SmithS77 Alexander Borgida Exceptions dans les bases de données. 1987 conf/bda/1987 BDA db/conf/bda/bda1987.html#Borgida87 Brian A. Nixon Lawrence Chung David Lauzon Alexander Borgida John Mylopoulos Martin Stanley Implementation of a Compiler for a Semantic Data Model: Experiences with Taxis. 118-131 1987 conf/sigmod/87 SIGMOD Conference db/conf/sigmod/sigmod87.html#NixonCLBMS87 SIGMOD87/P118.PDF https://doi.org/10.1145/38713.38731 https://doi.org/10.1145/38714.38731 https://www.wikidata.org/entity/Q121602730 ... journals/tods/AlbanoCO85 journals/cj/AtkinsonBCCM83 conf/icde/BalzerGN84 ... ... ... conf/vldb/ChanDFLNR82 journals/tods/Chen76 ... journals/tods/Codd79 books/aw/GoldbergR83 ... ... journals/toplas/HoltCW82 books/aw/Knuth73 journals/tse/LiskovS79 conf/oopsla/MaierSOP86 journals/tods/MylopoulosBW80 ... ... ... ... ... ... ... journals/tods/Schmidt77 ... journals/tods/Shipman81 journals/tods/SmithS77 ... conf/sigmod/StonebrakerR86 ... ... conf/sigmod/TsurZ84 ... ... ... conf/sigmod/Zaniolo83

Sol J. Greenspan Alexander Borgida John Mylopoulos A requirements modeling language and its logic. 9-23 1986 11 Inf. Syst. 1 db/journals/is/is11.html#GreenspanBM86 https://doi.org/10.1016/0306-4379(86)90020-7

Alexander Borgida Exceptions in object-oriented languages. 107-119 1986 conf/oopwork/1986 OOPWORK https://doi.org/10.1145/323779.323749 https://doi.org/10.1145/323648.323749 https://www.wikidata.org/entity/Q130976982 db/conf/oopwork/oopwork1986.html#Borgida86 Alexander Borgida Can entity-based information systems live with exceptions? (abstract only). 183 1986 conf/oopwork/1986 OOPWORK https://doi.org/10.1145/323779.323759 https://doi.org/10.1145/323648.323759 db/conf/oopwork/oopwork1986.html#Borgida86a

Alexander Borgida Sol J. Greenspan John Mylopoulos Knowledge Representation as the Basis for Requirements Specifications. 82-91 1985 18 Computer 4 db/journals/computer/computer18.html#BorgidaGM85 https://doi.org/10.1109/MC.1985.1662870 http://doi.ieeecomputersociety.org/10.1109/MC.1985.1662870

Alexander Borgida Features of Languages for the Development of Information Systems at the Conceptual Level. 63-72 1985 2 IEEE Softw. 1 db/journals/software/software2.html#Borgida85 https://doi.org/10.1109/MS.1985.230050 http://doi.ieeecomputersociety.org/10.1109/MS.1985.230050

Alexander Borgida Language Features for Flexible Handling of Exceptions in Information Systems. 565-603 TODS10/P565.PDF 1985 10 ACM Trans. Database Syst. 4 db/journals/tods/tods10.html#Borgida85 https://doi.org/10.1145/4879.4995 https://www.wikidata.org/entity/Q128788433 journals/tods/AlbanoCO85 conf/vldb/BernsteinBC80 journals/cacm/BobrowW73 ... conf/vldb/Brodie81 journals/tods/BunemanC79 conf/vldb/ChanDFLNR82 ... ... conf/vldb/EswaranC75 journals/cacm/Goodenough75 journals/csur/GrayMBLLPPT81 ... conf/vldb/HammerM75 ... journals/tods/Kent79 conf/vldb/KoenigP81 ... ... journals/tse/LiskovS79 conf/sde/MinskyB84 journals/tods/MylopoulosBW80 ... ... ... journals/tods/SmithS77 conf/sigmod/Stonebraker75 ... ... journals/toplas/YeminiB85 journals/jcss/Zaniolo84

Alexander Borgida Class Hierarchies in Information Systems: Sets, Types, or Prototypes? 137-154 POS/1985/P137.pdf 1985 conf/pos/1985 Data Types and Persistence (Appin) db/conf/db-workshops/appin85.html#Borgida85b Alexander Borgida Tom M. Mitchell Keith E. Williamson Learning Improved Integrity Constraints and Schemes From Exceptions in Data and Knowledge Bases. 259-286 1985 conf/db-workshops/Islamorada On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#BorgidaMW85 Brian A. Nixon Lawrence Chung David Lauzon Alexander Borgida John Mylopoulos Martin Stanley Design of a Compiler for a Semantic Data Model. 293-343 1985 conf/db-workshops/85xania Foundations of Knowledge Base Management (Xania) db/conf/db-workshops/xania85.html#NixonCLBMS85 Alexander Borgida Matthias Jarke John Mylopoulos Joachim W. Schmidt Yannis Vassiliou The Software Development Environment as a Knowledge Base Management System. 411-442 1985 conf/db-workshops/85xania Foundations of Knowledge Base Management (Xania) db/conf/db-workshops/xania85.html#BorgidaJMSV85 Alexander Borgida Conceptual Modeling of Information Systems. 461-469 1985 conf/db-workshops/Islamorada On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#Borgida85 Sol J. Greenspan Alexander Borgida John Mylopoulos A Requirements Modeling Language and Its Logic. 471-502 1985 conf/db-workshops/Islamorada On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#GreenspanBM85 Alexander Borgida Languages and The Engineering of Large Knowledge Bases. 503-505 1985 conf/db-workshops/Islamorada On Knowledge Base Management Systems (Islamorada) db/conf/db-workshops/islamorada85.html#Borgida85a conf/vldb/85 Alexander Borgida Keith E. Williamson Accommodating Exceptions in Databases, and Refining the Schema by Learning from them. 72-81 1985 VLDB db/conf/vldb/vldb85.html#BorgidaW85 http://www.vldb.org/conf/1985/P072.PDF journals/tods/Borgida85 ... conf/vldb/ChanDFLNR82 journals/ai/FikesHN72 journals/cacm/Goodenough75 ... conf/aaai/King80 ... journals/ai/Mitchell82 journals/tods/Shipman81 ... ... ... Alexander Borgida Sol J. Greenspan John Mylopoulos Knowledge Reperesentation as the Basis for Requirements Specification (Reprint). 152-169 1985 conf/wi/1985 Wissensbasierte Systeme db/conf/wi/wi1985.html#BorgidaGM85 https://doi.org/10.1007/978-3-642-70840-4_13 Alexander Borgida Accomodating Exceptions to (Type) Constraints in Information Systems - a position paper 265-271 POS/POS85I/P265.pdf 1985 conf/pos/1985inf Data Types and Persistence (Appin), Informal Proceedings db/conf/pos/pos85.html#Borgida85

John Mylopoulos Alexander Borgida Sol J. Greenspan Harry K. T. Wong Information System Design at the Conceptual Level - The Taxis Project. 4-9 1984 http://sites.computer.org/debull/84DEC-CD.pdf 7 IEEE Database Eng. Bull. 4 db/journals/debu/debu7.html#MylopoulosBGW84

Alexander Borgida Tomasz Imielinski Decision Making in Commitees - A Framework for Dealing with Inconsistency and Non-Monotonicity. 21-32 1984 conf/nmr/1984 NMR db/conf/nmr/nmr1984.html#BorgidaI84 Naftaly H. Minsky Alexander Borgida The Darwin Software-Developemnt-Environemnt for Evolving Systems. 89-95 1984 conf/sde/1984 Software Development Environments (SDE) db/conf/sde/sde84.html#MinskyB84 https://doi.org/10.1145/800020.808253 https://doi.org/10.1145/390010.808253 https://doi.org/10.1145/390011.808253

Alexander Borgida Some Formal Results about Stratificational Grammars and Their Relevance to Linguistics. 29-56 1983 16 Math. Syst. Theory 1 db/journals/mst/mst16.html#Borgida83 https://doi.org/10.1007/BF01744567

Alexander Borgida John Mylopoulos Harry K. T. Wong Generalization/Specialization as a Basis for Software Specification. 87-117 1982 conf/db-workshops/82intervale On Conceptual Modelling (Intervale) db/conf/db-workshops/intervale82.html#BorgidaMW82 Sol J. Greenspan John Mylopoulos Alexander Borgida Capturing More World Knowledge in the Requirements Specification. 225-235 1982 conf/icse/1982 ICSE db/conf/icse/icse82.html#GreenspanMB82 http://dl.acm.org/citation.cfm?id=807765 Alexander Borgida On the Definition of Specialization Hierarchies for Procedures. 254-256 1981 conf/ijcai/1981 IJCAI db/conf/ijcai/ijcai81.html#Borgida81 http://ijcai.org/Proceedings/81-1/Papers/051.pdf conf/vldb/81 Alexander Borgida Harry K. T. Wong Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory VLDB81/P260.PDF 260-271 1981 VLDB db/conf/vldb/vldb81.html#BorgidaW81 ... journals/toplas/CasanovaB80 journals/cacm/Codd70 journals/tods/Codd79 journals/siamcomp/Cook78 books/ph/Dijkstra76 conf/vldb/GardarinM79 journals/toplas/GreifM81 conf/vldb/HammerM75 journals/cacm/Hoare69 journals/acta/HoareL74 journals/acta/HoareW73 ... journals/acta/LondonGHLMP78 journals/tods/MylopoulosBW80 conf/vldb/MylopoulosW80 ... conf/focs/Pratt76 journals/tods/SmithS77 ... ... ... ... John Miles Smith Charles Rich Jonathan J. King Peter Hitchcock Alexander Borgida Jaime G. Carbonell Consistency of Models (discussion). 72-76 PINGREE1980/P072.pdf 1980 conf/sigmod/80p Workshop on Data Abstraction, Databases and Conceptual Modelling db/conf/sigmod/pingree80.html#SmithRKHBC80 https://doi.org/10.1145/800227.806879 https://doi.org/10.1145/960124.806879 https://doi.org/10.1145/960128.806879 https://doi.org/10.1145/800227.806886 https://doi.org/10.1145/960124.806886 https://doi.org/10.1145/960128.806886 Alexander Borgida Sol J. Greenspan Data and Activities: Exploiting Hierarchies of Classes. 98-100 PINGREE1980/P098.pdf 1980 conf/sigmod/80p Workshop on Data Abstraction, Databases and Conceptual Modelling db/conf/sigmod/pingree80.html#BorgidaG80 Alexander Borgida Formal studies of stratificational grammars. University of Toronto, Canada 1977 https://librarysearch.library.utoronto.ca/permalink/01UTORONTO_INST/14bjeso/alma991106500743706196

John Mylopoulos Alexander Borgida Phil Cohen 0001 Nick Roussopoulos John K. Tsotsos Harry K. T. Wong TORUS: a step towards bridging the gap between data bases and the casual user. 49-64 1976 2 Inf. Syst. 2 db/journals/is/is2.html#MylopoulosBCRTW76 https://doi.org/10.1016/0306-4379(76)90009-0

John Mylopoulos Philip R. Cohen Alexander Borgida Laszlo Sugar Semantic Networks and the Generation of Context. 134-142 1975 conf/ijcai/1975 IJCAI db/conf/ijcai/ijcai75.html#MylopoulosCBS75 http://ijcai.org/Proceedings/75/Papers/019.pdf Rakesh Agrawal 0001 Daniel Amyot Yuan An Manuel Atencia Franz Baader Daniele Barone Ronald J. Brachman Jos de Bruijn Diego Calvanese Jaime G. Carbonell Marco A. Casanova Vinay K. Chaudhri Laurence Cholvy Lawrence Chung Phil Cohen 0001Philip R. Cohen William W. Cohen Panos Constantopoulos Fabiano Dalpiaz Premkumar T. Devanbu Martin Doerr Yehia ElrakaibyYehia ElRakaiby Neil A. Ernst David W. Etherington Jérôme Euzenat Eva Feng Alessio Ferrari 0001 Enrico Franconi Chiara Ghidini Paolo Giorgini Fausto Giunchiglia Sol J. Greenspan Giancarlo Guizzardi Renata S. S. GuizzardiRenata Guizzardi Haym Hirsh Peter Hitchcock Jennifer Horkoff Ian Horrocks 0001 Tomasz Imielinski Charles L. Isbell Jr. H. V. Jagadish Matthias Jarke Manfred A. Jeusfeld Lei Jiang 0002 Ivan Jureta Varvara Kalokyri Vipul Kashyap Henry A. Kautz Shakil M. Khan 0001 Jonathan J. King Manolis Koubarakis Ralf Küsters Alberto H. F. Laender Patrick Lambrix Catherine Lassez David Lauzon Maurizio Lenzerini Feng-Lin Li Sotirios Liaskos Michael L. Littman Lin Liu 0001 David Maier 0001 Amélie Marian Deborah L. McGuinness Stephanie McIntyre Renée J. Miller Naftaly H. Minsky Tom M. Mitchell Ralf Möller 0001 Matthew Morgenstern Takahiro Murata John Mylopoulos Thu D. Nguyen Brian A. Nixon Peter F. Patel-Schneider Evan W. Patton Yi Peng Dimitris Plexousakis Raymond Reiter Lori Alperin Resnick Charles Rich Mariano Rodriguez-Muro Riccardo Rosati 0001 Marie-Christine Rousset Nick Roussopoulos Ingrid SchirmerIngrid Wetzel Joachim W. Schmidt Luciano Serafini Inanç Seylan John Miles Smith Martin Stanley Martin Staudt 0001 Umberto Straccia Laszlo Sugar Andrei Tamilin David Toman 0001 Thodoros Topaloglou John K. Tsotsos Yannis Vassiliou Daniela Vianna 0001 Thomas J. Walsh 0001 Grant E. Weddell Gio Wiederhold Keith E. Williamson Harry K. T. Wong Eric S. K. Yu Anna Zamansky