WORKSHOP ON:
DESCRIPTION
LOGICS
AND REASONING
ABOUT PATIENT DATA
Organized
by the Institute
for Formal Ontology and Medical Information Science, Saarland University
under
the auspices of the EU FP6 Network of Excellence in Semantic Interoperability and Data Mining
in Biomedicine
also
sponsored by the AMIA
Working Group on Formal Biomedical Knowledge Representation
Saarbrücken,
22–23 November 2004
The
central focus of this meeting is SNOMED Clinical Terms, which has recently been
selected as the terminology platform for ambitious programmes directed towards
unification of healthcare data in both the United States and the United
Kingdom. What sorts of automatic reasoning are supported by Description
Logic-based terminologies such as SNOMED-CT? What, in principle, is the
potential of Description Logic, especially when it comes to reasoning about
instances and time?
PROGRAM
Monday
22 November
12:45 Barry Smith (Buffalo/Saarbrücken):
Welcoming Remarks
13:00 Alan Rector (Manchester):
What Can and
What Cannot Be Done with Description Logics
14:00 Coffee
14:30 Kent
Spackman (Oregon Health and Science University):
The
Description Logic and Concept Model of SNOMED CT
15:30 Working Session on SNOMED
Tuesday
23 November
9:30 Franz
Baader (Dresden):
A Description Logics Voyage: From Inexpressive to
Expressive Languages and Back
10:30 Coffee
11:00 Working
Session on Reasoning with Patient Data
12:30 Lunch
14:00 Carsten Lutz (Dresden)
Reasoning about Time with Description Logics
15:00 Working Session on Reasoning about
Time and Instances
Other
participants will include:
Hans
åhlfeldt (Linköpping)
Bill
Andersen (Ontology Works, Baltimore)
Rainer
Beck (Freiburg)
Thomas
Bittner (Saarbrücken)
Matrin
Böker (Freiburg)
Christel
Le Bozec (Paris)
Sebastian Brandt (Dresden)
Werner Ceusters (Saarbrücken)
Ronald Cornet (Amsterdam)
Christoffel Dhaen (Ghent)
Maureen Donnelly (Saarbrücken)
John Eisner (Buffalo)
Stefan Gräber (Homburg)
Udo Hahn (Jena)
Josef Ingenerf (Lübeck)
Marie-Christine
Jaulent (Paris)
Ingvar Johansson (Saarbrücken)
Nicolette de Keizer (Amsterdam)
Gunnar Klein (Stockholm)
Kornel
Marko (Freiburg)
Dirk Marwede (Leipzig)
Chris Menzel (Saarbücken and College Station,
Texas)
Fabian Neuhaus (Saarbrücken)
Mikael Nyström (Linköpping)
Igor Papakin (Leipzig)
Håkan Petersson (Linköpping)
Jeremy Rogers (Manchester)
Ulrike Sattler (Manchester)
Stefan Schulz (Freiburg)
Hans Rudolf Straub (Zürich)
Erik Sundvall (Linköpping)
Jostein Ven (Trondheim)
The
workshop will take place in Saarbrücken.
It
will begin at lunchtime on Monday and conclude with dinner on the next day.
For
further details please contact the organizer Barry Smith