Reasoner Semantische Interoperabilität HTW Reasoner Semantische Interoperabilität von Christian Schwerdtfeger & Matthias Folz
Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit Überblick Was macht ein Reasoner? Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit Überblick Was macht ein Reasoner? Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit © Hochschule für Technik und Wirtschaft des Saarlandes
Ontologische Sprachen verstehen Was macht ein Reasoner? Ontologische Sprachen verstehen OWL F-Logic Sonstige Rückschlüsse aus beschriebenen Regeln ziehen Anfragen über die Rückschlüsse beantworten z.B: Ist eine Pizza mit Käse eine Cheesy Pizza? © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit Überblick Was macht ein Reasoner? Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Ontologien verstehen Ohne Verständnis der Ontologie, kein Rückschluss möglich OWL-Light und OWL-DL weil Turing-entscheidbar, kein Problem Tableau-Verfahren Forward- und Backward-Chaining OWL-Full Kaum unterstützt, da nicht deterministisch Möglichkeit von probabilistischen Verfahren © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners - Abfragesprachen SPARQL SQL angenäherte Abfragesprache Ermöglicht das Abfragen von Wissen wie in einer Datenbank DIG-Abfragen Christian? Racer – SQL –Varianten? © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Reasoner benötigen eine Anbindungsmöglichkeit zu anderen Systemen um deren Funktionalität zu verwenden. Es existieren mehrere Frameworks um dies zu bewerkstelligen © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners - Schnittstellen OWL-API Java-Basiertes Framework Ermöglicht das Einlesen von verschiedenen Formaten OWL-XML RDF-XML Etc Bietet keine Abfrage-Engine © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigen eines Reasoners - Schnittstellen DIG Christian? © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners - Schnittstellen Jena Ebenfalls auf Java-Basierendes Framework Besitzt eine SPARQL-Abfrage-Engine Ermöglicht das Lesen und Schreiben von OWL und RDF © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit Überblick Was macht ein Reasoner? Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte Im folgenden werden 3 Reasoner betrachtet, deren Eigenschaften dem Anschein nach genügen, um ein Semantisches Projekt durch zu führen © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte - Pellet Java-Basierend Benötigt zum Ausführen nur eine JRE 5 oder höher Steht unter der GPL und ist somit frei verfügbar Beinhaltet das Jena-Framework Einbindung in eigene Java-Programme Unterstützt OWL-API über mitgelieferte Library Besitzt einen standalone DIG-Server Kann über das mitgelieferte Skript gestartet werden Über Port 8081 verfügbar © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte - Pellet Unübersichtlich viele Jar-Libraries einzubinden je nach Verwendung müssen um die 10 Jar-Dateien eingebunden werden Im Jena-Beispiel für eine einfach SPARQL-Abfrage sind es 23 Jar-Dateien! © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte – FaCT++ Auf C++ Basierender Reasoner Wesentlich höhere Geschwindigkeit als Pellet Plattformabhängig nach Kompilierungsvorgang Probleme bei einigen 64-Bit Linux-Distributionen Steht ebenfalls unter der GPL Besitzt keine Jena-Schnittstelle keine SPARQL-Abfrage-Engine © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte – FaCT++ OWL-API Unterstützung Pellet und FaCT++ lassen sich hierbei programmiertechnisch Problemlos gegeneinander Austauschen. Native JNI-Bibliothek muss mitgeliefert werden Standalone DIG-Server Ausführen der Executable führt zum Start des Servers Am Port 3490 verfügbar © Hochschule für Technik und Wirtschaft des Saarlandes
Reasoner Projekte - RacerPro Christian? © Hochschule für Technik und Wirtschaft des Saarlandes
Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit Überblick Was macht ein Reasoner? Fähigkeiten eines Reasoners Bestehende Reasoner-Projekte Fazit © Hochschule für Technik und Wirtschaft des Saarlandes
Was sollen wir als Fazit schreiben? © Hochschule für Technik und Wirtschaft des Saarlandes