Process Representation and Reasoning Using a Logic Formalism with Object-Oriented Features

  • Andrea Gualtieri
  • Tina Dell’Armi
  • Nicola Leone
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4103)


A novel approach to model processes and workflows is presented. It is based on the OntoDLP language, an extension of Disjunctive Logic Programming with object-oriented features. Compared to traditional models, the approach enables knowledge inference on dynamic structures of the process, thanks to the reasoning capabilities of OntoDLP. Moreover, the approach can be also used to redefine and classify existing workflow schemes. Indeed, their execution traces, produced by workflow engines, can be easily imported through the mapping facilities of the underlying metamodel, and eventually organized into taxonomic structures for modeling different execution-patterns.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Baral, C., Gelfond, M.: Logic Programming and Knowledge Representation. JLP 19/20, 73–148 (1994)CrossRefMathSciNetGoogle Scholar
  2. 2.
    Lobo, J., Minker, J., Rajasekar, A.: Foundations of Disjunctive Logic Programming. The MIT Press, Cambridge (1992)Google Scholar
  3. 3.
    Disjunctive Logic Programming and Disjunctive Databases. In: 13th IFIP World Computer Congress, Hamburg, Germany (1994)Google Scholar
  4. 4.
    Eiter, T., Faber, W., Gottlob, G., Koch, C., Leone, N., Mateis, C., Pfeifer, G., Scarcello, F.: The DLV System. In: Workshop on Logic-Based Artificial Intelligence, Washington, DC (1999)Google Scholar
  5. 5.
    Gelfond, M., Lifschitz, V.: Classical Negation in Logic Programs and Disjunctive Databases. NGC 9, 365–385 (1991)CrossRefGoogle Scholar
  6. 6.
    Lifschitz, V.: Foundations of Logic Programming. Principles of Knowledge Representation, 69–127 (1996)Google Scholar
  7. 7.
    Minker, J.: Overview of Disjunctive Logic Programming. AMAI 12, 1–24 (1994)MathSciNetGoogle Scholar
  8. 8.
    Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2002)Google Scholar
  9. 9.
    Greco, S., Leone, N., Rullo, P.: COMPLEX: An Object-Oriented Logic Programming System. IEEETKDE 4 (1992)Google Scholar
  10. 10.
    Casati, F., Ceri, S., Pernici, B., Pozzi, G.: Conceptual Modeling of Workflows. In: Proc. 14th Object-Oriented and Entity-Relationship Modelling, Gold Coast, Australia (December 1995)Google Scholar
  11. 11.
    Kappel, G., Lang, P., Rausch-Schott, S., Retschitzegger, W.: Workflow Management Based on Objects, Rules, and Roles. Bulletin of the Technical Committee on Data Engineering 18(1), 11–18 (1995)Google Scholar
  12. 12.
    Kradolfer, M.: A Workflow Metamodel Supporting Dynamic, Reuse-Based Model Evolution, University of Zürich, Ph. D. ThesisGoogle Scholar
  13. 13.
    Greco, G., Guzzo, A., Manco, G., Saccá, D.: Mining and Reasoning on Workflows. IEEE Trans. Knowl. Data Eng. 17(4), 519–534 (2005)CrossRefGoogle Scholar
  14. 14.
    Workflow Management Coalition: Terminology and Glossary, Issue 3.0. Document Number WfMC TC-1011 (1999)Google Scholar
  15. 15.
    Arkin, A.: Business Process Modeling Language, (2002)Google Scholar
  16. 16.
    Shapiro, R.: A comparison of XPDL, BPML and BPEL4WS, Cape Vision (2002)Google Scholar
  17. 17.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  18. 18.
    IBM: Business process execution language web services, version 1.0 (2002)Google Scholar
  19. 19.
    Jboss: jBPM Process Definition Language, version 3.0 (2005)Google Scholar
  20. 20.
    Gualtieri, A., Ruffolo, M.: An Ontology-Based Framework for Representing Organizational Knowledge. In: Proceeding of I-Know 2005 - 5th International Conference on Knowledge Management, Graz Austria (2005)Google Scholar
  21. 21.
  22. 22.
    Ricca, F., Leone, N.: Disjunctive Logic Programming with Types and Objects: The DLV+ System. Journal of Applied Logics Elsevier ISSN: 1570-8683; KBS Research Reports INFSYS RR-1843-05-10 Institut fr Informationssysteme Technische Universitt Wien Favoritenstrasse 11 A-1040, Vienna, Austria (2006) (to appear)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Andrea Gualtieri
    • 1
    • 2
  • Tina Dell’Armi
    • 1
  • Nicola Leone
    • 3
  1. 1.Exeura srlUniversity of CalabriaRendeItaly
  2. 2.DEISUniversity of CalabriaRendeItaly
  3. 3.Department of MathematicsUniversity of CalabriaRendeItaly

Personalised recommendations