25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, 1 Ontology Tools I Ein Überblick.

Präsentation zum Thema: "25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, 1 Ontology Tools I Ein Überblick."—  Präsentation transkript:

1 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 1 Ontology Tools I Ein Überblick

2 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 2 Gliederung 1. Einführung 2. Klassifizierung von Ontology-Tools 3. Entwurf von Ontologien 4. Integration vorhandener Ontologien 5. Evaluation von Ontologien 6. Demonstration OilEd 7. Quellen

3 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 3 1. Einführung

4 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 4 Einführung (Große) Ontologien ohne Tools nicht machbar (Große) Ontologien ohne Tools nicht machbar Vielzahl an Formaten und Sprachen Vielzahl an Formaten und Sprachen Verständnis von XML-Code stark eingeschränkt Verständnis von XML-Code stark eingeschränkt

5 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 5 2. Klassifizierung von Ontology Tools

6 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 6 Klassifizierung von Ontology-Tools Klassifizierung möglich nach: Klassifizierung möglich nach: AnwendungsbereichAnwendungsbereich Unterstützte SprachenUnterstützte Sprachen Logik-FähigkeitenLogik-Fähigkeiten ArchitekturArchitektur

7 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 7 Anwendungsbereiche Erstellen von Ontologien Erstellen von Ontologien Ontologien zusammenführen Ontologien zusammenführen Ontologien bewerten Ontologien bewerten

8 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 8 Unterstützte Sprachen OWL OWL DAML+OIL DAML+OIL RDF(S) RDF(S) XML (Schema) XML (Schema) …

9 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 9 Logik-Fähigkeiten Finden von neuen Beziehungen zwischen Klassen Finden von neuen Beziehungen zwischen Klassen Überprüfung der Konsistenz von Klassen und deren Beziehungen Überprüfung der Konsistenz von Klassen und deren Beziehungen Überprüfung der Instanzen auf Kosistenz Überprüfung der Instanzen auf Kosistenz

10 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 10 Architektur Einzelanwendung Einzelanwendung Client/Server Client/Server n-Tier n-Tier

11 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 11 3. Entwurf von Ontologien

12 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 12 Eingabemöglichkeiten Klassen / Konzepte Klassen / Konzepte Beziehungen / Vererbung Beziehungen / Vererbung Restriktionen Restriktionen Eigenschaften Eigenschaften Axiome Axiome Instanzen Instanzen

13 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 13 Visualisierung Hierarchien von Klassen Hierarchien von Klassen Beziehungen zwischen den Klassen Beziehungen zwischen den Klassen Zusammenhang zwischen den Instanzen und ihren Klassen Zusammenhang zwischen den Instanzen und ihren Klassen

14 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 14 Bedienbarkeit Graphischer Entwurf vs. Konventioneller Entwurf Graphischer Entwurf vs. Konventioneller Entwurf Verbale Beschreibung von Klassen und Restriktion Verbale Beschreibung von Klassen und Restriktion

15 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 15 Logik-Modul Unterstützung bei der Entwicklung und Fehlersuche Unterstützung bei der Entwicklung und Fehlersuche Konsistenzsicherung Konsistenzsicherung

16 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 16 Protégé 2000

17 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 17 Protégé 2000 Aktuelle Version: 2.1.2 (3.0beta) Aktuelle Version: 2.1.2 (3.0beta) Platform: Java / Standalone Platform: Java / Standalone Hersteller: Stanford Medical Informatics Hersteller: Stanford Medical Informatics Open Source Open Source Hohe Nutzeranzahl in verschiedensten Bereichen Hohe Nutzeranzahl in verschiedensten Bereichen Leicht erweiterbar durch Plugin- Konzept Leicht erweiterbar durch Plugin- Konzept

18 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 18 Protégé 2000 Für große Ontologien geeignet Für große Ontologien geeignet Interne Datenbank und Cache zur Abfrageoptimierung Interne Datenbank und Cache zur Abfrageoptimierung Aufbau: classes, slots, facets, axioms, individuals, metaclasses Aufbau: classes, slots, facets, axioms, individuals, metaclasses Reasoning: PlugIn Reasoning: PlugIn Unterstützt verschiedenste Formate Unterstützt verschiedenste Formate

19 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 19 OilEd

20 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 20 OilEd Aktuelle Version: 3.5.7 Aktuelle Version: 3.5.7 Platform: Java / Standalone Platform: Java / Standalone Hersteller: University of Manchaster Hersteller: University of Manchaster Nutzt DAML+OIL, aber auch OWL Nutzt DAML+OIL, aber auch OWL Basiert auf Description Logic Basiert auf Description Logic Reasoning: FaCT system Reasoning: FaCT system Beliebige logische Verknüpfungen von Klassen möglich Beliebige logische Verknüpfungen von Klassen möglich

21 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 21 OilEd Aufbau: classes, restrictions, properties, individuals, axioms Aufbau: classes, restrictions, properties, individuals, axioms Komplexe Konstrukte als Rollenfüller möglich Komplexe Konstrukte als Rollenfüller möglich Keine Query-Unterstützung Keine Query-Unterstützung

22 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 22 OntoEdit Free/Professional

