ISTO: A Language for Temporal Organizational Information Systems

  • Vitor Nogueira
  • Salvador Abreu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6547)


In this paper we propose to extend the logical framework ISCO (Information System COnstruction language) with an expressive means of representing and implicitly using temporal information. Moreover, we also provide a compilation scheme that targets a logic language with modularity and temporal reasoning.


Logic Programming Horn Clause Temporal Reasoning Expressive Means Temporal Class 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Porto, A.: An integrated information system powered by prolog. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol. 2562, pp. 92–109. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  2. 2.
    Abreu, S., Diaz, D., Nogueira, V.: Organizational information systems design and implementation with contextual constraint logic programming. In: IT Innovation in a Changing World – The 10th International Conference of European University Information Systems, Ljubljana, Slovenia (2004)Google Scholar
  3. 3.
    Abreu, S.: Isco: A practical language for heterogeneous information system construction. In: Proceedings of INAP 2001, Tokyo, Japan, Prolog Association of Japan (2001)Google Scholar
  4. 4.
    Nogueira, V., Abreu, S.: Temporal contextual logic programming. Electr. Notes Theor. Comput. Sci. 177, 219–233 (2007)CrossRefzbMATHGoogle Scholar
  5. 5.
    Nogueira, V., Abreu, S.: Temporal Annotations for a Contextual Logic Programming Language. In: Neves, J., Santos, M., Machado, J., eds.: Progress in Artificial Intelligence, 13th Portuguese Conference on Artificial Intellige nce, EPIA 2007, Universidade do Minho (2007)Google Scholar
  6. 6.
    Abreu, S.: Modeling Role-Based Access Control in ISCO. In: Ribeiro, L.M., dos Santos, J.M. (eds.) The 8th International Conference of European University Information Systems, FEUP Edies (2002) ISBN 972-752-051-0Google Scholar
  7. 7.
    Monteiro, L., Porto, A.: A Language for Contextual Logic Programming. In: Apt, K., de Bakker, J., Rutten, J. (eds.) Logic Programming Languages: Constraints, Functions and Objects, pp. 115–147. MIT Press, Cambridge (1993)Google Scholar
  8. 8.
    Abreu, S.P., Díaz, D.: Objective: In minimum context. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916, pp. 128–147. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  9. 9.
    Frühwirth, T.W.: Temporal annotated constraint logic programming. J. Symb. Comput. 22(5/6), 555–583 (1996)CrossRefzbMATHGoogle Scholar
  10. 10.
    Tansel, A.U., Clifford, J., Gadia, S., Jajodia, S., Segev, A., Snodgrass, R. (eds.): Temporal databases: theory, design, and implementation. Benjamin-Cummings Publishing Co., Inc., Redwood City (1993)Google Scholar
  11. 11.
    Corportation, O.: Oracle database 10g workspace manager overview. Oracle White Paper (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Vitor Nogueira
    • 1
  • Salvador Abreu
    • 1
  1. 1.Universidade de Évora and CENTRIAPortugal

Personalised recommendations