ontomed  
  Ontological Investigation Conceptual Modelling Onto-Builder  
  Axiomatic Foundations Domain Ontologies Onto-Workstation  
  Metalogical Analyses GOL SOP-Creator  
           
 
 

Onto-Med >> Publications

 
    Goals
News
Members
Cooperations
Publications
Lectures

Publications and Reports

Onto-Med Reports

Other Reports

Books/Proceedings

Book Sections

Refereed Papers in Journals and in Proceedings

Abstracts

Research Proposal

PhD Theses

Diploma Theses


Onto-Med Reports

Scheidler, A. (forthcoming). A Comparison between Two Interval-based Time Ontologies. Onto-Med Report Nr. 10. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig.

Herre, H. (forthcoming). Ontology of Time in GFO. Onto-Med Report Nr. 9. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig.

Herre, H.; Heller, B.; Burek, P.; Hoehndorf, R.; Loebe, F. & Michalek, H. 2006. General Formal Ontology (GFO): A Foundational Ontology Integrating Objects and Processes. Part I: Basic Principles (Version 1.0). Onto-Med Report Nr. 8. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig. [PDF]

Loebe, F. 2003. An Analysis of Roles. Onto-Med Report Nr. 6. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig. [PDF]

Heller, B.; Lippoldt, K. & Kuehn, K. 2003. The Onto-Builder Handbook Version 1.1 Part I: The Construction of Medical Terms. Technical Report, Onto-Med Report Nr. 5. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig. [PDF]

Heller, B.; Lippoldt, K. & Kuehn, K. 2003. Guideline for Creating Medical Terms. Onto-Med Report Nr. 4. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig. [PDF]

Heller, B.; Herre, H. & Loeffler, M. (forthcoming). Research Proposal. Onto-Med Report Nr. 2. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig.

Heller, B. & Herre, H. 2003. Formal Ontology and Principles of GOL. Onto-Med Report Nr. 1. Research Group Ontologies in Medicine (Onto-Med), University of Leipzig.

Other Reports

Heller, B., Lippoldt, K., Kuehn, K. 2003. Leitfaden für die Eingabe von Begriffen in den OntoBuilder. IMISE-Report No. 4/2003. University of Leipzig.

Heller, B., Lippoldt, K., Kuehn, K. 2003. Handbuch OntoBuilder. IMISE-Report No. 3/2003. University of Leipzig.

Heller, B., Loeffler, M. 2002. Telematics and Computer-Based Quality Management in a Communication Network for Malignant Lymphoma. IMISE-Report No. 1/2002. University of Leipzig.

Heller, B., Herre, H., Smith, B. Ontological Spring. 2002. Apr 17-20. IFOMIS Report No. 1/2002. University of Leipzig.

Books/Proceedings

Faehnrich, K.-P., Herre, H. (eds.) 2003. Content and Knowledge Management. 11. Leipziger Informatik-Tage (LIT 2003), 2003 Sept. 24-26. Leipzig.

Heller, B., Loeffler, M., Musen, M., Stefanelli, M. (eds.) 2001. Computer-Based Support for Clinical Guidelines and Protocols. EWGLP 2000, Studies in Health Technology and Informatics, Vol. 83. Amsterdam: IOS Press. ISBN 1-58603-193-7.

Book Sections

Heller, B., Herre, H. 2003. Ontological Categories in GOL. In: Seibt, J. (ed.) Process Theories: Crossdisciplinary Studies in Dynamic Categories. p. 57-77 Dordrecht: Kluwer Academic Publishers.

Refereed Papers in Journals and in Proceedings

Auer, S. & Herre, H. 2006. RapidOWL -- an Agile Knowledge Engineering Methodology. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30. [accepted]

Burek, P.; Hoehndorf, R.; Loebe, F.; Visagie, J.; Herre, H. & Kelso, J. 2006. A top-level ontology of functions and its application in the Open Biomedical Ontologies. [Accepted for ISMB 2006, to appear in Bioinformatics]

Herre, H., Heller, B. 2006. Semantic Foundations of Medical Information Systems Based on Top-Level Ontologies. Journal of Knowledge-Based Systems 19(2):107-112 [DOI]

Herre, H. & Auer, S. 2006. A Versioning and Evolution Framework for RDF Knowledge Bases. In: Proceedings of the Sixth International Andrei Ershov Memorial Conference "Perspectives of System Informatics", Novosibirsk, Akademgorodok, Russia, Jun 27-30. [accepted]

