25.11.2004 25.11.2004 Hauptseminar "Modellierung und das Hauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, Semantische Web" - Kai-Uwe Gärtner, [email protected][email protected]1 Ontology Tools I Ontology Tools I Ein Überblick Ein Überblick
Ontology Tools I. Ein Überblick. Gliederung. Einführung Klassifizierung von Ontology-Tools Entwurf von Ontologien Integration vorhandener Ontologien Evaluation von Ontologien Demonstration OilEd Quellen. 1. Einführung. Einführung. (Große) Ontologien ohne Tools nicht machbar - PowerPoint PPT Presentation
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
11
Ontology Tools IOntology Tools I
Ein ÜberblickEin Überblick
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
22
GliederungGliederung
1.1. EinführungEinführung
2.2. Klassifizierung von Ontology-ToolsKlassifizierung von Ontology-Tools
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1313
VisualisierungVisualisierung
Hierarchien von KlassenHierarchien von Klassen Beziehungen zwischen den KlassenBeziehungen zwischen den Klassen Zusammenhang zwischen den Zusammenhang zwischen den
Instanzen und ihren KlassenInstanzen und ihren Klassen
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1414
BedienbarkeitBedienbarkeit
Graphischer Entwurf vs. Graphischer Entwurf vs. Konventioneller EntwurfKonventioneller Entwurf
Verbale Beschreibung von Klassen Verbale Beschreibung von Klassen und Restriktionund Restriktion
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1515
Logik-ModulLogik-Modul
Unterstützung bei der Entwicklung Unterstützung bei der Entwicklung und Fehlersucheund Fehlersuche
KonsistenzsicherungKonsistenzsicherung
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1616
Protégé 2000Protégé 2000
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1717
Protégé 2000Protégé 2000
Aktuelle Version: 2.1.2 (3.0beta)Aktuelle Version: 2.1.2 (3.0beta) Platform: Java / StandalonePlatform: Java / Standalone Hersteller: Stanford Medical Hersteller: Stanford Medical
InformaticsInformatics Open SourceOpen Source Hohe Nutzeranzahl in Hohe Nutzeranzahl in
verschiedensten Bereichenverschiedensten Bereichen Leicht erweiterbar durch Plugin-Leicht erweiterbar durch Plugin-
KonzeptKonzept
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1818
Protégé 2000Protégé 2000
Für große Ontologien geeignetFür große Ontologien geeignet Interne Datenbank und Cache zur Interne Datenbank und Cache zur
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
1919
OilEdOilEd
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
2020
OilEdOilEd
Aktuelle Version: 3.5.7Aktuelle Version: 3.5.7 Platform: Java / StandalonePlatform: Java / Standalone Hersteller: University of ManchasterHersteller: University of Manchaster Nutzt DAML+OIL, aber auch OWLNutzt DAML+OIL, aber auch OWL Basiert auf Description LogicBasiert auf Description Logic Reasoning: FaCT systemReasoning: FaCT system Beliebige logische Verknüpfungen Beliebige logische Verknüpfungen
von Klassen möglichvon Klassen möglich
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
2727
AnforderungenAnforderungen
Integration von Ontologien während Integration von Ontologien während des Entwicklungsprozesses und nach des Entwicklungsprozesses und nach Abschluss dessenAbschluss dessen
Umfangreiche Hilfestellung für den Umfangreiche Hilfestellung für den NutzerNutzer
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
2828
ChimeraChimera
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
2929
ChimeraChimera
Hersteller: Stanford UniversityHersteller: Stanford University Platform: WWWPlatform: WWW Basiert auf OntolinguaBasiert auf Ontolingua Import von vielen FormatenImport von vielen Formaten Nicht sehr nutzerfreundlichNicht sehr nutzerfreundlich Rudimentäre BearbeitungsfunktionRudimentäre Bearbeitungsfunktion
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3030
ChimeraChimera
Arbeitsweise:Arbeitsweise:• Nutzer wählt OntologienNutzer wählt Ontologien• Chimera durchsucht die Ontologien nach Chimera durchsucht die Ontologien nach
Übereinstimmungen anhand der SlotsÜbereinstimmungen anhand der Slots• Nutzer bekommt Ergebnisse angezeigt Nutzer bekommt Ergebnisse angezeigt
und kann sie übernehmen oder und kann sie übernehmen oder verwerfenverwerfen
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3131
PROMPTPROMPT
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3232
PROMPTPROMPT
PlugIn für Protégé 2000PlugIn für Protégé 2000 Halb-automatischHalb-automatisch Führt den Nutzer durch den Führt den Nutzer durch den
IntegrationsprozessIntegrationsprozess Unterbreitet Vorschläge und führt Unterbreitet Vorschläge und führt
selbst Aktionen durchselbst Aktionen durch
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3636
AnforderungenAnforderungen
Prüfung von Syntax und SemantikPrüfung von Syntax und Semantik FlexibilitätFlexibilität PerformancePerformance IntegrationsfähigkeitIntegrationsfähigkeit
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3737
ONE-TONE-T
Hersteller: Ontology Group an der Hersteller: Ontology Group an der Uni MadridUni Madrid
Verifikation von Ontolingua-Verifikation von Ontolingua-OntologienOntologien
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
3838
ONE-TONE-T
Findet folgende Fehler:Findet folgende Fehler:• ZyklenZyklen• PartitionsfehlerPartitionsfehler• RedundanzRedundanz• Grammatikalische FehlerGrammatikalische Fehler• Klassen mit der gleichen formalen Klassen mit der gleichen formalen
DefinitionDefinition
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
4040
6. Demonstration OilEd6. Demonstration OilEd
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
4141
7. Quellen7. Quellen
25.11.200425.11.2004 Hauptseminar "Modellierung und das SemHauptseminar "Modellierung und das Semantische Web" - Kai-Uwe Gärtner, s204068antische Web" - Kai-Uwe Gärtner, [email protected]@inf.tu-dresden.de
4242
QuellenQuellen Literatur:Literatur:
• OntoWeb Deliverable 1.3: „A survey on ontology tools“OntoWeb Deliverable 1.3: „A survey on ontology tools“• Patrick Lambrix u.a.: „Evaluation of ontology Patrick Lambrix u.a.: „Evaluation of ontology
development tools for bioinformatics“development tools for bioinformatics“• http://km.aifb.uni-karlsruhe.de/eon2002/http://km.aifb.uni-karlsruhe.de/eon2002/• Resourcen und Dokumentationen auf den Homepages Resourcen und Dokumentationen auf den Homepages