How knowledge representation meets software engineering (and often databases)

Abstract This paper surveys a selection of personal research projects which addressed problems related to Software Engineering, and whose solution was inspired by ideas from the field of Knowledge Representation and Reasoning. Surprisingly often, the research was also related to problems in Databases. We discuss, in part, to what extent did the KR ideas provide ready-made solutions to SE and DB problems, and how frequently we had to invent new KR techniques.

[1]  Robert Balzer,et al.  Tolerating Inconsistency , 1991, [1989] Proceedings of the 5th International Software Process Workshop.

[2]  Allen Newell,et al.  GPS, a program that simulates human thought , 1995 .

[3]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[4]  Mukesh Dalal,et al.  Investigations into a Theory of Knowledge Base Revision , 1988, AAAI.

[5]  Alexander Borgida,et al.  On the Definition of Specialization Hierarchies for Procedures , 1981, IJCAI.

[6]  Carole A. Goble,et al.  Applying Description Logics for Workflow Reuse and Repurposing , 2005, Description Logics.

[7]  John Mylopoulos,et al.  A requirements modeling language and its logic , 1986, Inf. Syst..

[8]  Dan Brickley,et al.  Rdf vocabulary description language 1.0 : Rdf schema , 2004 .

[9]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[10]  Alex Borgiday.  On the Relative Expressiveness of Description Logics and Predicate Logics , 1996 .

[11]  Alexander Borgida,et al.  Type systems for querying class hierarchies with non-strict inheritance , 1989, PODS '89.

[12]  John Mylopoulos,et al.  Semantic Networks and the Generation of Context , 1975, IJCAI.

[13]  John Mylopoulos,et al.  Generalization/Specialization as a Basis for Software Specification , 1982, On Conceptual Modelling.

[14]  John Mylopoulos,et al.  On the Frame Problem in Procedure Specifications , 1995, IEEE Trans. Software Eng..

[15]  Matthias Jarke,et al.  DAIDA: an environment for evolving information systems , 1992, TOIS.

[16]  Premkumar T. Devanbu,et al.  Adding more "DL" to IDL: towards more knowledgeable component inter-operability , 1999, Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).

[17]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1989 .

[18]  Alexander Borgida,et al.  Language features for flexible handling of exceptions in information systems , 1985, TODS.

[19]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

[20]  David S. Touretzky,et al.  A Clash of Intuitions: The Current State of Nonmonotonic Multiple Inheritance Systems , 1987, IJCAI.

[21]  Carole A. Goble,et al.  Seven Bottlenecks to Workflow Reuse and Repurposing , 2005, International Semantic Web Conference.

[22]  Alexander Borgida,et al.  Modeling class hierarchies with contradictions , 1988, SIGMOD '88.

[23]  John L. Barron.  Dialogue and process design for interactive information systems using Taxis , 1982 .

[24]  Joann J. Ordille,et al.  Querying Heterogeneous Information Sources Using Source Descriptions , 1996, VLDB.

[25]  Alexander Borgida,et al.  Extensible Knowledge Representation: the Case of Description Reasoners , 2011, J. Artif. Intell. Res..

[26]  Michael L. Brodie.  On conceptual modelling - perspectives from artificial intelligence, databases and programming languages , 1984, Topics in information systems.

[27]  Premkumar Devanbu,et al.  The use of description logics in KBSE systems , 1994, Proceedings of 16th International Conference on Software Engineering.

[28]  Premkumar T. Devanbu,et al.  Taxonomic Plan Reasoning , 1996, Artif. Intell..

[29]  John Mylopoulos,et al.  From E-R to "A-R" - Modelling Strategic Actor Relationships for Business Process Reengineering , 1994, Int. J. Cooperative Inf. Syst..

[30]  J. Barron,et al.  Dialogue and process design for interactive information systems using Taxis , 1982, COCS.

[31]  Axel van Lamsweerde,et al.  Requirements engineering in the year 00: a research perspective , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[32]  Deborah L. McGuinness,et al.  CLASSIC: a structural data model for objects , 1989, SIGMOD '89.

[33]  John Mylopoulos,et al.  Incorporating Goal Analysis in Database Design: A Case Study from Biological Data Management , 2006, 14th IEEE International Requirements Engineering Conference (RE'06).

[34]  John Mylopoulos.  TORUS - A Natural Language Understanding System For Data Management , 1975, IJCAI.

[35]  Premkumar T. Devanbu,et al.  LaSSIE—a knowledge-based software information system , 1991, ICSE '90.

[36]  John Mylopoulos,et al.  Simple and Minimum-Cost Satisfiability for Goal Models , 2004, CAiSE.

[37]  Premkumar T. Devanbu,et al.  LaSSIE: a knowledge-based software information system , 1990, [1990] Proceedings. 12th International Conference on Software Engineering.

[38]  Raymond Reiter,et al.  On Inheritance Hierarchies With Exceptions , 1983, AAAI.