Phone: (732) 445-6450 ext. 4744
Fax: (732) 445-0537 

Email: borgida at cs . rutgers . eduu
Office: CoRE 315 
Office hours: Thursday 2:30pm - 4:00pm  and anytime by email/appointment

• 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.
• 198:431 SoftwareEngineering
• 198:336 Information and Data Management 

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.  Goal-oriented Database Management.

Most Recent Publications:

• "When KR meets Software Engineering (and often Databases)"  . To appear in Journal of Automated Software Engineering, 2007. (pdf draft) 
• "Goal-Oriented Conceptual Database Design" . Conf .on Requirements Engineering 2007 (RE07), with L.Jiang, T.Topaloglou, J. Mylopoulos. (pdf draft) 
• "On Importing Knowledge from DL Ontologies: some intuitions and problems",Wkshop on Description Logics  (DL07) 2007. 
• "KR meets Databases: a view of the symbiosis", invited talk and paper at Wkshop on Description Logics  (DL07), 2007.
• "A Semantic Approach to Discovering Schema Mapping Expressions". Int. Conf. Data Engineering (ICDE) 2007: 206-215. 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) 

My frequently cited publications.  (according to Scholar Google) (note problems of searching for Alexander vs Alex ;-))

Selected papers grouped by topics:

Goal-oriented database design 

• ''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) 
• ''A Semantic Approach to Discovering Schema Mapping Expressions'', Int. Conf. Data Engineering ICDE 2007, (With Yuan An, Renee Miller, John 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/Modular Description Logics

• "Aspects of Distributed and Modular Ontology Reasoning",  Proc. IJCAI'05, pp.570-575 (With L. Serafini, and A. Tamlin)
• "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)
• Uniqueness Constraints in Description Logics (with G. Weddell, 1997)
• Loading data into description reasoners ( with R. Brachman. 1993)

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 )