2.2.3 Anfragen, Regeln

  Es gibt mehrere Arten, wie Regeln in ConceptBase verwendet werden können (vgl. [Jar92, Kap. 2,]):

• als 'Rules' zur Berechnung von Attributen
• als 'Constraints' zur Beschränkung der Instanzen von Klassen
• als Selektionskriterien innerhalb von 'Query-Classes' (Anfragen)

Die Punkte 1 und 2 werden durch das folgende Beispiel demonstriert.

Wie man sieht, können Regeln teilweise betrachtende Aufgaben (``Observer Functions``; vgl. [KM92, S.179f,]) der hier nicht vorhandenen Methoden übernehmen. Objektänderungen (``Mutator Functions``) müssen jedoch direkt durch die Applikation mittels 'TELL' bzw. 'UNTELL' (statt über Methoden) vorgenommen werden.

Jede Regel muß dem System vor der ersten Verwendung bekannt gemacht werden. Sie wird neben ihrer Abspeicherung als String in der Propositionen--Datenbasis intern mehrfach umgewandelt bzw. vereinfacht, bevor sie mittels eines ProLog--Fakts in das ConceptBase implementierende Programm eingefügt wird. Erst danach kann sie aufgrund von Anfragen oder Änderungen an der Datenbasis (bei 'Constraints') ausgewertet werden.

Für die Auswertung selbst stehen dem Benutzer zwei Verfahren (vgl. Kap.\ 2.1.2) zur Verfügung, die er für jede Regel seperat selektieren kann:

• Eine ProLog--artige Rückwärtsauswertung
• Eine 'gemischte' Strategie mit Magic Sets