Skip to main content
SpringerLink
Log in

How knowledge representation meets software engineering (and often databases)

  • Invited paper
  • Published:
Automated Software Engineering Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  • Balzer, R.: Tolerating inconsistency. ICSE 1991, pp. 158–165

  • Barron, J.L.: Dialogue and process design for interactive information systems using taxis. In: Proc. ACM SIGOA, Philadelphia, 12–20 June 1982

  • Borgida, A.: On the definition of specialization hierarchies for procedures. In: IJCAI 1981, pp. 254–256 (1981)

  • Borgida, A.: Language features for flexible handling of exceptions in information systems. ACM Trans. Database Syst. 10(4), 565–603 (1985)

    Article  Google Scholar 

  • Borgida, A.: Modeling class hierarchies with contradictions. In: Proc. ACM SIGMOD Conference 1988, pp. 434–443 (1988)

  • Borgida, A.: Type systems for querying class hierarchies with non-strict inheritance. In: Prov. ACM PODS 1989, pp. 394–400 (1989)

  • Borgida, A.: On the relative expressiveness of description logics and predicate logics. Artif. Intell. 82(1–2), 353–367 (1996)

    Article  MathSciNet  Google Scholar 

  • Borgida, A.: Extensible knowledge representation: the case of description reasoners. J. Artif. Intell. Res. (JAIR) 10, 399–434 (1999)

    MATH  MathSciNet  Google Scholar 

  • Borgida, A., Devanbu, P.T.: Adding more “DL” to IDL: towards more knowledgeable component inter-operability. In: ICSE 1999, pp. 378–387 (1999)

  • Borgida, A., Brachman, R.J., McGuinness, D.L., Resnick, L.A.: CLASSIC: a structural data model for objects. In: Proc. ACM SIGMOD Conference 1989, pp. 58–67 (1989)

  • Borgida, A., Mylopoulos, J., Reiter, R.: On the frame problem in procedure specifications. IEEE Trans. Softw. Eng. 21(10), 785–798 (1995)

    Article  Google Scholar 

  • Borgida, A., Mylopoulos, J., Wong, H.K.T.: Generalization/specialization as a basis for software specification. In: Brodie, M., Mylopoulos, J., Schmidt, J. (eds.) On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases and Programming Languages. Springer (1984)

  • Calvanese, D., De Giacomo, G., Lenzerini, M., Nardi, D., Rosati, R.: Data integration in data warehousing. Int. J. Cooperative Inf. Syst. 10(3), 237–271 (2001)

    Article  Google Scholar 

  • Dalal, M.: Investigations into a theory of knowledge base revision. In: AAAI 1988, pp. 475–479 (1988)

  • Devanbu, P., Jones, M.: The use of description logics in KBSE systems. ACM. Trans. Softw. Eng. Method. 6(2), 141–172 (1997)

    Article  Google Scholar 

  • Devanbu, P.T., Litman, D.J.: Taxonomic plan reasoning. Artif. Intell. 84(1–2), 1–35 (1996)

    Article  Google Scholar 

  • Devanbu, P.T., Brachman, R.J., Selfridge, P.G.: LaSSIE: a knowledge-based software information system. Commun. ACM 34(5), 34–49 (1991)

    Article  Google Scholar 

  • Etherington, D.W., Reiter, R.: On inheritance hierarchies with exceptions. In: AAAI 1983, pp. 104–108 (1983)

  • Goderis, A., Sattler, U., Goble, C.A.: Applying description logics for workflow reuse and repurposing. Descr. Log. 2005

  • Greenspan, S.J., Borgida, A., Mylopoulos, J.: A requirements modeling language and its logic. Inf. Sys. 11(1), 9–23 (1986)

    Article  Google Scholar 

  • Greenspan, S.J., Mylopoulos, J., Borgida, A.: On formal requirements modeling languages: RML revisited. In: ICSE 1994, pp. 135–147 (1994)

  • Jarke, M., Mylopoulos, J., Schmidt, J.W., Vassiliou, Y.: DAIDA: an environment for evolving information systems. ACM Trans. Inf. Syst. 10(1), 1–50 (1992)

    Article  Google Scholar 

  • Jiang, L., Topaloglou, T., Borgida, A., Mylopoulos, J.: Incorporating goal analysis in database design: a case study from biological data management. In: RE 2006, pp. 196–204 (2006)

  • Levy, A.Y., Rajaraman, A., Ordille, J.J.: Querying heterogeneous information sources using source descriptions. In: VLDB 1996, pp. 251–262 (1996)

  • Mylopoulos, J., Borgida, A., Cohen, P., Roussopoulos, N., Tsotsos, J.K., Wong, H.K.T.: TORUS—a natural language understanding system for data management. In: IJCAI 1975, pp. 414–421 (1975a)

  • Mylopoulos, J., Cohen, P., Borgida, A., Sugar, L.: Semantic networks and the generation of context. In: IJCAI 1975, pp. 134–142 (1975b)

  • Mylopoulos, J., Bernstein, P.A., Wong, H.K.T.: A language facility for designing database-intensive applications. SIGMOD 1978 (Abstract). ACM Trans. Database Syst. 5(2), 185–207 (1980)

    Article  Google Scholar 

  • Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M.: Telos: representing knowledge about information systems. ACM Trans. Inf. Syst. 8(4), 325–362 (1990)

    Article  Google Scholar 

  • Newell, A., Simon, H.A.: GPS, a program that simulates human thought. In: Computation and Intelligence: Collected Readings, pp. 415–428. MIT Press (1995) (Original RAND Report: 1961)

  • RDF Vocabulary Description Language 1.0: RDF Schema. http://www.w3.org/TR/rdf-schema/

  • Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: CAiSE 2004, pp. 20–35 (2004)

  • Touretzky, D.S., Horty, J.F., Thomason, R.H.: A clash of intuitions: the current state of nonmonotonic multiple inheritance systems. In: IJCAI 1987, pp. 476–482 (1987)

  • van Lamsweerde, A.: Requirements engineering in the year 00: a research perspective. In: ICSE 2000, pp. 5–19 (2000)

  • Yu, E.S.K., Mylopoulos, J.: From E-R to A-R—modelling strategic actor relationships for business process reengineering. Int. J. Cooperative Inf. Syst. 4(2–3), 125–144 (1995)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Rutgers University, New Brunswick, NJ, 08904, USA

    Alex Borgida

Authors
  1. Alex Borgida
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Alex Borgida.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Borgida, A. How knowledge representation meets software engineering (and often databases). Autom Softw Eng 14, 443–464 (2007). https://doi.org/10.1007/s10515-007-0018-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10515-007-0018-0

Keywords

Search

Navigation