Burek, P. 2005. Essentialized Conceptual Structures in Ontology Modeling. In: Khosla, R.; Howlett, R.J. & Jain, L.C. (ed.) Knowledge-Based Intelligent Information and Engineering Systems: Proceedings of the 9th International Conference, KES 2005, Melbourne, Australia, Sep 14-16, Part II. Lecture Notes in Computer Science, Vol. 3682, p. 880-886. Berlin: Springer. [PDF]

Burek, P. & Grabos, R. 2005. Dually Structured Concepts in the Semantic Web: Answer Set Programming Approach. In: Gómez-Pérez, A. & Euzenat, J. (ed.) The Semantic Web: Research and Applications. Proceedings of the Second European Semantic Web Conference, ESWC 2005, Heraklion, Crete, Greece, May 29 - Jun 1. Lecture Notes in Computer Science, Vol. 3532, p. 377-391. Springer. [PDF]

Dietzold, S. 2005. Generating RDF Models from LDAP Directories.. In: Auer S., Bizer C. and Miller L. (ed.) Proceedings of the SFSW 05 Workshop on Scripting for the Semantic Web , Hersonissos, Crete, Greece, May 30, 200. CEUR Workshop Proceeding, Vol. 135. CEUR-WS. [PDF]

Heller, B.; Kühn, K. & Löffler, M. 2005. Onto-Builder: Software-Werkzeug für den Aufbau von Data Dictionaries. In: Steyer, G. & Tolxdorff, T. (ed.) bit for bit: Halbzeit auf dem Weg zur Telematikinfrastruktur. p. 108-114. Berlin: Akademische V.-G. Aka. [PDF, in German]

Herre, H. & Heller, B. 2005. Ontology of Time and Situoids in Medical Conceptual Modeling. In: Miksch, S.; Hunter, J. & Keravnou, E.T. (ed.) Proceedings of the 10th Conference on Artificial Intelligence in Medicine (AIME 05), Jul 23 - 27, Aberdeen, Scotland. Lecture Notes in Computer Science, Vol. 3581, p. 266-275. Berlin: Springer. [PDF]

