Reasoner Semantische Interoperabilität

Präsentation zum Thema: "Reasoner Semantische Interoperabilität"—  Präsentation transkript:

1 Reasoner Semantische Interoperabilität
HTW Reasoner Semantische Interoperabilität von Christian Schwerdtfeger & Matthias Folz

2 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

3 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

4 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

5 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

6 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

7 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

8 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

9 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

10 Fähigen eines Reasoners - Schnittstellen
DIG Christian? © Hochschule für Technik und Wirtschaft des Saarlandes

11 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

12 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

13 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

14 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

15 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

16 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

17 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

18 Reasoner Projekte - RacerPro
Christian? © Hochschule für Technik und Wirtschaft des Saarlandes

19 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

20 Was sollen wir als Fazit schreiben?
© Hochschule für Technik und Wirtschaft des Saarlandes