Der Prozess kann in Kategorien werden: offline und online.

In diesem Abschnitt werden wir auf Navigationswerkzeugen bestehen und die Verwaltung des logischen Managements und des prozessorientierten Denkens (z. B. Erstellen, Aktualisieren von Objekten) in den Abschnitt verschieben. LIS erfordert eine Benutzeroberfläche. Wir formalisieren eine Shell-basierte Schnittstelle, obwohl dies nicht die modernste ist. Dies liegt daran, dass wir der Meinung sind, dass viele von uns Shell-Schnittstellen (wie UNIX oder MS-DOS) kennen, und dass diese Abstraktionsebene einen Anforderungs- und Antwortdialog ordnungsgemäß bereitstellt. Eine übergeordnete Schnittstelle, beispielsweise eine grafische, kann sie verbergen, während untergeordnete Schnittstellen, beispielsweise das Dateisystem, irrelevante Details anzeigen. Nichts hindert Sie jedoch daran, eine grafische Oberfläche für LIS bereitzustellen oder diese als Dateisystem zu implementieren.

Während viel über das Erstellen von konzeptuellen Gittern gesagt wurde, bleibt das Erstellen von Kontexten oft im Hintergrund. Im autonomen Fall wird der Kontext nach der Datenerfassung ein für alle Mal erstellt, und das Problem besteht darin, die der beabsichtigten Analyse entsprechende Objektbeschreibungssprache zu finden. Eine typische Anwendung dieser Kategorie ist die Umfrageanalyse. Im Online-Fall wird der Kontext nach und nach erstellt, sobald die Daten eingehen. Das Problem besteht darin, die neuen Objekte zum Zeitpunkt ihres Eingangs korrekt zu beschreiben. Informationssysteme sind eine typische Anwendung dieser Kategorie, aber dies ist nicht der Hauptansatz für die Anwendung der konzeptuellen Analyse.

Hypothese (Online-Konstruktion) Wir werden hier nur den Online-Fall betrachten, da wir uns auf Informationssysteme konzentrieren. Für jedes neu empfangene Datenfragment wird ein Objekt erstellt, das dem Kontext mit diesem Datenfragment als Inhalt hinzugefügt wird. Wir schlagen vor, dass die Beschreibung des Objekts aus zwei Teilen besteht.

Der erste Teil, die interne Beschreibung, wird automatisch aus dem Inhalt des Objekts extrahiert und hängt von der Art des Inhalts und der Logik der Anwendung ab. Schauen wir uns beispielsweise an, bei welchen Objekten es sich um eingehende E-Mail-Nachrichten handelt. In dieser Anwendung wird die Kontexterstellung online durchgeführt. und mögliche Komponenten der internen Beschreibung sind von, bis und Betrefffelder.

Der zweite Teil, eine externe Beschreibung, wird von den Benutzern gemäß den persönlichen Absichten und Vorlieben manuell zugewiesen. Wir müssen berücksichtigen, dass es keine bekannten Regeln gibt, nach denen externe Eigenschaften abgeleitet werden können, so als ob das Gegenteil festgestellt worden wäre. Sie könnten in die interne Beschreibung aufgenommen werden. In einer regulären E-Mail-Anwendung werden externe Eigenschaften verwaltet, indem E-Mail-Nachrichten je nach persönlichem Bedarf in verschiedenen Ordnern gespeichert werden. Externe Eigenschaften sollten jedoch nicht hierarchisch organisiert werden, wie dies häufig in Ordnern der Fall ist.

Die Verwendung von Logik als Schema in Datenbanken impliziert, dass Endbenutzer oder Systemadministratoren Logik definieren und implementieren müssen. Offensichtlich ist dies für die meisten von ihnen nicht verfügbar. Um unsere Prinzipien umsetzbar zu machen, haben wir ein Framework zur Definition und Implementierung von Logik entwickelt. Diese Struktur basiert auf den sogenannten logischen Funktoren.

Mit ihnen ist die Definition und Implementierung von Logik einfach eine Kombination aus parametrisierter Logik. Jeder logische Funktor besteht aus einer logischen Komponente, beispielsweise einer Aussagenlogik oder einem Intervallvergleich. Funktoren können so zusammengesetzt werden, dass sie in Intervallen eine neue Logik formulieren, beispielsweise Aussagenlogik. Jeder Funktor ist als parametrisierter Beweis des Theorems implementiert.

Unser Ziel ist es, dass der Beweis des Theorems und des Theorems der Kombination von Funktoren das Ergebnis einer systematischen Kombination des Beweises des Theorems und des Theorems jedes Funktors ist. Alle Funktoren und ihre Kompositionen implementieren eine gemeinsame Schnittstelle, die dem 6. Tupel der Definition entspricht.

Dieses Beispiel bedeutet, dass logische Formeln Produkte eines Satzes über Atome und eines Satzes über Intervalle sind.