Herre, H. & Loebe, F. 2005. A Meta-ontological Architecture for Foundational Ontologies. In: Meersman, R. & Tari, Z. (ed.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: Proceedings of the OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, Agia Napa, Cyprus, Oct 31 - Nov 4, 2005 (Part II). Lecture Notes in Computer Science, Vol. 3761, p. 1398-1415. Berlin: Springer. [PDF]

Loebe, F. 2005. Abstract vs. Social Roles: A Refined Top-Level Ontological Analysis. In: Boella, G.; Odell, J.; van der Torre, L. & Verhagen, H. (ed.) Proceedings of the 2005 AAAI Fall Symposium 'Roles, an Interdisciplinary Perspective: Ontologies, Languages, and Multiagent Systems', Nov 3-6, Arlington, Virginia. Technical Report FS-05-08, p. 93-100. Menlo Park (California): AAAI Press. [PDF]

Michalek, H. 2005. A Causal Relation Based on Regularity and Manupilability. In: Guizzardi, G. & Wagner, G. (ed.) Proceedings of the EDOC International Workshop on Vocabularies, Ontologies and Rules for the Enterprise (VORTE'05), Enschede, The Netherlands, Sep 20. CTIT Workshops Proceedings. Enschede (Netherlands): CTIT.

Auer, S., Burek, P., Grawe, T. 2004. Knowledge Engineering for IT-based Services. In: Proceedings of the 4th International Conference on Knowledge Management (I-KNOW'04), Jun 30 - Jul 2, 2003, Graz, Austria. p. 113-124. Graz: Know-Center Graz. [PDF]

Burek, P. 2004. Adoption of the Classical Theory of Definition to Ontology Modeling. In: Bussler, C., Fensel, D. (eds.) Artificial Intelligence: Methodology, Systems, and Applications. Proceedings of the 11th International Conference, AIMSA 2004, Sep 2-4, Varna, Bulgaria. Lecture Notes in Computer Science, Vol. 3192, p. 1-10. Berlin: Springer. [PDF]

Guizzardi, G., Wagner, G., Herre, H. 2004. On the Foundations of UML as an Ontology Representation Language. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 47-62. Berlin: Springer.

Heller, B., Herre, H. 2004. Ontological Foundations of Medical Information Systems, New Trends in Software Methodologies, Tools and Techniques: Proceedings of the third SoMeT_W04 eds. Fujita, Hamido and Gruhn, Volker, Frontiers in Artificial Intelligence and Applications, Vol. 111, p. 3-17. Amsterdam: IOS Press.

Meineke, F., Mishchenko R., Mantovani, L., Heller, B. OncoWorkstation - a study protocol based therapy-management tool for the adult oncology, (to appear).

Heller, B., Herre, H., Lippoldt, K. The Theory of Top-Level Ontological Mappings and its Application to Clinical Trial Protocols. In: Motta, E., Shadbolt, N., Stutt, A., Gibbins, N. (eds.) Engineering Knowledge in the Age of the Semantic Web: Proceedings of the 14th International Conference (EKAW 2004), Whittlebury Hall, UK, Oct 2004. Lecture Notes in Computer Science, Vol. 3257, p. 1-14. Berlin: Springer.

Greiner, U., Ramsch, J., Heller, B., Loeffler, M., Mueller, R., Rahm, E. AdaptFlow: Protocol Based Medical Treatment using Adaptive Workflows, Journal of Methods of Information in Medicine, Schattauer (in Press).

Greiner, U., Ramsch, J., Heller, B., Loeffler, M., Rahm, E., Mueller, R. 2004 Adaptive Guideline-based Treatment Workflows with AdaptFlow, In: Kaiser, K., Miksch, S., Tu, S. (eds.) Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols. (CGP 2004), 13.-14. April, Prag, p. 113-117. Studies in Health Technology and Informatics, Vol. 101. Amsterdam: IOS Press.

Muecke, R. 2004 Untersuchung der Handhabung der Website Navigation in Content Management Systemen. In Faehnrich, K.-P., Jantke , K. P.,Wittig, W. S. (eds.) Von e-Learning bis e-Payment: Das Internet als sicherer Marktplatz. p. 135-145. Akademische Verlagsgesellschaft Aka GmbH, Berlin

Löbe, M. 2004 Erfahrungen beim Einsatz von Content Management Systemen in verteilten Forschungsnetzwerken. In Faehnrich, K.-P., Jantke , K. P., Wittig, W. S. (eds.) Von e-Learning bis e-Payment: Das Internet als sicherer Marktplatz. p. 146-155. Akademische Verlagsgesellschaft Aka GmbH, Berlin.

Heller, B., Herre, H., Lippoldt, K. 2004. Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework. In: Rahm. E. (ed.) Data Integration in the Life Sciences. (DILS 2004), 2004 March 25-26. Leipzig. p. 47-62. Lecture Notes in Bioinformatics, Vol.2994. Heidelberg: Springer. [PDF]

Heller, B., Herre, H., Lippoldt, K., Löffler, M. 2004. Standardized Terminology for Clinical Trial Protocols Based on Ontological Top-Level Categories. In: Kaiser, K., Miksch, S., Tu, S.W. (eds.) Computer-based Support for Clinical Guidelines and Protocols. Proceedings of the Symposium on Computerized Guidelines and Protocols. (CGP 2004), 2004 April 13-14. Prague. p. 46-60. Studies in Health Technology and Informatics, Vol.101. Amsterdam: IOS-Press. [PDF]

Heller, B., Herre, H. 2004. Ontological Categories in GOL. Axiomathes 14(1):57-76 Kluwer Academic Publishers. [PDF]

Burek, P., Herre, H. 2003. Conceptual Modeling based on Upper-Level Ontologies and Meta-Ontological Foundations. In: Fähnrich, K.-P., Herre, H. (ed.) Content- und Wissensmanagement: Arbeiten aus dem Forschungsvorhaben PreBIS und Beiträge auf den Leipziger Informatik-Tagen 2003. Leipziger Beiträge zur Informatik, Vol. 1, p. 153-157. Leipzig: Leipziger Informatik Verbund (LIV).

Heller, B., Herre, H. 2003 Formal Ontology and the Research Project GOL. In: Fähnrich, K.-P., Herre, H. (eds.) Content and Knowledge Management. Leipziger Informatik-Tage (LIT 2003), 2003 Sept 24-26. Leipzig.

Hatje, H., Speer, R., Heller, B., Noack, F., Stein, H., Hogrefe, D., Feller, A.C., Hummel, M. 2002. Lymphknotenreferenzzentren: Aktuelle Online Studienpatienten- und Materialdatenbank. Telemedizinführer Deutschland: Ausgabe 2003, Deutsches Medizin Forum Medizin Forum AG, Ober Moerlen.

Guizzardi, G., Herre, H., Wagner, G. 2002. On the General Ontological Foundations of Conceptual Modeling. In: Proceedings of 21th International Conference on Conceptual Modeling, (ER2002), 2002 Okt 07-11; Tampere, Finland. pp. 97-112. Lecture Notes in Computer Science. Berlin: Springer. [PDF]

Guizzardi, G., Herre, H., Wagner, G. 2002. Towards Ontological Foundations for Conceptual UML Models. In: Meersman R, Tari Z., et al. (eds.) On the Move to Meaningful Internet Systems 2002: CoopIS, DOA, and ODBASE. Proceedings of the International Conference on Ontologies, Databases and Applications of Semantics, (ODBASE), 2002 Okt 29-31. Irvine, California. pp. 1100-1117. Springer. [PDF]

Degen, W., Heller, B., Herre, H., Smith, B. 2001. GOL: A General Ontological Language. In: Welty C., Smith B., (eds.) Proceedings of the International Conference on Formal Ontology in Information Systems, (FOIS 2001), 2001 Oct 17-19. Ogunquit. p. 34-46. [PDF]

Herre, H., Jaspars, J., Wagner, G. 1999. Partial Logics with Two Kinds of Negation as a Foundation for Knowledge-Based Reasoning. Gabbay M., Wansing H., (eds.) What is Negation? Kluwer Academic Publishers: 121-159. [PDF]

Heller, B., Koch, J. 1998. Medizinische Konsiliardienste über ISDN: Externe Bilddatenkommunikation mit dem Universitätsklinikum Leipzig. In: Kunath, H., Strelocke, K., Niedostatek, A. (eds.) Telekommunikation im Gesundheitswesen. [PDF]

Mueller, R., Heller, B., Loeffler, M., Rahm, E., Winter, A. et al. 1998. HematoWork: A Knowledge-based Workflow System for Cancer Therapy. Proceedings of the GMDS98, (GMDS98) 1998 Sept 15-18. Bremen. p. 63-66. Munich: MMV Medizin Verlag. [PDF]

Speer, R., Heller, B. 1998. Einsatz moderner Kommunikationstechniken bei der Durchführung multizentrischer klinischer Studien. In: Greiser, E., Wischnewsky, M. (eds.) Methoden der Medizinischen Informatik, Biometrie und Epidemiologie in der modernen Informationsgesellschaft, (GMDS98), p. 125-129. Munich: MMV Medizin Verlag.

Herre, H. 1993. Semantical Completeness of Model-Based Diagnosis. In: Cardenoca J., Meseguer P., (eds.) Proceedings of the European Symposium of the Validation and Verification of Knolwedge Based Systems, (EUROVAV'93), p. 217-130.

Abstracts

Speer, R., Dolak, W., Heller, B., Meineke, F., Ramsch, J. 2003. Security Concepts im Medical Research Networks. Telemed 2003, 2003 Nov 07-08, Berlin.

Greiner, U., Ramsch, J., Heller, B., Loeffler, M., Rahm, E. 2003. Flexible, protokollbasierte Therapie auf Basis adaptiver Workflows. 48. Annual Conference of GMDS, 2003 Sept 14-18, Muenster. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 34(3): 371.

Meineke, F., Mishchenko, R., Mantovani, L. Loeffler, M., Heller, B. 2003. OncoWorkstation - ein Konsultations- und Planungswerkzeug zur Unterstützung der Auswahl und Durchführung von onkologischen Therapiestudien. 48. Annual Conference of GMDS, 2003 Sept 14-18, Muenster. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 34(3): 374.

Speer, R., Kuchinke, W., Meisner, C., Schwabedissen, M., Troost, R., Wittenberg, M. 2003. Systemvalidierung in klinischen Studien - Erstellung eines Validierungspakets für die KKS und andere Verbünde. 48. Annual Conference of GMDS, 2003 Sept 14-18, Muenster. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 34(3): 368.

Löbe, M., Heller, B., Dietzold, S. 2002. Konzepte für ein modernes Informationsmanagement medizinischer Netzwerke. 47. Annual Conference of GMDS, 2002 Sept 8-12, Berlin. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 33(2-3): 378. [PDF]

Heller, B., Hummel, M., Speer, R. 2002. Aufbau einer standardisierten Terminologie für eine virtuelle medizinische Materialdatenbank. 47. Annual Conference of GMDS, 2002 Sept 8-12, Berlin. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 33(2-3): 379. [PDF]

Heller, B., Krueger, M., Loeffler, M., Mantovani, L., Meineke, F., Mishchenko, R. 2002. OncoWorkstation - Ein adaptives Agentensystem für das Therapiemanagement klinischer Studien. 47. Annual Conference of GMDS, 2002 Sept 8-12, Berlin. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 33(2-3): 380. [PDF]

Heller, B., Lippoldt, K., Kuehn, K., Loeffler, M. 2002. Vorgehen beim Aufbau eines semantisch fundierten Data Dictionaries. 47. Annual Conference of GMDS, 2002 Sept 8-12, Berlin. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 33(2-3): 377. [PDF]

Heller, B., Siebert, D., Speer, R. 2002. Semantische Fundierung von Studienmanagementwerkzeugen. 47. Annual Conference of GMDS, 2002 Sept 8-12, Berlin. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 33(2-3): 381. [PDF]

Heller, B., Lippoldt, K., Loeffler, M. 2001. Modell eines Data Dictionaries für Klinische Studien. 46. Annual Conference of GMDS, 2001 Sept 18-20, Cologne. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 32(2-3): 170. [PDF]

Heller, B., Krueger, M., Mantovani, L., Mishchenko, R. 2001. Onco-Workstation: Ein wissensbasiertes Agentensystem zur Unterstützung der Therapie und Dokumentation in der Onkologie. 46. Annual Conference of GMDS, 2001 Sept 16-20, Cologne. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 32(2-3): 201. [PDF]

Dietzold, S., Heller, B. 2001. Konzeption und Aufbau eines vertikalen Enterprise-Portals für ein medizinisches Kompetenznetzwerk. 46. Annual Conference of GMDS, 2001 Sept 16-20, Cologne. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 32(2-3): 134. [PDF]

Heller, B., Hummel, M., Speer, R. 2001. Vernetzung der Referenzpathologien für Lymphknotendiagnostik und Aufbau einer virtuellen Materialdatenbank. 46. Annual Conference of GMDS, 2001 Sept 16-20, Cologne. In: Informatik, Biometrie und Epidemiologie in Medizin und Biologie 32(2-3): 300. [PDF]

Speer, R., Heller, B. 1999. Object-oriented modular data dictionaries of reusable components based on registration and analysis of data in clinical trials. 44. Annual Conference of GMDS, 1999 Sept 13-17, Heidelberg. In: Abstract Volume der ISCB-GMDS-99: 429. [PDF]

Speer, R., Heller, B. 1998. Einsatz moderner Kommunikationstechniken bei der Durchführung multizentrischer klinischer Studien. 43. Annual Conference of GMDS, 1998 Sept 14-16, Bremen, In: Greiser E.; Wischnewsky M. (eds.): Methoden der Medizinischen Informatik, Biometrie und Epidemiologie in der modernen Informationsgesellschaft. Munich: MMV Medien & Medizin Verlag: 125-129. [PDF]

Mueller, R., Heller, B., Loeffler, M., Rahm, E., Winter, A., Speer, R., Berger, H., Kloess, M., Mantovani, L., Bruemmer, F., Joedecke, E., Neubert, U., Fiebig, F. 1998. Methoden der Medizinischen Informatik, Biometrie und Epidemiologie in der modernen Informationsgesellschaft. 43. Annual Conference of GMDS, 1998 Sept 14-16, Bremen, In: Greiser E.; Wischnewsky M. (eds.) Methoden der Medizinischen Informatik, Biometrie und Epidemiologie in der modernen Informationsgesellschaft. Munich: MMV Medien & Medizin Verlag: 63-66.

Heller, B., Koch, J. 1998. Medizinische Konsiliardienste über ISDN: Externe Bilddatenkommunikation mit dem Universitätsklinikum Leipzig. 1. Sächsisches Telemedizinsymposium, Juni 26/27, Dresden. [PDF]

Research Proposals

Heller, B., Loeffler, M., Luminari, S., Federico, M. 2003. Implementation of IT-based Measures for Quality Assurance. European Platform for the Conquest of Lymphomas (EPCOL). 6th Framework Programme of the European Commission. (submitted).

Heller, B., Loeffler, M. 2002. Telematics and Computer-Based Quality Management in a Communication Network for Malignant Lymphoma. Competence Network Malignant Lymphoma. German Ministry of Education and Research (BMBF).

Heller, B., Loeffler, M. 2002. Einführung eines wissensbasierten Konsultationssystems für onkologische Therapieplanung. BMBF-Fördermaßnahme "Verbesserung der Leistungsfähigkeit der klinischen Forschung an den medizinischen Fakultäten der neuen Bundesländer".

Loeffler, M., Rahm, E., Heller, B., Mueller, R. 1998. Wissensbasiertes dynamisches Workflow-Management in klinischen Studien. German Research Community (DFG).

Heller, B., Loeffler, M. 1998. Telematik und rechnerbasiertes Qualitätsmanagement in einem Kommunikationsnetzwerk. Antrag zur Förderung eines medizinischen Netzwerkes bei malignen Lymphomen. German Ministry of Education and Research (BMBF).

PhD Theses

Doetsch, V. A Knowledge-Based Planning Component for the Dynamic Coordination of Clinical Trial Processes. [PhD Thesis] Graduate Program Knowledge Representation, University of Leipzig, (to appear in 2005).

Junger, M. User Modeling in the Quality Assurance of Clinical Trial Management. [PhD Thesis] Institute for Medical Informatics, Statistics and Epidemiology (IMISE), Faculty of Medicine, University of Leipzig, (to appear in 2005).

Diploma Theses

Heußner, A. 2007 Semantic Foundation of Diagrammatic Modelling Languages: Applying the Pictorial Turn to Conceptual Modelling. [Diploma Thesis] Institute for Informatics, University of Leipzig. [PDF]

Knuth, M. 2007 Konzeption und Implementierung eines Editors für prädikatenlogische Theorien mit Unterstützung verschiedener Notationen. [Diploma Thesis; in German] Institute for Informatics, University of Leipzig.

Dietzold, S. 2005 GOL Web - Konzept eines Frameworks für eine axiombasierte Entwicklung von Semantic Web Ontologien auf Basis der Web Ontology Language (OWL). [Diploma Thesis; in German] Institute for Informatics, University of Leipzig.

Hoehndorf, R. 2005. Situoid theory: An ontological approach to situation theory. [Diploma Thesis] Institute for Informatics, University of Leipzig. [PDF]

Kuehn, K. 2004 A Model for a Data Dictionary Supporting Multiple Definitions, Views and Contexts. [Diploma Thesis] Institute for Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig. [PDF]

Loebe, F. 2003. An Analysis of Roles: Towards Ontology-Based Modelling. [Diploma Thesis] Institute for Informatics, University of Leipzig. [PDF]

Löbe, M. 2001. Highly Available Middleware Platform for a Mobile Patient Care System. [Diploma Thesis] Department of Computer Science. Faculty of Mathematics and Computer Science, University of Leipzig, (available in German). [PDF]

Lippoldt, K. 2000. Specification of Targeted Differential Documentation Processes Considering as an Example the Integration of the Reference Centers for Pathology in the Competence Network Malignant Lymphoma. [Diploma Thesis] Institute for Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig, (available in German). [PDF]

Krueger, M. 1999. Conception and Realization of a Knowledge-Based Protocol Selection Modul for Hemato-Oncology. [Diploma Thesis] Institute for Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig, (available in German). [PDF]

Joedecke, E. 1997. Concept and Implementation of a Database-Supported Document Structure Editor and Generator. [Diploma Thesis] Institute for Computer Science. Faculty of Mathematics and Computer Science, University of Leipzig, (available in German).

Berger, H. 1997. Conception and Implementation of a Consultation System for Therapy Planning in Adult Oncology. [Diploma Thesis] University of Heidelberg and Institute for Medical Informatics, Statistics and Epidemiology (IMISE), University of Leipzig, (available in German).

 
       
     
     
     

   
     
     
       
 

deutsch   imise uni-leipzig ifi dep-of-formal-concepts