Schlussfolgerungssystem konclude

„Kann der Neffe meiner Schwester die gleichen Eltern haben wie mein Sohn?“ Selbst offensichtlich einfache Zusammenhänge provozieren schwierige Fragen. Betrachtet man Datenbestände in Unternehmen, werden aus Knobeleien ernsthafte Probleme. Speziell für solche anspruchsvollen Aufgaben liefert das Schlussfolgerungssystem konclude eine passgenaue Lösung, die auf die Verarbeitung komplexer Wissensnetze mit Hilfe paralleler Algorithmen ausgelegt ist.

Parallele Verarbeitung komplexer Wissensnetze

Unser konclude Schlussfolgerungssystem implementiert hochoptimierten Verfahren des theoretisch sehr gut erforschten Tableau-Kalküls aus der mathematischen Logik. Ergebnis ist ein System, das Wissensnetze aus dem ausdrucksmächtigsten Sprachfragement von OWL 2 DL verarbeiten kann. Durch die durchgängig parallele Architektur profitiert konclude auf Mehrprozessorrechnern von einem signifikanten Geschwindigkeitszuwachs.