Der technische Fortschritt wird Medien entwickeln, die heute noch nicht abzusehen sind. Ebenso sicher ist, dass der Koran als Fokus religioser Verehrung, wissenschaftlicher Beschaftigung und gesellschaftlicher Debatten weiter an Bedeutung gewinnen wird. Liesse sich, um diese Wege des Zugangs zu dokumentieren, zu kategorisieren und zu veranschaulichen, eine Systematik aufstellen? Die vorliegende Arbeit mochte einen Beitrag zur Bewaltigung dieser Aufgabenstellung leisten, indem sie einen Uberblick jener Methoden bietet, welche sich aus der Formalen Logik herleiten lassen, die dem Natural Language Processing zugrunde liegt.