Terminologische Wissensrepraesentationssprachen

Franz Baader, RWTH Aachen


Der Bereich der terminologischen Wissensrepraesentationssprachen
zeichnet sich durch eine rege Interaktion zwischen Theorie und
Anwendungen aus. Einerseits gibt es eine Vielzahl implementierter
terminologischer Wissensrepraesentationssysteme, die eine breite Palette
von Repraesentationsformalismen unterschiedlicher Ausdrucksstaerke zur
Verfuegung stellen. Zum anderen wurden die formalen Grundlagen
verschiedener solcher Formalismen sehr gruendlich erforscht. Diese
Untersuchungen waren haeufig motiviert durch die Verwendung gewisser
Sprachkonstrukte in Systemen oder den Bedarf fuer derartige
Konstruktoren in speziellen Anwendungen, und sie haben wiederum die
Entwicklung neuer Systeme nachhaltig beeinflusst.

Nach einer kurzen Einfuehrung in terminologische
Wissensrepraesentationssprachen wird argumentiert, dass es nicht
sinnvoll ist, ein terminologisches System mit einem fixierten
Repraesentationsformalismen zu verwenden. Sattdessen wird vorgeschlagen,
ein modular erweiterbares terminologisches System zu entwickeln. Im
Anschluss wird aufgezeigt, dass gewisse terminologische
Repraesentationssprachen eine enge Verbindung zu Modallogiken und zu
entscheidbaren Teilklassen der Praedikatenlogik aufweisen.