Professor Department of Computer Science Rutgers University Piscataway, NJ 08855 ,  USA  Phone (for leaving messages): (732) 445 2001 (x4744) Fax: (732) 445-0537 Email: borgida monkey's tail cs . rutgers . edu Office: CoRE 315 Office hours: Thursday, 1:45pm -- 3:10pm

All smart and beautiful - how did I get so lucky?.

Some thoughts on the meaning/purpose of life I've run accross and found worth recording

Contents Teaching  Research Memories

RECENT TEACHING 198:336 Information and Data Management 198:431 Software Engineering 198:205 Discrete Structures 198:541 Data and Information Management (graduate course) 198:532 Foundations of Knowledge Representation and Reasoning 198:672 Conceptual Modeling and Ontologies (Representing the meaning of life, the universe and everything.) xxx:275 Prolog(ue) to Artificial Intelligence Honors Seminar for students not familiar with programming. RESEARCH INTERESTS General: Improved software and database/information base development techniques. Since such systems maintain models of some (users' beliefs about) reality, my approach is often based on the use of knowledge representation and reasoning techniques. As a result, I sometime contribute to KR&R research to achieve my goals. Current: Description Logics: import/modularization; similarity; modeling actions, goals, relationships. Conceptual modeling. Ontological foundations of Data Quality. Business Intelligence. Requirements Engineering Languages. SHORT VITA Most Recent Publications:  ``A formal semantics for weighted ontology mappings.'', M. Atencia, A. Borgida, J. Euzenat, C. Ghidini andL.  Serafini: 11th Int. Semantic Web Conference (ISWC'12) 17-33. ACCEPTANCE RATE: 41/183 (22%). Short-listed for Best Paper prize. ``Strategic Business Modeling: Representation and Reasoning", J. Horkoff, D. Barone, L. Jiang, E. Yu, D. Amyot, A. Borgida, J. Mylopoulos, Journal of Software and System Modeling, special issue on Enterprise Modeling. October 2012 http://link.springer.com/article/10.1007%2Fs10270-012-0290-8  ``Agile Requirements Evolution via Paraconsistent Reasoning.'',  N. Ernst, A. Borgida, J. Mylopoulos, I. Jureta: 24th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2012): 382-397.ACCEPTANCE RATE: 42/297 (14%). Invited for submission to Special Issue of Information System Journal devoted to CAiSE Best Papers.  ``Experiences in Mapping the Business Intelligence Model to Description Logics, and the Case for Parametric Concepts.'',A. Borgida, J. Horkoff, J. Mylopoulos, R. Rosati, 25th Int. Workshop on Description Logics (DL 2012) 16 pages (long paper). ``Making Data Meaningful: The Business Intelligence Model and its Formal Semantics in Description Logics.'', J. Horkoff, A. Borgida, J. Mylopoulos, D. Barone, L. Jiang, E. Yu, D. Amyot,  Presented at ODBASE Conf. 2012, ACCEPTANCE RATE: 29% ``Requirements evolution drives software evolution.'', N.A. Ernst, A. Borgida, J. Mylopoulos: 12th Int. Workshop on Principles of Software Evolution (EVOL/IWPSE) 2011: 16-20 ``Deriving Effectiveness Measures for Data Quality Rules.'' L. Jiang, A. Borgida, D. Barone, J. Mylopoulos: 8th Int. Wkshp on Quality in Databases (QDB 2010), associated with VLDB'2010. 9 pages. ``Finding incremental solutions for evolving requirements.''  N. A. Ernst, A. Borgida, I. Jureta: 19th IEEE Int. Requirements Engineering Conf. (RE 2011): 15-24. ACCEPTANCE RATE: 23/138 (16.7 %) "Reasoning with Optional and Preferred Requirements", N. Ernst, J. Mylopoulos, A. Borgida, I. Jureta. 29th International Conference on Conceptual Modeling (ER 2010), 118-131 ACCEPTANCE RATE: 30/147 (20.4 %) "Techne: Towards a New Generation of Requirements Modeling Languages with Goals, Preferences, and Inconsistency Handling", I. Jureta, A. Borgida, N. Ernst, J. Mylopoulos,  18th IEEE Int. Requirements Engineering Conf. (RE 2010): 115-124 ACCEPTANCE RATE: 24/151 (15.9%) "Conceptual Modeling: Foundations and Applications (Essays in Honour of John Mylopoulos)" Lecture Notes in Computer Science, Vol.5600, 2009; 505 pages. Editors: Alexander Borgida, Vinay Chaudhri, Paolo Giorgini, and Eric Yu. Table of Contents "A Sophisticate's Guide to Information Modeling", Chapter 1 in Metamodeling for Method Engineering, M. A. Jeusfeld et al (eds), pp. 1-41, MIT Press (2008). With John Mylopoulos. Chapter available here for downloading from MIT Press "Explanation in the DL-Lite Family of Description Logics", Proc. of the 7th Int. Conf. on Ontologies, Databases, and Applications of Semantics (ODBASE 2008), , Vol. 5332 of Springer LNCS, pp. 1440-1457 (2008). With D. Calvanese, and M. Rodriguez-Muro. ( pdf) "Explanation in DL-Lite", Proc. 21st International Workshop on Description Logics (DL2008). With D. Calvanese, M. Rodriguez-Muro. "How Knowledge Representation meets Software Engineering (and often Databases)" Journal of Automated Software Engineering, 14(4), pp.443-464 (2007) (pdf draft)  "Knowledge Representation meets Databases: a view of the symbiosis", invited talk and paper at the 20th International Workshop on Description Logics (DL2007), . Importing knowledge from DL ontologies and Knowledge Bases "On Importing Knowledge from Ontologies", Chapter 4 (pp. 91-112) in Modular Ontologies: Concepts, Theories and Techniques for Knowledge Modularization. H. Stuckenschmidt, C. Parent, S. Spaccapietra (eds), Lecture Notes in Computer Science Vol. 5445, Springer (2009) pdf draft "Importing from Functional Knowledge Bases - A Preview", Proc. 2nd International Workshop on Modular Ontologies (WoMO'07) (2007) "On Importing Knowledge from DL Ontologies: some intuitions and problems",Proc. 20th International Workshop on Description Logics (DL'07) (2007) "Distributed Description Logics: Assimilating Information from Peer Sources" Journal of Data Semantics (1). 2003, pp.153-184 (With L. Serafini) (see more on Distributed Description Logics below) Data quality and database schema design "Towards a Compositional Semantic Account of Data Quality Attributes", Proc. 27th International Conference on Conceptual Modeling (ER 2008), With L. Jiang, J. Mylopoulos. pdf draft "Measuring and Comparing Effectiveness of Data Quality Techniques." Proc. 21st Int. Conf. on Advanced Information Systems Engineering, (CAiSE 2009) , pp. 171-185 (2009). With L. Jiang, D. Barone, and J. Mylopoulos. pdf draft Data semantics: finding mappings between ontologies and database schemas "A Semantic Approach to Discovering Schema Mapping Expressions". Int. Conf. Data Engineering (ICDE'07): pp.206-215 (2007). With Y.An, R.Miller, J.Mylopoulos. (pdf draft) "Discovering the Semantics of Relational Tables Through Mappings". J. Data Semantics VII: 1-32 (2006). With Y.An, J.Mylopoulos. (pdf draft) (See more below) My frequently cited publications.  (according to Scholar Google) (note problems of searching for Alexander vs Alex ;-)) Selected older papers grouped by topics: Goal-oriented database design "Goal-Oriented Conceptual Database Design" . Conf .on Requirements Engineering (RE'07), with L.Jiang, T.Topaloglou, J. Mylopoulos. (pdf draft)  ''Incorporating Goal Analysis in Database Design'', Requirements Engineering Conferencec, RE 2006, pp.196-204. With L. Jiang, T. Topaloglou,, J. Mylopoulos. Providing Semantics for Data, and Using It ''Data Semantics Revisited'', Proc. of 2nd Int. Workshop on Semantic Web and Databases (SWDB 2004), Revised Selected Papers, Springer Verlag LNCS, pp.9-26. (With J. Mylopoulos)  ``Constructing Complex Semantic Mappings Between XML Data and Ontologies.' International Semantic Web Conference ISWC 2005, pp. 6-20 (With Yuan An, 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: 1152-1169. (With Yuan An, John Mylopoulos) Distributed Description Logics "Aspects of Distributed and Modular Ontology Reasoning" In Proc. of the 19th International Joint Conference on Artificial Intelligence (IJCAI'05), pp.570-575 (2005). With L. Serafini, and A. Tamlin. pdf "Distributed Description Logics: Assimilating Information from Peer Sources" Journal of Data Semantics (1). 2003, pp.153-184 (With L. Serafini) "Distributed Description Logics: Directed Domain Correspondences in Federated Information Sources". In R. Meersman and Z. Tari, editors, On The Move to Meaningful Internet Systems 2002:  CoopIS, DOA, and ODBASE, LNCS Volume 2519, pages 36--53. Springer Verlag, 2002. With L. Serafini Description Logics for Software Service Description Adding more "DL" to IDL: towards more knowledgeable component interoperability Providing "lightweight semantics" to CORBA IDL descriptions in the form of invariants and pre/post conditions for operations expressed in DLs. (Joint work with Prem Devanbu, appeared in ICSE'99.) Exceptions in information systems and workflows A unified framework for exceptions in workflow/process models (with T. Murata, Proc. WACC'99) Language features for flexible handling of exceptions (ACM TODS 1985) Description Logics in Data Management Description Logics in Data Management (1995) Loading data into description reasoners ( with R. Brachman. 1993) Uniqueness Constraints in Description Logics (with G. Weddell, 1997) Theory and Implementation of Description Logics Extensible Knowledge Representation: the Case of Description Reasoners (JAIR 1999) On the relative expressive power of Description Logics and Predicate Calculus (AI Jorunal, 1996) Asking questions about Frames (with D. McGuinness; 1996) Explaining Subsumption in Description Logics (with D.McGuinness; 1995) A Semantics and Complete Algorithm for Subsumption in the CLASSIC Description Logic JAIR 1994 (with P. Patel-Schneider) Conceptual Modeling Languages Features Of Languages For The Development Of Information Systems At The Conceptual Level (1985) Language Features for Flexible Handling of Exceptions (1985) Requirments Modeling and Specification On the Frame Problem in Procedure Specifications (With R.Reiter and J.Mylopoulos 1995; Based on Among-best-5-papers at ICSE'93) On Formal Requirements Modeling Languages: RML Revisited (Invited paper on the occasion of receiving the ICSE n-10  award for Best Paper at ICSE'82.  Int.Conf. on Software Engineering (ICSE)'94, Rome. with J.Mylopoulos and S. Greenspan ) ON THE WAY HERE   (Memories) >>>