Declaratively Querying and Visualizing Knowledge Bases in Xml

  • Dietmar Seipel
  • Joachim Baumeister
  • Marbod Hopfner
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3392)


The maintenance of large knowledge systems usually is a rather complex task. In this paper we will show that extensions or modifications of a knowledge base can be supported by appropriate visualizations techniques, e.g. by illustrating dependencies within the considered knowledge.

In particular, we introduce a declarative approach for querying and visualizing rule–based knowledge represented as Xml documents; a knowledge engineer can extract and visually inspect parts of the knowledge base by ad–hoc declarations in a flexible manner.


knowledge systems rule bases Prolog Owl Xml query / transformations visualization 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abiteboul, S., Bunemann, P., Suciu, D.: Data on the Web – From Relations to Semi–Structured Data and XML. Morgan Kaufmann, San Francisco (2000)Google Scholar
  2. 2.
    Antoniou, G., van Harmelen, F.: A Semantic Web Primer. MIT Press, Cambridge (2004)Google Scholar
  3. 3.
    Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)Google Scholar
  4. 4.
    Diehl, S. (ed.): Dagstuhl Seminar 2001. LNCS, vol. 2269. Springer, Heidelberg (2002)zbMATHGoogle Scholar
  5. 5.
    Erdogmus, H., Tanir, O. (eds.): Advances in Software Engineering – Comprehension, Evaluation, and Evolution. Springer, Heidelberg (2002)zbMATHGoogle Scholar
  6. 6.
    Fowler, M.: Refactoring – Improving the Design of Existing Code. Addison–Wesley, London (1999)Google Scholar
  7. 7.
    Hopfner, M., Seipel, D.: Reasoning about Rules in Deductive Databases. In: Proc. 17th Workshop on Logic Programming WLP 2002 (2002)Google Scholar
  8. 8.
    Hopfner, M., Seipel, D., Wolff von Gudenberg, J.: Comprehending and Visualising Software based on XML Representations and Call Graphs. In: Proc. 11th IEEE International Workshop on Program Comprehension IWPC 2003 (2003)Google Scholar
  9. 9.
    Holt, R., Winter, A., Schürr, A.: GXL: Towards a Standard Exchange Format. In: Proc. Working Conference on Reverse Engineering WCRE 2000 (2000),
  10. 10.
    Hüttig, M., Buscher, G., Menzel, T., Scheppach, W., Puppe, F., Buscher, H.–P.: A Diagnostic Expert System for Structured Reports, Quality Assessment, and Training of Residents in Sonography, Medizinische Klinik (2004)Google Scholar
  11. 11.
    Puppe, F.: Knowledge Reuse among Diagnostic Problem–Solving Methods in the Shell–Kit D3. International Journal of Human–Computer Studies(49) (1998)Google Scholar
  12. 12.
    Serebrenik, A., Demoen, B.: Refactoring Logic Programs. In: Palamidessi, C. (ed.) ICLP 2003. LNCS, vol. 2916. Springer, Heidelberg (2003) (Poster Session)Google Scholar
  13. 13.
    Seipel, D.: Processing XML Documents in PROLOG. In: Proc. 17th Workshop on Logic Programming WLP 2002 (2002)Google Scholar
  14. 14.
    Seyerlein, R.: Refactoring in Deductive Databases Applied to the Information System Qualimed, Diploma Thesis (in German), University of Würzburg (2001)Google Scholar
  15. 15.
    Smith, M., Welty, C., McGuinness, D.: OWL Web Ontology Language Guide (February 2004),
  16. 16.
    Wielemaker, J., Anjewierden, A.: Programming in XPCE/PROLOG,

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Dietmar Seipel
    • 1
  • Joachim Baumeister
    • 1
  • Marbod Hopfner
    • 2
  1. 1.Institute for Computer ScienceUniversity of WürzburgWürzburgGermany
  2. 2.Wilhelm–Schickard Institute for Computer ScienceUniversity of TübingenTübingenGermany

Personalised recommendations