 |
Biodiversitätsinformatik / Biodiversity Informatics |
|
Biodiversitätsinformatik / Biodiversity Informatics |
Festlegung einer formalen Sprache zur RegelformulierungINHALT: Die Ausgangssituation
|
Der "potential Taxon"-Graph | Benutzerabfragen
| Die AusgangssituationEine Vielzahl von Sachdaten, die sich in unabhängigen über die Welt zerstreuten Quellen (Literatur, Datenbanken, usw.) befinden, sind an Taxonnamen gekoppelt und können über diese verknüpft werden. Erhebliche Schwierigkeiten dieses Wissen zusammenzuführen entstehen dadurch, dass oft in den verschiedenen Quellen unterschiedliche Auffassungen über Systematik (d. h. auch über den zu benutzenden Taxonname) und/oder die Umschreibung des Taxons vertreten werden. Die Frage nach der Übertragbarkeit von Sachdaten, die an einem Taxonnamen aus einer Quelle gekoppelt sind, zu Taxonnamen aus einer anderen Quelle ist Gegenstand des Forschungsprojekts „MoreTax“. Der „potential Taxon“-GraphEine Auffassung über ein Taxon in einer besonderen Quelle kann formal durch die Kopplung des benutzten Taxonnamens mit dem Quellenhinweis bezeichnet werden. Ein spezieller Editor (der taxonomische Editor) hat die Funktion, einerseits diese Paare (wir nennen sie „potential Taxon“) aus Taxonnamen und Quellenhinweis aufzulisten und andererseits einem Experten(-team) zu ermöglichen, die nach seiner Meinung existierenden Mengenbeziehungen zwischen den diesen potential Taxa zugrunde liegenden Umschreibungen der Taxa festzuhalten. Folgende Grundbeziehungen aus der Mengenlehre sind für die Beschreibung der Beziehung zwischen zwei potential Taxa PT1 und PT2 relevant:
Dadurch entsteht ein gerichteter Graph, dessen Knoten die „potential Taxa“ sind und dessen Kanten oder Senken, die Paare aus „potential Taxa“ sind, für welche vom Experten(-team) Mengenbeziehungen eingegeben worden sind:
BenutzerabfragenVorausgesetzt es gibt einen Pool von (mittels des taxonomischen Editors) verbundenen Quellen, dann sind vom Standpunkt eines Benutzers zwei grundsätzlich unterschiedliche sachdatenbezogene Abfragen möglich:
Das Ergebnis soll zunächst davon unabhängig sein, an welche „potential Taxa“ diese Sachdaten ursprünglich gekoppelt waren. Hierfür muss ein auf dem Graph beruhendes Regelsystem aufgebaut werden. Darüber hinaus soll auch die Möglichkeit geschaffen werden, flexible Regeln zu formulieren, die das Ergebnis beeinflussen, und die von Datenquellen, vom Autor der Beziehung etc. abhängen können. Insgesamt muss der Benutzer über die Qualität der Sachdatenübertragung informiert werden. Die ÜbertragbarkeitBasierend auf dem Beziehungsgraph sind mindestens zwei Optionen für die Übertragbarkeit von am potential Taxon PT1 gekoppelten Sachdaten zum potential Taxon PT2 zu unterscheiden:
Wie man sieht, hängt die Qualität der Übertragbarkeit von der Art der Beziehung zwischen den potential Taxa ab. Betrachtet man den Graph, so wird ersichtlich, dass es nicht für alle Paare von potential Taxa eine Kante gibt, obwohl es zwischen ihnen einen Weg (Aufeinanderfolge von Kanten) geben kann. Dies trifft in unserem Beispiel für PTi und PTk zu. Es muss also eine Regel geben, nach der aus zwei aufeinanderfolgenden Mengenbeziehungen eine resultierende Mengenbeziehung abgeleitet werden kann. Sind z. B. Bij und Bjk die Mengenbeziehung „Ì“, so ist es leicht zu sehen, dass die resultierende Beziehung zwischen PTi und PTk ebenfalls „Ì“ ist und dementsprechend Sachdaten von PTi zu PTk partiell übertragbar sind. Nehmen wir an, dass Bij „Ì“ bleibt aber Bjk „Å“ ist. Man kann dann feststellen, dass die resultierende Beziehung zwischen PTi und PTk nicht mehr eindeutig ist sondern „Ì“ oder „Å“ oder sogar „!“ sein kann. Dies erzwingt die Einführung von „zusammengesetzten“ Beziehungen und eine entsprechende Ausdehnung der Übertragbarkeiten samt deren Kriterien. Mit dieser erweiterten Regel kann dann für jeden Weg im Graph eine zugehörige zusammengesetzte Beziehung ermittelt werden. Zwischen zwei potential Taxa kann es im Graph durchaus mehrere Wege geben. Dies trifft für PTi und PTl zu, denn es gibt einen „direkten“ Weg - nämlich die entsprechende Kante - und auch den (Um-)Weg über PTj. Zu jedem Weg gehört eine zusammengesetzte Beziehung. Zusätzliche Regel müssen also festlegen, wie zu verfahren ist, um aus zwei so entstandenen Beziehungen die resultierende zusammengesetzte Beziehung zu erhalten. Dies führt zu mindestens zwei alternativen Regeln. Bedenkt man, dass zu jeder gerichtete Beziehung zwischen zwei potential Taxa PT1 und PT2 eine umgekehrte gerichtete Beziehung zwischen PT2 und PT1 ebenfalls durch eine entsprechende Regel definiert werden kann, so erhalten wir mindestens vier unterschiedliche Regeln. Schließlich muss festgelegt werden, wie resultierende zusammengesetzte Beziehungen im Hinblick auf die Qualität der Übertragbarkeit zu interpretieren sind. Die formale BeschreibungDie Übertragbarkeit von ursprünglich an einem PTq gekoppelten Sachdaten zu einem PTz hängt also vom potential Taxon-Graph ab, oder präziser von der Menge aller Wege von PTq nach PTz und von den gerichteten Beziehungen, die den einbezogenen Kanten zugeordnet sind. Die Ableitung der Übertragbarkeit basiert also:
Für die formale Beschreibung eines solchen Graphs sowie der Algorithmen und Regeln kann eine beliebige höhere Programmiersprache verwendet werden. Diese Regeln brauchen nicht editierbar zu sein, da sie nicht von den spezifischen Inhalten der einbezogenen Daten abhängen. Wir haben als Beispiel einen "Beziehungsdatentyp" sowie darauf basierende Regeln mit Visual Basic formuliert. BeispieleDefinition eines Datentyps für "zusammengesetzte Beziehungen"-Objekte: Public Type Relationship Regel für die Umkehrung "zusammengesetzter Beziehungen": Public Function reverse(Rel1 As Relationship) As Relationship Regel für die Zusammenführung zweier "zusammengesetzten Beziehungen" (enger Konsens): Public Function cons(Rel1 As Relationship, Rel2 As Relationship) As Relationship Regel für die Zusammenführung zweier "zusammengesetzten Beziehungen" (breiter Konsens): Public Function large_cons(Rel1 As Relationship, Rel2 As Relationship) As Relationship Regel für die Verkettung zweier aufeinanderfolgenden "zusammengesetzten Beziehungen": Public Function concatenate(Rel1 As Relationship, Rel2 As Relationship) As Relationship Regel für die Interpretation "zusammengesetzter Beziehungen": Public Function evaluate(Rel1 As Relationship) As String Editierbares RegelsystemEs gibt Situationen in denen - in Abhängigkeit von spezifischen Merkmalen der einbezogenen Daten(-quellen) - das Einführen neuer Regeln bzw. Veränderungen schon existierender Regeln sinnvoll ist, z. B.:
Da Regeln dieser Art nicht grundsätzlich vorhersehbar sind, und sich z. B. auch direkt auf Dateninhalte und Metadaten der Quelle beziehen können, dürfen sie nicht fest im Kern der Auswertungsalgorithmen verankert sein, sondern müssen zur Laufzeit eingelesen und angewendet werden. Um die Anpassung dieser Regeln zu erleichtern, sollten sie in einer an die Aussagenlogik angelehnten formalen Sprache formuliert werden, die auch die Implementierung einer Benutzerschnittstelle zur Wartung dieser Regel erleichtert. Die Programmiersprache Prolog erfüllt diese Anforderungen und wird von uns zur weiteren Beschreibung des Systems benutzt werden. Für die Implementierung kommen aber auch andere Sprachen in Frage und es ist alternativ auch eine Entwicklung auf Basis einer komplexen Konfigurationsdatei denkbar, aus der Parameter beim Applikationsaufruf übermittelt werden. Marc Geoffroy, Anton Güntsch & Walter G. Berendsohn, August 2001 __________________________________________________________________________
MoreTax
(Modellierung von regelbasierten Funktionalitäten) ist ein vom Projektleiter: Walter
Berendsohn |
||||||||||
Diese Seite wurde zuletzt am 19-06-2002 geändert
© Freie Universität
Berlin, Botanischer Garten und Botanisches Museum Berlin-Dahlem,
Seitenverantwortlicher / Page editor: M.
Geoffroy.
BGBM Impressum / Imprint