23 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 23 OntoEdit Free/Professional Hersteller: ontoprise GmbH Hersteller: ontoprise GmbH Komerzielles Programm Komerzielles Programm Unterstützt gesamten Entwicklungsprozess Unterstützt gesamten Entwicklungsprozess Stabilität? Stabilität?

24 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 24 Weitere Tools Apollo Apollo LinkFactory LinkFactory Ontolingua Server Ontolingua Server OntoSaurus OntoSaurus OpenKnoME OpenKnoME WebODE WebODE WebOnto WebOnto

25 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 25 Vergleich / Bewertung Protégé 2000 OilEd OntoEdit Free Erweiter- barkeit PlugInsNeinPlugIns Import / Export ++++++ LogikJaJa Nein (Prof: Ja)

26 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 26 4. Integration vorhandener Ontologien

27 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 27 Anforderungen Integration von Ontologien während des Entwicklungsprozesses und nach Abschluss dessen Integration von Ontologien während des Entwicklungsprozesses und nach Abschluss dessen Umfangreiche Hilfestellung für den Nutzer Umfangreiche Hilfestellung für den Nutzer

28 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 28 Chimera

29 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 29 Chimera Hersteller: Stanford University Hersteller: Stanford University Platform: WWW Platform: WWW Basiert auf Ontolingua Basiert auf Ontolingua Import von vielen Formaten Import von vielen Formaten Nicht sehr nutzerfreundlich Nicht sehr nutzerfreundlich Rudimentäre Bearbeitungsfunktion Rudimentäre Bearbeitungsfunktion

30 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 30 Chimera Arbeitsweise: Arbeitsweise: Nutzer wählt OntologienNutzer wählt Ontologien Chimera durchsucht die Ontologien nach Übereinstimmungen anhand der SlotsChimera durchsucht die Ontologien nach Übereinstimmungen anhand der Slots Nutzer bekommt Ergebnisse angezeigt und kann sie übernehmen oder verwerfenNutzer bekommt Ergebnisse angezeigt und kann sie übernehmen oder verwerfen

31 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 31 PROMPT

32 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 32 PROMPT PlugIn für Protégé 2000 PlugIn für Protégé 2000 Halb-automatisch Halb-automatisch Führt den Nutzer durch den Integrationsprozess Führt den Nutzer durch den Integrationsprozess Unterbreitet Vorschläge und führt selbst Aktionen durch Unterbreitet Vorschläge und führt selbst Aktionen durch

33 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 33 Weitere Tools ODEMerge (WebODE) ODEMerge (WebODE) FCA-Merge FCA-Merge

34 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 34 5. Evaluation von Ontologien

35 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 35 Gründe Zahlreiche Tools vorhanden Zahlreiche Tools vorhanden Ontologien werden zunehmend im industriellen Umfeld eingesetzt Ontologien werden zunehmend im industriellen Umfeld eingesetzt Kommerzialisierung Kommerzialisierung

36 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 36 Anforderungen Prüfung von Syntax und Semantik Prüfung von Syntax und Semantik Flexibilität Flexibilität Performance Performance Integrationsfähigkeit Integrationsfähigkeit

37 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 37 ONE-T Hersteller: Ontology Group an der Uni Madrid Hersteller: Ontology Group an der Uni Madrid Verifikation von Ontolingua- Ontologien Verifikation von Ontolingua- Ontologien

38 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 38 ONE-T Findet folgende Fehler: Findet folgende Fehler: ZyklenZyklen PartitionsfehlerPartitionsfehler RedundanzRedundanz Grammatikalische FehlerGrammatikalische Fehler Klassen mit der gleichen formalen DefinitionKlassen mit der gleichen formalen Definition

39 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 39 Weitere Tools OntoClean (WebODE) OntoClean (WebODE) OntoAnalyser OntoAnalyser

40 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 40 6. Demonstration OilEd

41 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 41 7. Quellen

42 25.11.2004 Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s2040685@inf.tu-dresden.de 42 Quellen Literatur: Literatur: OntoWeb Deliverable 1.3: A survey on ontology toolsOntoWeb Deliverable 1.3: A survey on ontology tools Patrick Lambrix u.a.: Evaluation of ontology development tools for bioinformaticsPatrick Lambrix u.a.: Evaluation of ontology development tools for bioinformatics http://km.aifb.uni-karlsruhe.de/eon2002/http://km.aifb.uni-karlsruhe.de/eon2002/ Resourcen und Dokumentationen auf den Homepages der ToolsResourcen und Dokumentationen auf den Homepages der Tools Tools: Tools: OilEd: http://oiled.man.ac.ukOilEd: http://oiled.man.ac.uk Protégé 2000 / PROMPT: http://protege.stanford.edu/Protégé 2000 / PROMPT: http://protege.stanford.edu/ OntoEdit / OntoAnalyser: http://www.ontoprise.deOntoEdit / OntoAnalyser: http://www.ontoprise.dehttp://www.ontoprise.de Chimera: http://www.ksl.stanford.edu/software/chimaera/Chimera: http://www.ksl.stanford.edu/software/chimaera/ http://www.ksl.stanford.edu/software/chimaera/