![Page 1: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/1.jpg)
Moderne Web-Technologien
Semantic Web
Editoren & Validatoren
Michal Murawicki
Axel Fiebelkorn
Eike Starkmann
![Page 2: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/2.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 3: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/3.jpg)
Allgemeines
� Warum überhaupt Validatoren?– Man würde gerne wissen, ob das
Dokument korrekt ist
– Oder in welcher Syntax ein Dokument geschrieben ist (OWL Lite / DL / Full)
– Wo treten die Fehler in einem Dokument auf?
![Page 4: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/4.jpg)
Allgemeines
� Warum überhaupt Editoren?– Einfachere Erstellung und Bearbeitung
von Dokumenten
– Zeitersparnis
– Angenehmes Arbeiten
>> Editoren besser als Notepad
![Page 5: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/5.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 6: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/6.jpg)
RDF-Validatorhttp://www.w3c.org/RDF/Validator
� Validierung und Visualisierung von RDF-Dateien
� basiert auf dem Another RDF Parser (ARP)
� 3-Tupel Repräsentation eines Datenmodells sowie graphische Darstellung
� Validierung auch per URI
� Source-Code frei zugängig
![Page 7: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/7.jpg)
RDF-ValidatorEingabe: RDF-Datei
<?xml version="1.0"?><rdf:RDFxmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"xmlns:bk="http://www.bookstore.fake/bk#"><rdf:Description rdf:about="http://www.bookstore.fake/bk/RDF Grundlagen"><bk:ISBN>123456789</bk:ISBN><bk:autor>John Smith</bk:autor><bk:jahr>2004</bk:jahr><bk:preis>20,50</bk:preis></rdf:Description></rdf:RDF>
![Page 8: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/8.jpg)
RDF-ValidatorStartseite
![Page 9: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/9.jpg)
RDF-ValidatorAusgabe: Tripels
![Page 10: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/10.jpg)
RDF-ValidatorAusgabe: Graph
![Page 11: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/11.jpg)
RDF-ValidatorFehlerbehandlung
<?xml version="1.0"?><rdf:RDFxmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"xmlns:bk="http://www.bookstore.fake/bk#"><rdf:Description rdf:about="http://www.bookstore.fake/bk/RDF Grundlagen"><bk:ISBN>123456789</bk:ISBN><bk:autor>John Smith</bk:autor><bk:jahr>2004<bk:jahr><bk:preis>20,50</bk:preis></rdf:Description></rdf:RDF>
![Page 12: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/12.jpg)
RDF-ValidatorFehlerbehandlung
![Page 13: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/13.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 14: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/14.jpg)
Protégéhttp://protege.stanford.edu/
� entwickelt an der Stanford University
� open source
� geschrieben in Java
� Modellierung und Manipulation von Ontologien
� Framework für wissensbasierte Tools und Applikationen
� graphische Darstellung und Edition von RDF/OWL-Dateien
� Protégé-Frames, Protégé-OWL
![Page 15: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/15.jpg)
Besonderheiten
� ständige Weiterentwicklung
� flexibel
� erweiterbare Umgebung
� viele Plug-ins
� große Benutzergemeinde
� umfangreiche Tutorials
� OWL (Lite, DL, Full)
� keine Bearbeitung des Codes!
![Page 16: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/16.jpg)
Modellierung
Protégé -Frames:(neuste stabile Version: 3.2.1)
� Konstruktion von framebasierten Ontologien in einer bestimmten Domäne
� kompatibel mit Open Knowledge Base Connectivity Protocol (OKBC)
� Programmierschnittstelle für den Zugang zu Wissensbasen
� plug-in Architektur
![Page 17: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/17.jpg)
Modellierung
Protégé-OWL:
� Aufbau von Ontologien für Semantic Web� Erweiterung von Protege um OWL-Modellierung� als Plug-In mit eigenem GUI� Zugang zum DL-Reasoner� Zusammenspiel mit Jena Framework
(http://jena.sourceforge.net/)
![Page 18: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/18.jpg)
Protégé-OWL - Architektur
![Page 19: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/19.jpg)
Letzte Konferenz:
9th, 23-26. Juli, Stanford, California
Themen u.a.:
� Entwicklung von Ontologien (frame, OWL)
� Ontologie-basierte Softwareentwicklung
� Medizinische Software
� Entwicklung von Plug-Ins
� Visualisierungs-Tools
Protégé Konferenzen
![Page 20: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/20.jpg)
![Page 21: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/21.jpg)
� Individuals (Instanzen einer Klasse)
� Properties (binäre Relationen auf Instanzen)
� Classes (Mengen von Instanzen)
Protégé-OWL - Komponenten
![Page 22: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/22.jpg)
![Page 23: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/23.jpg)
Disjunkte Klassen
Klassen in OWL können sich „überlappen“. Man definiert eine Menge von disjunkten Klassen. Innerhalb der Menge können Instanzen zu höchstens genau einer Klasse gehören.
![Page 24: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/24.jpg)
![Page 25: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/25.jpg)
Domain:Linke Seite einer Relation (analog zum
Definitionsbereich in der Mengenlehre)
Range:Rechte Seite einer Relation (analog zum
Wertebereich in der Mengenlehre)
Domain / Range
![Page 26: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/26.jpg)
Property Restrictions
Eigenschaften-
Einschränkung
![Page 27: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/27.jpg)
Existential Restrictions
� someValuesFrom
![Page 28: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/28.jpg)
Universal Restrictions
� allValuesFrom
![Page 29: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/29.jpg)
Cardinality Restrictions
� hasValue
![Page 30: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/30.jpg)
Necessary And Sufficient Conditions
![Page 31: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/31.jpg)
![Page 32: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/32.jpg)
Schnelle Erstellung von mehreren:
� Unterklassen
� Properties
� Individuals
� Restrictions
Wizards
![Page 33: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/33.jpg)
Beispiel: multiple subclasses
![Page 34: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/34.jpg)
� Project Management
� Visualisierung
� Import / Export
� Reasoning
� Semantic Web
� Software Engineering
Plugins
![Page 35: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/35.jpg)
Plug-in: Jambalaya
![Page 36: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/36.jpg)
DEMO
![Page 37: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/37.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 38: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/38.jpg)
Übersicht
�� Pellet Pellet ValidatorValidator–– Allgemeines Allgemeines
– Features
– Funktionsweise
– Demo
� SemanticWorks– Allgemeines
– Features
– Demo
![Page 39: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/39.jpg)
Pellet - Allgemeines
� Open Source, auf Java basierender OWL DL (and Full) Validator
� Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL)
� Tableaux : Auswertung von Prädikaten, bzw. Logik
![Page 40: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/40.jpg)
Pellet - Allgemeines
� Pellet ist der einzige zuverlässige und komplette Validator, der die Ausdrucksstärke von OWL DL behandeln kann
� Warum lieber OWL DL als OWL FULL ??? � OWL DL entscheidbar, FULL nicht !!!!
![Page 41: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/41.jpg)
Pellet - Allgemeines
![Page 42: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/42.jpg)
Übersicht
Pellet Pellet ValidatorValidator– Allgemeines
–– Features Features
– Funktionsweise
– Demo
� SemanticWorks– Allgemeines
– Features
– Demo
![Page 43: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/43.jpg)
Pellet Features
� Beispiel an denen Features gezeigt werden
<?xml version="1.0"?><rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bk="http://www.bookstore.fake/bk#"><rdf:Descriptionrdf:about="http://www.bookstore.fake/bk/RDFGrundlagen"><bk:ISBN>123456789</bk:ISBN><bk:autor> John Smith</bk:autor><bk:jahr>2004</bk:jahr><bk:preis>20,50</bk:preis></rdf:Description></rdf:RDF>
![Page 44: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/44.jpg)
Pellet Features
� Ontologie – Analyse und “Reparatur“– OWL hat drei Dialekte und zwei “Hauptdialekte”– Pellet verarbeitet einige viele Heuristiken und
findet dabei heraus, ob es sich um ein OWL DL oder OWL FULL Dokument handelt. Es wird geprüft :� ob der Graph Kreise enthält, falls ja OWL FULL� ob eine Klasse Instanz einer anderen ist, falls ja OWL
FULL� ob Kardinalitäten > 1 existieren, falls ja OWL FULL
![Page 45: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/45.jpg)
Pellet Features
![Page 46: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/46.jpg)
Pellet Features
<?xml version="1.0"?><rdf:RDF xml:base="http://www.w3.org/2002/03owlt/I5.26/consistent006" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<owl:Class rdf:nodeID="B"><owl:intersectionOf rdf:parseType="Collection"><owl:Class rdf:ID="B"/><owl:Class>
<owl:unionOf rdf:parseType="Collection"><rdf:Description rdf:nodeID="B"/><owl:Class rdf:ID="C"/>
</owl:unionOf></owl:Class>
</owl:intersectionOf></owl:Class>
</rdf:RDF>
![Page 47: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/47.jpg)
Pellet Features
![Page 48: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/48.jpg)
Pellet Features
� ABOX Query– es wurde ein ABOX Anfragemodul mit
eingebunden, so dass es ermöglicht wird, Datenbank ähnliche Anfragen an eine Ontologie zu stellen.
– Die Anfragesprache ist SPARQL (oder RDQL)
![Page 49: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/49.jpg)
Pellet Features
![Page 50: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/50.jpg)
Pellet Features
� Ontologie Debugging– es werden Erklärungen gegeben, warum tritt ein
Fehler auf und wo
� Datentyp Urteilsvermögen– Pellet testet die Erfüllbarkeit von Verbindungen
von erstellten Datentypen (type checking).
– Z.B. eingeschränkte Integer Werte.
![Page 51: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/51.jpg)
Pellet Features
<?xml version="1.0"?><rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
xmlns:bk="http://www.bookstore.fake/bk#"><rdf:Descriptionrdf:about="http://www.bookstore.fake/bk/RDFGrundlagen"><bk:ISBN>123456789</bk:ISBN><bk:autor> John Smith</bk:autor><bk:jahr>2004<bk:jahr><bk:preis>20,50</bk:preis></rdf:Description></rdf:RDF>
![Page 52: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/52.jpg)
![Page 53: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/53.jpg)
Übersicht
�� Pellet Pellet ValidatorValidator– Allgemeines
– Features
–– FunktionsweiseFunktionsweise
– Demo
� SemanticWorks– Allgemeines
– Features
– Demo
![Page 54: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/54.jpg)
Pellet - Funktionsweise
![Page 55: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/55.jpg)
Pellet - Funktionsweise
� Zuerst wird geprüft um was für eine Art von Ontologie es sich handelt (DL / FULL)
� Danach wird die OWL Ontologie in den Reasoner(logischen Denker) geladen
� Während dieser Ladephase werden die Axiome über Klassen in die TBOX Komponente gepackt, wohingegen die Axiome über die konkreten Daten (Type und Eigenschaft) in die ABOX gespeichert werden
![Page 56: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/56.jpg)
Pellet - Funktionsweise
� TBOX :� Konzept-Axiome, die die Struktur der zu modellierenden
Domäne beschreiben (konzeptionelles Schema):– Elephant vAnimal uLarge uGrey– Unterklasse oder Äquivalent
� ABOX :� Aussage-Axiome, die konkrete Situationen (Daten)
beschreiben:– Happy Father(John)– has Child(John, Mary)– Instanzen, Rollen, Gleichheit, Ungleichheit
![Page 57: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/57.jpg)
Übersicht
�� Pellet Pellet ValidatorValidator– Allgemeines
– Features
– Funktionsweise
–– DemoDemo
� SemanticWorks– Allgemeines
– Features
– Demo
![Page 58: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/58.jpg)
Übersicht
� Pellet Validator– Allgemeines
– Features
– Funktionsweise
– Demo
�� SemanticWorksSemanticWorks–– AllgemeinesAllgemeines
– Features
– Demo
![Page 59: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/59.jpg)
SemanticWorks - Allgemeines
� Was ist SemanticWorks ???
� SemanticWorks ist ein OWL/RDFS/RDF Editor
� Von der Firma Altova und ist seit 2006 erhältlich
� Altova ist Marktführer für XML Tools wie XML Spy, MissionKit, DatabaseSpy
![Page 60: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/60.jpg)
SemanticWorks - Allgemeines
� Was ist SemanticWorks ???
� Altova vertreibt SemanticWorks kommerziell (99 Euro)
� bieten aber eine Free-Trial Version von 30 Tagen
� Anmeldung mit Name, Email, usw.
![Page 61: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/61.jpg)
Übersicht
� Pellet Validator– Allgemeines
– Features
– Funktionsweise
– Demo
�� SemanticWorksSemanticWorks– Allgemeines
–– FeaturesFeatures
– Demo
![Page 62: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/62.jpg)
![Page 63: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/63.jpg)
SemanticWorks - Features
� RDF Dokumente können erstellt und editiert werden (graphisch und textbasierend)
� Zusätzlich >> Editieren von OWL/RDFS Code
� sehr Code naher graphischer Editor
![Page 64: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/64.jpg)
SemanticWorks - Features
� Man kann sich zwischen folgenden Anzeigemöglichkeiten entscheiden :– Classes, listet alle Ontologie Klassen auf. Es
werden sogar Blank nodes angezeigt, falls die Option ausgewählt ist
– Properties, listet die Beziehungen der Ontologie auf
– Instances (a.k.a. individuals), listet alle Instanzen der Klassen einer Ontologie auf.
![Page 65: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/65.jpg)
SemanticWorks - Features
� Man kann sich zwischen folgenden Anzeigemöglichkeiten entscheiden :– All-Different, listet alle owl:AllDifferent Objekte
der Ontologie auf
– Ontologies, listet alle Ontologien des Dokumentes auf, auch die importierten
![Page 66: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/66.jpg)
SemanticWorks - Features
![Page 67: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/67.jpg)
SemanticWorks - Features
� Detail View, die
bestehenden
Ontologie
Objekte können
noch
zusätzlich
bearbeitet
werden
![Page 68: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/68.jpg)
SemanticWorks - Features
� Overview Fenster, bietet eine Übersicht, wo man sich in der graphischen Ansicht befindet
![Page 69: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/69.jpg)
SemanticWorks - Features
� Text View, hier wird das Dokument in der Ursprünglichen RDF/XML Syntax angezeigt. Es gibt zur Erleichterung folgendes : – eine Einfärbung der Syntax,
– Zeilennummerierung,
– einklappbare Elemente,
– drag and drop
� bessere Übersicht
![Page 70: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/70.jpg)
SemanticWorks - Features
![Page 71: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/71.jpg)
SemanticWorks - Features
� Checking documents – Ein RDF, RDF Schema, OWL Lite, OWL DL oder
OWL Full Dokument kann auf seine Syntax geprüft werden.
– Zusätzlich, OWL Lite und OWL DL Dokumente können auf ihre korrekte Semantik geprüft werden
![Page 72: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/72.jpg)
SemanticWorks - Features
� Checking documents – Fehler werden im
Error-Fenster
angezeigt und sind
mit einem Link zum
Fehler versehen.
![Page 73: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/73.jpg)
SemanticWorks - Features
![Page 74: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/74.jpg)
Übersicht
� Pellet Validator– Allgemeines
– Features
– Funktionsweise
– Demo
�� SemanticWorksSemanticWorks– Allgemeines
– Features
–– DemoDemo
![Page 75: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/75.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 76: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/76.jpg)
Übersicht
�� SWOOPSWOOP–– Allgemeines Allgemeines – Features – Probleme– Beispiele
� WonderWeb Validator– Allgemeines
� Zusammenfassung
![Page 77: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/77.jpg)
SWOOP - Allgemeines
� SWOOP ist ein Hypermedia-basierter OWL Ontology Editor
� Java basiert und daher Plattformunabhängig� Entwickelt von mindswap, weiterentwicklung
als Open Source bei Google Code� MIT Lizenz� http://www.mindswap.org/2004/SWOOP/
![Page 78: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/78.jpg)
SWOOP - Allgemeines
� Architektur
![Page 79: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/79.jpg)
Übersicht
�� SWOOPSWOOP– Allgemeines–– FeaturesFeatures– Probleme– Beispiele
� WonderWeb Validator– Allgemeines
� Zusammenfassung
![Page 80: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/80.jpg)
SWOOP - Features
� Web-browser Look & Feel– Direktes öffen von Otologien per eingebauten Browser
� Addressleiste, Bookmarks, History� Hypertextual Navigation
– Navigation wie bei einem Browser
![Page 81: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/81.jpg)
SWOOP - Features
![Page 82: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/82.jpg)
SWOOP - Features
� Surfen, Editieren, OWL Einträge in verschiedener Syntax vergleichen
– Consise Format(editierbar) – Abstract Syntax– RDF/XML(editierbar) – Turtle– weitere Plugins hinzufügbar
� Change Log mit Versionierung
![Page 83: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/83.jpg)
SWOOP - Features
![Page 84: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/84.jpg)
SWOOP - Features
� Annotea Client für Zusammenarbeit– Nachrichten hinterlassen– Kommunikation erleichtern
� Change Sets mit anderen teilen– Jeder bekommt mit was geändert worden ist– Erleichtert Zusammenarbeit
� Ontology Debugging mit dem OWL Reasoner: Pellet
� Plugin System– Es können neue Reasoner nachgeladen werden
![Page 85: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/85.jpg)
SWOOP - Features
![Page 86: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/86.jpg)
SWOOP - Features
� Es werden folgende Ansichten angeboten :– Class Tree, listet alle Ontologie Klassen auf. – Property Tree, listet die Beziehungen der
Ontologie(n) auf– List , listet alles alphabetisch auf; ohne
Baumstruktur.
![Page 87: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/87.jpg)
SWOOP - Features
� Plugins– Pellet Plugin (Default in SWOOP v2.2) – Graph Visualisierung (noch nicht verfügbar) – Natural Language Entity Renderer (noch nicht
verfügbar)
![Page 88: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/88.jpg)
SWOOP - Features
� Hilfe– Generelle Mailingliste:– http://lists.mindswap.org/mailman/listinfo/swoop
– Developer Mailingliste:– http://lists.mindswap.org/mailman/listinfo/swoop-devel
– Generelle Dokumentation:– http://www.mindswap.org/papers/SwoopJWS_Revised.pdf
– Aktuelle Version:– http://code.google.com/p/swoop/
![Page 89: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/89.jpg)
Übersicht
� SWOOP– Allgemeines– Features –– ProblemeProbleme– Beispiele
� WonderWeb Validator– Allgemeines
� Zusammenfassung
![Page 90: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/90.jpg)
SWOOP - Probleme
� Stürzte oft ab (unter Linux) � Dateien mit fehlerhafter Syntax können zum
Teil nicht geöffnet werden.� Debuggen von grösseren Otologien ist extrem
langsam, oder geht gar nicht
![Page 91: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/91.jpg)
Übersicht
� SWOOP– Allgemeines– Features– Probleme–– BeispieleBeispiele
� WonderWeb Validator– Allgemeines
� Zusammenfassung
![Page 92: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/92.jpg)
Übersicht
� SWOOP– Allgemeines– Features– Probleme– Beispiele
�� WonderWeb ValidatorWonderWeb Validator–– AllgemeinesAllgemeines
� Zusammenfassung
![Page 93: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/93.jpg)
WonderWeb Validator -Allgemeines
� OWL Validator– http://phoebus.cs.man.ac.uk:9999/OWL/Validator
– Seite seit längerer Zeit offline.– Sehr wenig Informationen– Die online Version läuft mit SWOOP
� OWL Validator Plug-In– Es gibt ein Plug-In für Protege – http://www.co-ode.org/downloads/owlvalidator/co-ode-index.php
![Page 94: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/94.jpg)
Übersicht
� Allgemeines
� RDF-Validator� Protégé Editor
� Pellet Validator� SemanticWorks Editor
� SWOOP Editor� WonderWeb Validator
� Zusammenfassung
![Page 95: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/95.jpg)
Zusammenfassung
RDF-ValidatorVorteile:
� open source
� tabellarische Ausgabe (3-Tupel)
� graphisch ansprechende Baum-Ausgabe
� übersichtliche Fehlermeldung (mit Zeilenangabe)
� Verbesserungsvorschläge
Nachteile:
� keine Analyse von Ontologien
![Page 96: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/96.jpg)
Zusammenfassung
Pellet-ValidatorVorteile:
� open source
� Ontologieanalyse und Anpassungsvorschläge, um ein OWL DL oder Lite Dokument zu erhalten
� SPARQL Anfragen-Verarbeitung
� Fehleranalyse
� Downloadbar und somit Offline nutzbar
![Page 97: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/97.jpg)
Zusammenfassung
Pellet-ValidatorNachteile:
� Fehlerausgabe ist unübersichtlich und leider teilweise ohne Zeilenangaben
� Tree-Ausgabe ähnlich „Konsolengrafik“(entspricht eher einer Liste)
� kaum Verbesserungsvorschläge
![Page 98: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/98.jpg)
Zusammenfassung
WonderWeb:Vorteile: unbekannt
Nachteile:
� Server offline
� kaum Dokumentation
� Alle Tutorials verweisen auf einen toten Link
![Page 99: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/99.jpg)
Zusammenfassung
Welchen Validator soll ich benutzen?
� Für kleine RDF-Dokumente:
RDF Validator von W3C
� Für Ontologien: Pellet Validator
![Page 100: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/100.jpg)
Zusammenfassung
ProtégéVorteile:
� open source
� ansehnliche graphische Ausgabe
� viele Plugins vorinstalliert / gute Dokumentation
� große Comunity
� Drag&Drop
� Layout übersichtlich
� Dokumente syntaxunabhängig erstellbar
![Page 101: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/101.jpg)
Zusammenfassung
ProtégéNachteile:
� Quelltext nicht editierbar
� Import von Ontologien scheitert manchmal
� Kein Öffnen von RDF-Dateien vom Auswahlmenu aus möglich (nur OWL-Dateien)
� Plug-Ins funktionieren manchmal nicht
![Page 102: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/102.jpg)
Zusammenfassung
SemanticWorksVorteile:� Schnelles Editieren von OWL- und RDF-Dateien
� Dateien graphisch und textuell editierbar
� übersichtliche Fehlermeldung (mit Zeilenangabe)
� Gute graphische Ausgabe
� Codenah
� Drag & Drop
![Page 103: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/103.jpg)
Zusammenfassung
SemanticWorksNachteile:
� Kommerziell (kostet 99,- EUR)
� Bei größeren Bäumen ist die Grafik unübersichtlich
� Probleme bei großen Dateien
![Page 104: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/104.jpg)
Zusammenfassung
SWOOPVorteile:� open source
� In Java geschrieben (plattformunabhängig)
� Dateien in verschiedener Syntax editierbar (hierarchisch, textbasierend)
� Look & Feel
� kollaboratives Zusammenarbeiten möglich
![Page 105: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/105.jpg)
Zusammenfassung
SWOOPNachteile:
� Weiterentwicklung stagniert momentan
� läuft bei größeren Dateien instabil
� Dokumente mit Syntax-Fehler werden teilweise nicht geöffnet
� Reasoner / Debugger läuft langsam
� keine graphische Ausgabe
![Page 106: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/106.jpg)
Zusammenfassung
Welchen Editor soll ich benutzen?
� Für private Zwecke: Protégé (auch ohne Syntaxkenntnisse)
� Für gewerbliche Zwecke: SemanticWorks(wegen Kundendienst)
![Page 107: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/107.jpg)
Zusammenfassung
Alternativen:
� SWeDE 2.0.2 – Eclipse 3.1 Pluginhttp://owl-eclipse.projects.semwebcentral.org/
praktisch, da Eclipse viel benutzt wird
� RDF Validator von http://www.rdfabout.com/demo/validator/
� Ähnlich RDF-Validator von W3C, aber weniger Möglichkeiten
![Page 108: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/108.jpg)
Zusammenfassung
Alternativen:
� SMORE : ermöglicht das einbinden von HTML Dokumenten in OWL http://www.mindswap.org/2005/SMORE/
Es gibt noch zahlreiche Ontologie-Editoren im Internet zu finden: http://en.wikipedia.org/wiki/Ontology_editor
![Page 109: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/109.jpg)
Zusammenfassung
Quellen:� http://protege.stanford.edu/
� http://www.mindswap.org/2004/SWOOP/
� http://www.altova.com/products/semanticworks/semantic_web_rdf_owl_editor.html
� http://www.w3.org/RDF/Validator/
� http://www.mindswap.org/2003/pellet/demo.shtml
� http://www.ag-nbi.de/lehre/0607/V_NBI/
� http://en.wikipedia.org
![Page 110: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/110.jpg)
Zusammenfassung
Fragen ???
![Page 111: Moderne Web-TechnologienOpen Source, auf Java basierender OWL DL (and Full) Validator Beruht auf „tableaux“ Algorithmen, entwickelt für Description Logic (DL) Tableaux : Auswertung](https://reader033.vdokument.com/reader033/viewer/2022060421/5f17ac76507eec6b67453c16/html5/thumbnails/111.jpg)
Zusammenfassung
Vielen Dank!