Schlussfolgerungssystem Konclude

Konclude ist ein hoch-performantes Schlussfolgerungssystem für große und ausdrucksstarke Ontologien, welches hier an der Universität Ulm von Andreas Steigmiller, Thorsten Liebig und Birte Glimm entwickelt wird. Die unterstützte Ontologiesprache ist formal charakterisiert durch die Beschreibungslogik SROIQV(D). Diese ergänzt die standardisierte Web Ontology Language (OWL 2) durch Nominal Schemas, einer ausdruckstarken Möglichkeit regelartige Zusammenhänge direkt in Ontologien auszudrücken.

Konclude ist eine Verarbeitungskomponente, die als separater Server über OWLlink oder über die Kommandozeile angesprochen werden kann. Für Anwendungen, die die OWL API nutzen, kann Konclude mit Hilfe des OWLlink OWL API Adapters eingesetzt werden. Aktuell unterstützt Konclude alle typischen Schlussfolgerungsdienste wie Klassifikation oder Realisierung.

Paralleles Schlussfolgern

Konclude implementiert ein hochoptimiertes Verfahren des theoretisch sehr gut erforschten Tableau-Kalküls aus der mathematischen Logik in Kombination mit spezialisierten Vorverarbeitungsmethoden und Tableau-Saturierung. Durch die durchgängig parallele Architektur profitiert das System auf Mehrprozessorrechnern von einem signifikanten Geschwindigkeitszuwachs. So hat Konclude 3 von 9 Kategorien bei der OWL Reasoner Evaluation Competition 2013 (ORE 2013), 5 von 6 Kategorien bei der OWL Reasoner Evaluation Competition 2014 (ORE 2014) und 4 von 6 Kategorien bei der OWL Reasoner Evaluation Competition 2015 (ORE 2015) gewonnen.

Weitere Informationen

Weitere Informationen zu Konclude sind auf der Webseite von Konclude verfügbar.