Towards an Ontology-Based Framework to Generate Diagnostic Decision Support Systems

  • Giuseppe Cicala
  • Marco Oreggia
  • Armando Tacchella
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8249)


The task of a Diagnostic Decision Support System (DDSS) is to deduce the health status of a physical system. We propose a framework to generate DDSS software based on formal descriptions of the application domain and the diagnostic rules. The key idea is to describe systems and related data with a domain ontology, and to describe diagnostic computations with an actor-based model. Implementation-specific code is automatically generated from such descriptions, while the structure of the DDSS is invariant across applications. Considering an artificial scalable domain related to the diagnosis of air conditioning systems, we present a preliminary experimental comparison between a hand-made DDSS, and one generated with a prototype of our framework.


Clinical Decision Support System Domain Ontology Rule Model Hybrid Automaton Rule Engine 
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.
    Agha, G.A.: Actors: A Model of Concurrent Computation in Distributed Systems. PhD thesis, University of Michigan (1985)Google Scholar
  2. 2.
    Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: DL-Lite: Tractable Description Logics for Ontologies. In: Proceedings of the 20th National Conference on Artificial Intelligence (AAAI 2005), vol. 20, pp. 602–607 (2005)Google Scholar
  3. 3.
    Eom, S., Kim, E.: A survey of decision support system applications (1995–2001). Journal of the Operational Research Society 57(11), 1264–1278 (2005)CrossRefGoogle Scholar
  4. 4.
    Gennari, J.H., Musen, M.A., Fergerson, R.W., Grosso, W.E., Crubézy, M., Eriksson, H., Noy, N.F., Tu, S.W.: The Evolution of Protégé: An Environment for Knowledge-Based Systems Development. International Journal of Human-Computer Studies 58(1), 89–123 (2003)CrossRefGoogle Scholar
  5. 5.
    Gruber, T.R.: Toward principles for the design of ontologies used for knowledge sharing. International Journal of Human Computer Studies 43(5), 907–928 (1995)CrossRefGoogle Scholar
  6. 6.
    Kazakov, Y.: \(\cal R I Q\) and \(\cal S R O I Q\) are Harder than \(\cal S H O I Q\). In: Description Logics (2008)Google Scholar
  7. 7.
    Lee, E.A., Tripakis, S., Stergiou, C., Shaver, C.: A Modular Formal Semantics for Ptolemy. Technical report, University of California at Berkley — Dept. of Electrical Engineering and Computer Science (2011)Google Scholar
  8. 8.
    Motik, B., Patel-Schneider, P.F., Parsia, B., Bock, C., Fokoue, A., Haase, P., Hoekstra, R., Horrocks, I., Ruttenberg, A., Sattler, U., et al.: OWL 2 Web Ontology Language: Structural Specification and Functional-Style Syntax. W3C Recommendation 27 (2009)Google Scholar
  9. 9.
    Namburu, S.M., Azam, M.S., Luo, J., Choi, K., Pattipati, K.R.: Data-driven modeling, fault diagnosis and optimal sensor selection for HVAC chillers. IEEE Transactions on Automation Science and Engineering 4(3), 469–473 (2007)CrossRefGoogle Scholar
  10. 10.
    Rodrıguez-Muro, M., Calvanese, D.: Quest, an OWL 2 QL Reasoner for Ontology-based Data Access. In: OWLED 2012 (2012)Google Scholar
  11. 11.
    Sampath, M., Sengupta, R., Lafortune, S., Sinnamohideen, K., Teneketzis, D.C.: Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4(2), 105–124 (1996)CrossRefGoogle Scholar
  12. 12.
    Sim, I., Gorman, P., Greenes, R.A., Haynes, B.R., Kaplan, B., Lehmann, H., Tang, P.C.: Clinical decision support systems for the practice of evidence-based medicine. Journal of the American Medical Informatics Association 8(6), 527–534 (2001)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2013

Authors and Affiliations

  • Giuseppe Cicala
    • 1
  • Marco Oreggia
    • 1
  • Armando Tacchella
    • 1
  1. 1.Dipartimento di Informatica, Bioingegneria, Robotica e Ingegneria dei Sistemi (DIBRIS)Università degli Studi di GenovaGenovaItalia

Personalised recommendations