• Ontologische Aspekte der Wissensmodellierung
• Workshop on Formal Aspects and Applications of Nonmonotonic Reasoning
• Extensions of Logic Programming
• Informationsverarbeitung in der Biomedizin

Veranstaltungsort:

Universität Leipzig, Augustusplatz 10-11, Hauptgebäude 4-24 (Felix-Klein-Hörsaal)

Organisation:

Institut für Informatik der Universität Leipzig (H. Herre)
Institut für medizinische Informatik, Statistik, Epidemiologie (IMISE) ( B. Heller)
IMMDI Universität Erlangen (W. Degen)

Zielstellung:

Die Forschung auf dem Gebiet der Ontologie gewinnt zunehmend an Bedeutung für die Wissensmodellierung, für die semantische Fundierung der Wissensrepräsentation und für die Entwicklung von Metamodellen im Bereich der praktischen Anwendungen. Für die Grundlegung dieses modernen Forschungsgebiets ist es von Bedeutung, die gemeinsamen wissenschaftlichen Prinzipien und Methoden herauszuarbeiten und offene Probleme zu diskutieren, die sich aus den gegenwärtigen Werkzeugen, Methodologien und den Anwendungen ergeben.  
 
Der Workshop setzt sich das Ziel, den Gedankenaustausch zwischen Wissenschaftlern zu fördern, die auf verschiedenen für die Ontologie relevanten Forschungsgebieten tätig sind. Von besonderem Interesse sind Fragestellungen und Probleme der Konzeptualisierung von Wissen, der Wissensrepräsentation, der Verallgemeinerung und Vertiefung der axiomatisch-deduktiven Methode, der deskriptiven Metaphysik, der Semantik der natürlichen Sprache und der praktischen Anwendungen im Bereich der Medizin. Von dem Workshop werden Anregungen und Impulse für die im Graduiertenkolleg laufenden Forschungsprojekte erwartet.

Montag, 12.02.2001                                                                    

10.00 - 10.15 Uhr	Begrüßung
	Heinrich Herre
10.15 - 11.15 Uhr	Das semantische WWW: Probleme und Anwendungen
	Dieter Fensel
11.15 - 11.30 Uhr	Kaffeepause
11.30 - 12.30 Uhr	Ontologische Aspekte mereotopologischer Kalküle
	Carola Eschenbach
12.30 - 13.30 Uhr	Ansätze zur ontologiebasierten Modellierung anatomischer Strukturen
	Rainer Schubert
13.30 - 15.00 Uhr	Mittagspause
15.00 - 16.00 Uhr	Mereologische Theorie der Partitionen
	Barry Smith
ab 16.30 Uhr	Interne Diskussionsrunde (Raum 4-40)
ab 19 Uhr	Gemeinsames Abendessen

Dienstag, 13.02.2001                                                              

9.00 - 10.00 Uhr	Das Projektvorhaben GOL
	Heinrich Herre
10.00 - 11.00 Uhr	Probleme der ontologischen Fundierung im Bereich der Medizin
	Barbara Heller
11.00 - 11.15 Uhr	Kaffeepause
11.15 - 12.15 Uhr	Zur Ontologie der Sätze, Gedanken und Sachverhalte
	Wolfgang Degen
12.15 - 13.15 Uhr	Identität oder Unität ? Repräsentation unbestimmter Ausdehnungen in Raum und Zeit
	Martin Trautwein
13.15 - 14.30 Uhr	Mittagspause
ab 14.30 Uhr	Interne abschließende Diskussionsrunde  (Raum 4-40)

Nonmonotonic reasoning was born out of the frustrations of researchers attempting to formalize reasoning with incomplete information, reasoning about change, about action and causality and many other forms of commonsense reasoning by means of classical logic systems. Research efforts of the last two decades have laid solid theoretical foundation for the field of nonmonotonic reasoning and transformed a collection of unrelated results into a coherent theory.
The specialized workshop on Formal Aspects and Applications of Nonmonotonic Reasoning is a one-day event intended to bring together active researchers interested in the area of nonmonotonic reasoning to discuss current research, results, and problems of both a theoretical and practical nature. This workshop will be a part of the technical program of the Seventh Nonmonotonic Reasoning Workshop (NMR-98), to be held in Trento, Italy, directly after KR-98 conference. The goal is to promote further development of the theory of nonmonotonic systems as well as connections to other research areas in knowledge representation and artificial intelligence. Other specialized workshops that will be held at NMR-98 are: Implementations; Logic Programming; Action and Causality; Belief Revision.

TOPICS: Autors are invited to submit original papers on formal aspects or applications of nonmonotonicity. The list of topics of interest includes but is not limited to:

Theoretical foundation Interrelations Nonmonotonic logics in applications Deduction systems

Complexity and expressiveness Paradigms for defining nonmonotonicity New nonmonotonic logics

We also welcome suggestions for panel discussions.

ORGANIZERS

Jim Delgrande (Co-chair) School of Computing Science Simon Fraser University Burnaby, B.C. V5A 1S6, CANADA     jim@cs.sfu.ca phone: +1 (604) 291-4335 fax: +1 (604) 291-3045 PROGRAM COMMITTEE Rachel Ben-Eliyahu, Ben-Gurion University of the Negev   Jim Delgrande, Simon Fraser University Witold Lukaszewicz, Warsaw University

Mirek Truszczynski (Co-chair) Department of Computer Science University of Kentucky Lexington, KY 40506-0046, USA mirek@cs.engr.uky.edu phone: +1 (606) 257-3961 fax: +1 (606) 323-1971 Philippe Besnard, IRISA Rennes Heinrich Herre, University of Leipzig Mirek Truszczynski, University of Kentucky

  - Wissensrepräsentation und Wissensmodellierung
  - Inferenzmechanismen biomedizinischer Informationsverarbeitung
  - Datenbankkonzepte der biomedizinischen Verarbeitung
  - Lernsysteme
  - Probleme der Stoffwechseldiagnostik
  - Stand und Entwicklung der Stoffwechseldiagnostik