Alexander T. Borgida
Department of Computer Science
Rutgers University
New Brunswick, New Jersey 08903

EDUCATION:

• Ph.D., Department of Computer Science, University of Toronto, December 1977, Thesis: Formal Studies of Stratificational Grammars, 221 pages, Advisor: Professor C. Raymond Perrault
• M.Sc., Department of Computer Science, University of Toronto, 1975. Thesis: Topics in the Understanding of English Sentences by Computer, 166 pages.

POSITIONS HELD:

 

1993 - present	Professor, Dept. of Computer Science, Rutgers University
2006 - present	Professor (status only)(This is the Toronto name for adjuncts who can advise graduate students but don't get paid ;-) Dept. of Computer Science, University of Toronto.
1984 -- 1999	Consultant, Principles of Knowledge Representation Dept., Bell Laboratories (Murray Hill, NJ) / AT&T Labs (Florham Park, NJ)
Sabbatical Visits (usually 1 month)	DCS, University of Toronto. KSL, Stanford University. KRDB Center, University of Bolzano; AI Department, SRI. IRST, and University of Trento. Forth Lab, University of Crete. DCS, UC Davis.
1986 - 1992	Associate Professor, Rutgers University.
1981-1985	Assistant Professor, Rutgers University.

HONORS

(a) Invited speaker at recent conferences/workshops:

• Distinguished speaker series: Dept. of Computer Science, Iowa State University, October 2009.
• Invited speaker, 14th Workshop on Logic, Language, Information and Computation (WoLLIC), July 2007, Rio de Janeiro, Brazil.
• Invited speaker, 20th International Workshop on Description Logics, June 2007, Brixen, Italy.
• Invited speaker, Workshop on Modular Ontologies, associated with Int.Semantic Web Conference (ISWC) 2006, November 2006, Athens, Georgia.
• Invited participant, EID'06 (2nd Internatinal Workshop on Exchange and Integration of Data), ``by invitation only'' workshop.

(b) Papers receiving special attention

• S.Greenspan, J.Mylopoulos, A.Borgida. ``Capturing more world knowledge in the requirements specification'', Proc. 6th International Conference on Software Engineering, Tokyo, Japan, September 1982, pp.225-234. Winner of " Most Influential Paper of ICSE 1982" prize, awarded in 1994. (Reprinted in Tutorial on Software Design Techniques, 4th edition, IEEE Computer Society, 1984)
• A. Borgida, J. Mylopoulos, R. Reiter, `` And nothing else changes ... - The frame problem in procedure specifications'', 15th Int. Conf. on Software EngineeringÅ, pp. 303-313, Baltimore, MD., 1993. (Selected among 5 best papers at the conference, to appear in IEEE TSE.)
• A. Borgida and L. Serafini, ``Distributed Description Logics: Assimilating Information from Peer Sources'', Journal of Data Semantics 1(1), pp.153-184, 2003. (One of 9 extended papers chosen for journal publication from the over 290 submissions and 70 accepted papers at the 2002 DOA/ODBASE/CoopIS conferences.)

(c) Teaching awards

• Recipient of the 3rd Annual Computer Science Graduate Students' Award for Excellence in Teaching, 1991.

PROFESSIONAL ACTIVITIES:

(a) Editorial Services

• Editorial Board of Journal of Data Semantics, 2006 - present
• Editorial Board of Journal of Artificial Intelligence Research, 2004 - 2008
• Editorial Board of ACM Transactions on Information Systems, ACM Press. 1995 - 2002
• Editorial board of International Journal of Intelligent Information Systems, Kluwer Academic Publishers, 1992 - present
• Editorial board of International Journal of Cooperative Information Systems, World Scientific Publishing Co. 1992 - present
• Editorial board of Automated Software Engineering, Kluwer Academic Publishers. 1994 - present
• Editorial board of Electronic Transactions on Artificial Intelligence , ``Concept-based knowledge representation'' subarea; 1998 - 2002
• Editorial board of Research Notes in Artificial Intelligence, Pittman Publishers. 1989-92.
• Workshop co-organizer of DyDAn Workshop on Semantics of Graphs, April 2007, Rutgers University.
• Wokshop co-organizer and co-editor of Proceedings of the 9th International Workshop on Knowledge Representation meets Databases (KRDB 2002), Toulouse, France. CEUR Workshop Proceedings Vol. 54.
• Workshop co-organizer and co-editor, Proceedings of 1999 International Workshop on Description Logics (DL'99), Linkoping, Sweden, CEUR Workshop Proceedings Vol.22
• Wokshop co-organizer and co-editor of Proceedings of the 5th International Workshop on Knowledge Representation meets Databases (KRDB 1998), Seattle, WA.
• Guest co-editor for special issue on ``Knowledge representation and reasoning in Software Engineering'', IEEE Trans. on Software Engineering, June and October, 1992.

(b) Service on Recent Conference and Workshop Program Committees:

2010 :	DL'10, EDBT'10, WOMO'10, ER'10, FLAIRS'23,
2009 :	DL'09, ER'09, ESCW'09, FLAIRS'22, LID'09, ODBASE'09, IWOD'09
2008 :	DL'08, VLDB'08, ESCW'08, ER'08, WORM'08, FLAIRS'08
2007 :	IJCAI'07, ESWC'07, ISWC'07, OODBASE'07, DL'07, AAAI'07 Nectar, SeCoGIS'07
2006 :	CoopIS'06, SeBGIS'06, WISE'06, OODBASE'06, PAKM'06, AAAI 06, AAAI NECTAR 2006, ICSNW'06, SWDB'06, CRR'06

GRADUATE STUDENT ADVISING

Ph.D. Students Advised or co-Advised

1. Sol Greenspan, ``A Requirements Modeling Language'', Univ. of Toronto, 1980-84. [At: GTE Labs; then Program Manager at NSF. ]
2. William Cohen, ``Abduction in Explanation Based Learning'', 1987 - 1990. [At: AT&T Labs; then Carnegie Melon Univeristy (Research Associate Professor)]
3. Prem Devanbu, ``Software Information Systems'', 1989-1994. [At: AT&T Labs; then U.C. Davis (Professor)]
4. Mukesh Dalal, "Approximate reasoning in knowledge representation", 1990- 1995. [At: Columbia University (Assist. Prof.); then LookAheadDecisions (startup co-founder)
5. Debborah McGuiness, ``Explanation in Description Logics'', 1989-1996. [At: AT&T Labs; then Knowledge Systems Lab, Stanford University (Associate Director)]
6. Takahiro Murata, ``Exceptions in Workflows'', 1997 - 2000. [At: Intel Research]
7. Yuan An, ``Discovering and Using Semantics for Database Schemas'', University of Toronto, 2003-2007. [At: Drexel University (Assist.Prof.)]
8. Lei Jiang, "Data Quality by Design: A Goal Oriented Approach", University of Toronto, 2005-2011. [At: Toronto, Postdoc position]
9. Neil Earnst, "Software Evolution: A Requirements Engineering Perspective", University of Toronto, 2007-2012 [At: UBC, Post-doc]

Other past advisees:

• Keith Williamson, "Learning in databases", Rutgers Univ., 1984 - 1988. (MPhil.) [At: Boeing Research, Seattle]
• Ralf Kuesters, visiting PhD student from RWTH Aachen: 1998/99. [At: Univeristy of Kiel (Professor), and affiliated with the Institute for Theoretical Computer Science, ETH Zurich.]

MSc. Theses supervised:

• John Barron, ``Dialogue organization and structure for Interactive Information Systems'', 1980.
• Brian Nixon, ``A Taxis Compiler'', 1983.

RECENT PUBLICATIONS

Book Chapters

• J. Mylopoulos and A. Borgida, ``Properties of Information Modelling Techniques for Information Systems Engineering'', in Bernus, P., Mertins, K., Schmidt, G. (eds.) Handbook on Architectures of Information Systems, Springer, 2006, 2nd edition, 17-58.
• A. Borgida, R. Brachman, ``Conceptual Modeling with Description Logics'', in Handbook of Description Logics, F.Baader et al (eds), Cambridge University Press, 2003
• A. Borgida, D. Rosati, M. Lenzerini, ``Description Logics in Data and Information Management'' in Handbook of Description Logics, F.Baader et al editors, Cambridge University Press, 2003

Recent Refereed Journal, Conference and Workshop Publications

• Alex Borgida, ``On importing knowledge from DL Ontologies'', Int. Workshop on Description Logics (DL'07).
• Lei Jiang, Thodoros Topalogolou, Alex Borgida, John Mylopoulos. "Goal-Oriented Conceptual Database Design", 4th IEEE International Conference on Requirements Engineering (RE 2007)(20% of submissions accepted)
• Yuan An, Alex Borgida, Renee Miller, John Mylopoulos, ``A Semantic Approach to Discovering Schema Mapping Expressions'', Int. Conf. on Data Engineering (ICDE) 2007(18% of submissions accepted)
• Lei Jiang, Thodoros Topaloglou, Alex Borgida, John Mylopoulos. ``Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management.'', 3th IEEE International Conference on Requirements Engineering (RE 2006)(12% of submissions accepted)
• Y.An, A. Borgida, J. Mylopoulos, ``Discovering the Semantics of Relational Tables Through Mappings'' Journal of Data Semantics VII, pp.1-32, 2006
• Y. An, J. Mylopoulos, A. Borgida ``Building Semantic Mappings from Databases to Ontologies'', AAAI NECTAR 2006.
• A. Borgida, T. Walsh, H. Hirsh: ``Towards Measuring Similarity in Description Logics''. Proc. 2005 Int. Wkshop on Description Logics, 2005,
• Yuan An, Alexander Borgida, John Mylopoulos: ``Constructing Complex Semantic Mappings Between XML Data and Ontologies.'' International Semantic Web Conference 2005(25% of submissions accepted): 6-20
• Yuan An, Alexander Borgida, John Mylopoulos: ``Inferring Complex Semantic Mappings Between Relational Tables and Ontologies from Simple Correspondences.'' Int. Conf. on Ontologies, Databases and Applications of Semantics (ODBASE) 2005 (22% of submissions accepted): 1152-1169.
• L. Serafini, A. Borgida, A. Tamlin, "Aspects of Distributed and Modular Ontology Reasoning", Proc. IJCAI'05 (18% of submissions accepted)
• Y. An, A. Borgida, J. Mylopoulos.''Refining Semantic Mappings from Relational Tables to Ontologies'', Proc. of 2nd Int. Workshop on Semantic Web and Databases (SWDB 2004), Revised Selected Papers, Springer Verlag LNCS, 84-90
• A. Borgida, J. Mylopoulos.''Data Semantics Revisited'', Proc. of 2nd Int. Workshop on Semantic Web and Databases (SWDB 2004), Revised Selected Papers, Springer Verlag LNCS
• V. Kashyap, A. Borgida ``Representing the UMLS Semantic Network Using OWL: (Or "What's in a Semantic Web Link?")'', International Semantic Web Conference ISWC 2003(19% of submissions accepted), 1-16
• A. Borgida and L. Serafini, ``Distributed Description Logics: Assimilating Information from Peer Sources'', Journal of Data Semantics 1(1), pp.153-184, 2003. (One of 9 extended papers chosen for journal publication from the over 290 submissions and 70 accepted papers at the 2002 DOA/ODBASE/CoopIS conferences.)
• A. Borgida and L. Serafini, ``Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources''. Proc. of 10th International Conference on Cooperative Information Systems (CoopIS'02),(26% of submissions accepted) 2002.
• A. Borgida and L. Serafini, ``Distributed Description Logics - Initial results'', Proc. of DL'2002 (International Workshop on Description Logics)
• R. Kusters, and A. Borgida, ``What's in an Attribute? Consequences for the Least Common Subsumer'', J. of Artificial Intelligence Research (JAIR), volume 14, pages 167-203, 2001.
• A. Borgida, ``Diachronic Description Logics'', Proc. International Workshop on Description Logics, 2001.
• T. Murata, A. Borgida, ``Handling of Irregularities in Human-Centered Information Systems: a unified framework for data and processes'', IEEE Trans. on Software Engineering, 26(10): 959-977, October, 2000
• A. Borgida, E. Franconi, and I. Horrocks. ``Explaining ALC subsumption.'' In Proc. of the 14th European Conf. on Artificial Intelligence (ECAI'2000), pages 209-213. IOS Press, 2000.
• A. Borgida, R. Kuesters, ``What's not in a name: Some Properties of a Purely Structural Approach to Integrating Large DL Knowledge Bases'', Proc. 2000 International Workshop on Description Logics, 2000.
• R.Brachman, D.McGuinness, P. Patel-Schneider, A. Borgida, ``Reducing CLASSIC to Practice: Knowledge Representation Theory Meets Reality'', Artificial Intelligence Journal, volume 114, (1-2): pp. 203-237, 1999
• A. Borgida, ``Extensible Knowledge Representation: the Case of Description Reasoners'',Journal of Artificial Intelligence Research, Volume 10, pages 399-434, 1999.
• F. Baader, R. Kuesters, A. Borgida, D. McGuinness, ``Matching in Description Logics'', Journal of Logic and Computation 9(3): pp.411-447, 1999.
• A. Borgida, P. Devanbu, ``Adding more `DL' to IDL: Towards more knowledgeable component interoperability'', in Proc. 18th International Conference on Software Engineering (ICSE'99 (19% of submissions accepted)), Los Angeles, April 1999.
• A. Borgida and T. Murata, ``A unified framework for exceptions in workflow/process models'', Proc. International Joint Conference on Work Activities Coordination and Collaboration (WACC'99(22% of submissions accepted)), February 1999, San Francisco, CA.

Frequently Cited Earlier Publications

• A. Borgida, D. McGuinness, ``Asking queries about frames'', Proc. 5th Intern. Conf. on Principles of Knowledge Representation and Reasoning (KR'96Å), Cambridge, MA; November, 1996.
• A. Borgida, ``On the Relative Expressiveness of Description Logics and Predicate Logics'', Artificial Intelligence Journal, 82 (1996): 353-367.
• A. Borgida, ``Description Logics in Data Management'', IEEE Trans. on Knowledge and Data Engineering, vol.7, no.5, October 1995, pp. 671-682.
• A. Borgida, J. Mylopoulos, R.Reiter, ``On the Frame Problem in Procedure Specifications'', IEEE Trans. on Software Engineering, vol 21, no.10, October 1995, pp.785-798. (A major revision of the ICSE'93 conference paper, with new material.)
• D. McGuinness, A. Borgida, ``Explaining Subsumption in Description Logics'', Proc. IJCAI'95Å, Montreal, August 1995, pp. 816-821.
• A. Borgida, P. F. Patel-Schneider, ``A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic'', Journal of Artificial Intelligence Research, vol. 1, 1994, pp.277-308.
• S. Greenspan, J. Mylopoulos, A. Borgida, ``On Formal Requirements Modeling Languages: RML Revisited'', Proc. 16th International Conference on Software Engineering, pp. 135-148, IEEE Comp. Sci. Press, 1994. (Invited paper (reviewed), after receiving the award.)
• A. Borgida, R. Brachman, ``Loading data into description reasoners'', ACM SIGMOD Conf. on Data ManagementÅ, 1993, Washington, DC, pp. 217 - 226.
• A. Borgida, J. Mylopoulos, R. Reiter, `` And nothing else changes ... - The frame problem in procedure specifications'', 15th Int. Conf. on Software EngineeringÅ, pp. 303-313, Baltimore, MD., 1993. (Selected among 5 best papers at the conference.)
• W. Cohen, A. Borgida, H. Hirsh, ``Computing Least Common Subsumers in Description Logics'', Proceeding of AAAI'92 ConferenceÅ, pp.754-760, San Jose, CA, July 1992.
• J.Mylopoulos, A.Borgida, M.Jarke, M. Koubarakis, ``Telos: Representing Knowledge about Information Systems'', ACM Trans. on Information Systems 8 (4), October 1990, pp.325-362.
• A.Borgida, R.Brachman, D.McGuiness, L.Alperin Resnick, ``CLASSIC: A structural data model for objects'', Proc. ACM SIGMOD '89 ConferenceÅ, Portland, Oregon, June 1989, pp.56-67.
• R.Agrawal, A.Borgida, H.V.Jagadish, ``Efficient Management of Transitive Relationships in Large Data and Knowledge Bases'', Proc. ACM SIGMOD '89 ConferenceÅ, Portland, Oregon, June 1989, pp.253-262.
• S.Greenspan, A.Borgida, J.Mylopoulos, ``A requirements modeling language and its logic'', Information Systems, 11(1), pp.9-23, 1986.
• A.Borgida, ``Language features for flexible handling of exceptions'', ACM Transactions on Database Systems, Vol.10, No.4, pp.565-603. 1985.

Sun Jul 29 12:18:16 EDT 2007