Skip to main content
Springer Nature Link
Log in

Two Languages to Do the Same?

  • Conference paper
Informationssysteme und Künstliche Intelligenz: Modellierung

Part of the book series: Informatik-Fachberichte ((INFORMATIK,volume 303))

  • 35 Accesses

Abstract

In the paper we compare two languages originating from different areas of computer science. KARL is an executable specification language allowing explorative prototyping in the context of building knowledge-based systems (kbs). INCOME offers an executable specification language allowing explorative prototyping when building information systems. Our comparision shows very similar language primitives in both languages for modelling static knowledge. The main difference of the language offered by INCOME and KARL is the separation of data and control flow and the generic representation of the dynamical behavior of a modelled system in KARL.

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

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

Bibliography

  1. J. Angele, D. Fensel, D. Landes, and R. Studer: Explorative prototyping in KADS. In Proceedings of the 8th National Conference on Artificial Intelligence AAAI’91, Workshop Knowledge Acquisition (Anaheim, Cal., July 14–19), 1991. Extended version as Research Report 214, Institut fur Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, 1991.

    Google Scholar 

  2. J. Angele, D. Fensel, D. Landes, and R. Studer: Sisyphus - no problem with KARL. In Proceedings of the 5th European Knowledge Acquisition Workshop EKAW’91 (Crieff, Scotland, May 20–24 ), 1991.

    Google Scholar 

  3. J. Bachant: RIME: premliminary work toward a knowledge-acquisition tool. In Automating Knowledge Acquisition for Experts Systems, S. Marcus ed. Kluwer Academic Publisher, Boston, 1988, 201–224.

    Google Scholar 

  4. T.E. Bell, D.C. Bixler, and M.E. Dyer: An extendable approach to computer-aided software requirements engineering. IEEE Transactions on Software Engineering SE-3, 1 (January 1977), 49–60.

    Article  Google Scholar 

  5. C. Batini, M. Lenzerini, and S.B. Navathe: A comparative analysis of methodologies for database schema integration. ACM Computing Surveys 18, 4 (December 1986), 323–364.

    Article  Google Scholar 

  6. M.L. Brodie and D. Ridjanovic: On the design and specification of database transactions. In On Conceptual modelling. Perspectives from Artificial Intelligence, databases, and Programming languages, M.L. Brodie, J. Mylopoulos, and J.W. Schmidt, eds. Springer-Verlag, New York, 1984.

    Google Scholar 

  7. J. Breuker and B. Wielinga: Models of expertise in knowledge acquisition. In Topics in Expert Systems Design, G. Guida and C. Tasso, eds. Elsevier Science Publisher/North-Holland, Amsterdam, 1989, 265–295.

    Google Scholar 

  8. J. Breuker, B. Wielinga, M. v. Someren, R. de Hoog, G. Schreiber, P. de Greef, B. Bredeweg, J. Wielemaker, and J.-P. Billault: Model-driven knowledge acquisition: Interpretation models. Esprit Project P1098, University of Amsterdam (The Netherlands), 1987.

    Google Scholar 

  9. P.P. Chen: The entity relationship model. Toward a unified view of data. ACM Transactions on Database Systems 1, 1, 1976, 9–36.

    Article  Google Scholar 

  10. J.W. Clancey: Heuristic classification. Artificial Intelligence 27, 1985, 289–350.

    Article  Google Scholar 

  11. R. Elmasri and S.B. Navathe: Fundamentals of Database Systems. Benjamin Cummings, Redwood City, Cal., 1989.

    MATH  Google Scholar 

  12. D. Fensel, J. Angele, and D. Landes: Knowledge aquisition and representation language (KARL). In Proceedings of the 11th International Conference on Expert Systems and their Applications, vol.1, General Conference Tools, Techniques and Methods (Avignon, France, May 27–31), 1991, 513–525.

    Google Scholar 

  13. C. Floyd: A systematic look at prototyping. In Approaches to Prototyping, R. Budde et al., eds. Springer-Verlag, Berlin, 1984, 1–18.

    Google Scholar 

  14. G. Klinker, C. Bhola, G. Dallemagne, D. Marques, and J. McDermott: Usable and reusable programming constructs. In Proc. of the 5th AAAI-Sponsored Knowledge Acquisition for Knowledge-Based Systems Workshop (Banff, Canada, Nov.), 1989,14/1–14/20.

    Google Scholar 

  15. R. Köppen, D. Fensel, and J. Geidel: Modellierung der Auswahl von OR-Verfahren in KARL, research report, Institut für Angewandte Informatik, Universität Karlsruhe, 1992 (in appearance).

    Google Scholar 

  16. W. Karbach, A. Voß, R. Schuckey, and U. Drouven: MODEL-K: Prototyping at the knowledge level. In Proceedings of the 11th International Conference on Expert Systems and their Applications, vol 1, General Conference Tools, Techniques and Methods (Avignon, France, May 27–31), 1991, 501–511.

    Google Scholar 

  17. G. Lausen: Grundlagen einer netzorientierten Vorgehensweise fur den konzeptionellen Datenbankentwurf. Research Report 179, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, 1987.

    Google Scholar 

  18. M. Linster: Declarative problem-solving procedures as a basis for knowledge-acquisition: a first proposal. Arbeitspapiere der Gesellschaft fur Mathematik und Datenverarbeitung (GMD), no. 448, 1990.

    Google Scholar 

  19. G. Lausen, T. Nemeth, A. Oberweis, F. Schonthaler, W. Stucky: The INCOME approach for conceptual modelling and prototyping of information systems. In Proceedings of the 1st Nordic Conference on Advanced Systems Engineering CASE’89 ( Stockholm, Sweden, May ), 1989.

    Google Scholar 

  20. J. McDermott: Preliminary steps toward a taxonomy of problem-solving methods. In Automating Knowledge Acquisition for Expert Systems, S. Marcus, ed. Kluwer Academic Publisher, Boston, 1988, 225–256.

    Google Scholar 

  21. A. Newell: The knowledge level. Artificial Intelligence 18, 1982, 87–127.

    Article  Google Scholar 

  22. T. Nemeth, F. Schonthaler, and W. Stucky: Formale Spezifikation und Rapid Prototyping - Flexible Systementwicklung mit INCOME. Research Report 191, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, 1988.

    Google Scholar 

  23. A. Oberweis: Integritätsbewahrendes Prototyping von verteilten Systemen. In Proceedings of 19th Gl-Jahrestagung ( Munich, Germany, Oct. ), 1989.

    Google Scholar 

  24. A. Oberweis: Petri-Netz-Beschreibungstechniken fur Exception-Handling- Mechanismen in der Automatisierungstechnik. Research Report 207, Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, 1990.

    Google Scholar 

  25. A. Oberweis, G. Lausen: Temporal aspects in office information systems. In Office Systems: Methods and Tools, G. Bracchi et. al. (eds.), Elsevier Science Publisher B.V., North-Holland, 1987

    Google Scholar 

  26. A. Oberweis, G. Lausen: On the representation of temporal knowledge in office systems. In Temporal Aspects in Information Systems, C. Rolland et. al (eds.), Elsevier Science Publisher B.V., North-Holland, 1988.

    Google Scholar 

  27. D.T. Ross: Structured Analysis (SA): a language for communicating ideas. IEEE Transactions on Software Engineering SE-3, 1 (January 1977), 16–34.

    Article  Google Scholar 

  28. T. Schweier: Modellierung von Expcrtenwissen über Maßnahmen zur Emissionsminderung. Master’s thesis, University of Karlsruhe, 1991.

    Google Scholar 

  29. E. Soloway, J. Bachant, and K. Jensen: Assessing the maintainability of XCON-in-RIME: coping with the problems of a VERY large rule-base. In Proceedings of the 6th National Conference on Artificial Intelligence AAAI’87 (Seattle, Washington, July 13–17), 1987, 824–829.

    Google Scholar 

  30. A. Th. Schreiber, B. J. Wielanga, and J. A. Breuker: The KADS Framework for Modelling Expertise. In Proceedings of the European Knowledge Acquisition for Knowledge-Based Systems Workshop, Crieff, Scotland, Mai, 1991.

    Google Scholar 

  31. D. Teichrocw and E.A. Hershey: PSL/PSA: a computcr-aidcd technique for structured documentation and analysis of information processing systems. IEEE Transactions on Software Engineering SE-3, 1 (January 1977), 41–48.

    Article  Google Scholar 

  32. J.D. Ullman: Database and Knowledge-Base Systems, vol. 2. Computer Science Press, New York, 1989.

    Google Scholar 

  33. B. Wielinga, H. Akkermans, G. Schreiber, and J. Balder: A knowledge acquisition perspective on knowledge-level models. In Proc. of the 4th AAAI- Sponsored Knowledge Acquisition for Knowledge-Based Systems Workshop (Banff, Canada, Nov.), 1989,36/1–36/22.

    Google Scholar 

  34. T. Wetter: First order logic foundation of the KADS conceptual model. In Current Trends in Knowledge Acquisition, B. Wielinga et al., eds. IOS Press, Amsterdam, 1990, 356–375.

    Google Scholar 

  35. B.J. Wielinga, A.T. Schreiber, and J.A. Breuker: KADS - a modelling approach to knowledge engineering. Technical Report ESPRIT Project P5248 KADS-II/Tl.1/PP/UvA/008/1.0, University of Amsterdam, 1991.

    Google Scholar 

  36. E. Yourdon: Modern Structured Analysis. Prentice Hall, Englewood Cliffs, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, University of Karlsruhe, P.O. Box 69 80, 7500, Karlsruhe, Germany

    J. Angele, D. Fensel & D. Landes

Authors
  1. J. Angele
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. D. Fensel
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. D. Landes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institut für Angewandte Informatik und Formale Beschreibungsverfahren, Universität Karlsruhe, Postfach 6980, W-7500, Karlsruhe, Germany

    Rudi Studer

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Angele, J., Fensel, D., Landes, D. (1992). Two Languages to Do the Same?. In: Studer, R. (eds) Informationssysteme und Künstliche Intelligenz: Modellierung. Informatik-Fachberichte, vol 303. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-77312-9_3

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-77312-9_3

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-55182-9

  • Online ISBN: 978-3-642-77312-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics