Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin...

43
Evaluierung: Tools Evaluierung: Tools zum Erfassen von zum Erfassen von Ontologien Ontologien Gruppe 12 Gruppe 12 Thema 9 Thema 9 Team: Austin Emenoge, Martin Team: Austin Emenoge, Martin Povazay Povazay

Transcript of Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin...

Page 1: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Evaluierung: Tools Evaluierung: Tools zum Erfassen von zum Erfassen von Ontologien Ontologien

Gruppe 12Gruppe 12

Thema 9Thema 9

Team: Austin Emenoge, Martin PovazayTeam: Austin Emenoge, Martin Povazay

Page 2: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

AgendaAgenda

EinleitungEinleitung Theoretische GrundlagenTheoretische Grundlagen Praktische AspektePraktische Aspekte Erfassungstools…Erfassungstools…

Page 3: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

EinleitungEinleitung

Problem: Zuordnung von einem Problem: Zuordnung von einem Symbol zu einem Objekt oft nicht Symbol zu einem Objekt oft nicht eindeutig.eindeutig.

Was sind Ontologien?Was sind Ontologien?– ein Begriff aus der Philosophie/Seinslehreein Begriff aus der Philosophie/Seinslehre– Informationstechnologie: Definition lt. T.R. Informationstechnologie: Definition lt. T.R.

Gruber Gruber „ „explicit specification of shared explicit specification of shared conceptualizationconceptualization“ “ Ontologien sind der Versuch, die Ontologien sind der Versuch, die Konzepte, auf deren Grundlage wir Konzepte, auf deren Grundlage wir kommunizieren, eindeutig zu beschreiben.kommunizieren, eindeutig zu beschreiben.

Page 4: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

„„meaning triangle“meaning triangle“von Ogden & Richardsvon Ogden & Richards

Page 5: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

OntologienOntologien

Eindeutige Zuordnung von einem Eindeutige Zuordnung von einem Symbol via Konzept zu einem Objekt.Symbol via Konzept zu einem Objekt.

Davenport: „People can‘t share Davenport: „People can‘t share knowledge if they don‘t speak a knowledge if they don‘t speak a common language“common language“

nur eine gemeinsame Interpretation nur eine gemeinsame Interpretation der Kommunikationsinhalte ermöglicht der Kommunikationsinhalte ermöglicht Systemen eine erfolgreiche Systemen eine erfolgreiche Kooperation.Kooperation.

Page 6: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Bsp.: formales Modell Bsp.: formales Modell einer Ontologieeiner Ontologie 5-Tupel O : 5-Tupel O : C,R,HC,R,HCC, rel, A, rel, AOO

C = Menge der SymboleC = Menge der Symbole R = Menge der RelationenR = Menge der Relationen C∩R = 0 C∩R = 0 C,R sind disjunkt C,R sind disjunkt HHCC = Symbolhierarchie: = Symbolhierarchie: HHCC C C C C

HHCC (C (C11,C,C22) ) C C11 ist Subsymbol von C ist Subsymbol von C22

Zwei Symbole werden mittels der FunktionZwei Symbole werden mittels der Funktionrel : R rel : R C C C C miteinander assoziiertmiteinander assoziiert

AAOO = Menge der Axiome = Menge der Axiome

Page 7: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Bsp.: formales Modell Bsp.: formales Modell einer Ontologieeiner Ontologie

C = {Person, Student, Uni},C = {Person, Student, Uni},

R = {studiert_auf, bildet},R = {studiert_auf, bildet},

HHCC(Student, Person) studiert_auf (Student, Person) studiert_auf (Student, Uni)(Student, Uni)

bildet(Uni, Student)bildet(Uni, Student)

AAOO={„FORALL X,Y : ={„FORALL X,Y : Student:X[studiert_aufStudent:X[studiert_aufY] AND Y] AND Uni:Y[bildetUni:Y[bildetX“}X“}

Uni

Student

Person

bildet

studiert_auf

Page 8: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Bsp. einer OntologieBsp. einer Ontologie

<daml:Class rdf:ID=„Person"> <daml:Class rdf:ID=„Person"> <rdfs:label>Person</rdfs:label> <rdfs:label>Person</rdfs:label> <rdfs:comment> <rdfs:comment> Eine Superklasse fuer Personen.Eine Superklasse fuer Personen.</rdfs:comment> </rdfs:comment> </daml:Class></daml:Class>

<daml:Class rdf:ID=„Student"> <daml:Class rdf:ID=„Student"> <rdfs:label>Student</rdfs:label> <rdfs:label>Student</rdfs:label> <rdfs:subClassOf rdf:resource="#Person"/> <rdfs:subClassOf rdf:resource="#Person"/> <rdfs:comment> <rdfs:comment> Studenten sind Personen. Klassen erben von dieser Superklasse. Studenten sind Personen. Klassen erben von dieser Superklasse. </rdfs:comment> </rdfs:comment> </daml:Class> </daml:Class>

<rdf:Property rdf:ID=„studiert_auf“> <rdf:Property rdf:ID=„studiert_auf“> <rdfs:comment> <rdfs:comment> Eine generische Eigenschaft die beschreibt, daß ein Student auf der Eine generische Eigenschaft die beschreibt, daß ein Student auf der Uni studiert. Uni studiert. </rdfs:comment> </rdfs:comment> </rdf:Property></rdf:Property>

Page 9: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Bsp. einer OntologieBsp. einer Ontologie

<daml:Class rdf:ID=„Uni"> <daml:Class rdf:ID=„Uni"> <rdfs:label>Uni</rdfs:label> <rdfs:label>Uni</rdfs:label> <rdfs:comment> <rdfs:comment> Universit&auml;t, auf der Wissen gelehrt wird.Universit&auml;t, auf der Wissen gelehrt wird.</rdfs:comment></rdfs:comment></daml:Class></daml:Class>

<Uni:Hauptuni rdf:ID=„Hauptuni“> <Uni:Hauptuni rdf:ID=„Hauptuni“> <rdfs:label>Hauptuni</rdfs:label> <rdfs:label>Hauptuni</rdfs:label> <Uni:ist_WinterSemester><Uni:ist_WinterSemester><xsd:time rdf:value=„Oktober-Februar"/><xsd:time rdf:value=„Oktober-Februar"/></Uni:ist_WinterSemester> </Uni:ist_WinterSemester> </Uni:Hauptuni></Uni:Hauptuni>

<rdf:Property rdf:ID=„bildet“> <rdf:Property rdf:ID=„bildet“> <rdfs:comment> <rdfs:comment> Eine generische Eigenschaft die beschreibt, daß auf einer Uni Eine generische Eigenschaft die beschreibt, daß auf einer Uni Studenten ausgebildet werden. Studenten ausgebildet werden. </rdfs:comment> </rdfs:comment> </rdf:Property></rdf:Property>

Page 10: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Wozu?Wozu?

Verbindung von Informationen Verbindung von Informationen aus verschiedenen Systemenaus verschiedenen Systemen– Verteilung und Wiederverwendung Verteilung und Wiederverwendung

von Wissenvon Wissen KommunikationKommunikation

– „„Lingua franca“: Definition eines Lingua franca“: Definition eines gemeinsamen Vokabularsgemeinsamen Vokabulars

– Kommunikation zwischen AgentenKommunikation zwischen Agenten

Page 11: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

AnwendungsgebieteAnwendungsgebiete

Ontologien als NormierungOntologien als Normierung Neutral AuthoringNeutral Authoring Normierter Zugang zu Normierter Zugang zu

InformationenInformationen Suche auf der Basis von Suche auf der Basis von

OntologienOntologien

Page 12: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Gliederung und Inhalt(1)Gliederung und Inhalt(1)

Anwendung von OntologienAnwendung von Ontologien– Motivation zu Anwendung von Motivation zu Anwendung von

Ontologie ToolsOntologie Tools– Kriterien für OntologienKriterien für Ontologien

Die Entwicklung von Die Entwicklung von anwendbarenanwendbaren

OntologienOntologien– Motivation und Bedeutung desMotivation und Bedeutung des

OntologieentwicklungsprozessesOntologieentwicklungsprozesses– Kriterien für die EntwicklungKriterien für die Entwicklung– Der OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Tools für die Arbeit mit Ontologien

Page 13: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Gliederung und Inhalt(2)Gliederung und Inhalt(2)

Ontologie ToolsOntologie Tools– Text-To-OntoText-To-Onto– ASIUMASIUM– Protégé (Protégé OWL)Protégé (Protégé OWL)– WebOntoWebOnto– OntoEditOntoEdit

Tools für die Arbeit mit Ontologien

Page 14: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Gliederung und Inhalt(3)Gliederung und Inhalt(3)

DEMODEMO– Text-To-OntoText-To-Onto

DEMODEMO– ProtégéProtégé

Zusammenfassung und SchlussfolgerungenZusammenfassung und Schlussfolgerungen

Tools für die Arbeit mit Ontologien

Page 15: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Anwendung von OntologienAnwendung von Ontologien

Motivation zu Anwendung von Ontologie Tools(1)

Ontology SpecificationDocument

Output

Competency Questions

Kommunikationshilfe zwischen Mensch und Maschine, was den Austausch von Semantik UND Syntax unterstützen soll

Knowledge sharing und Wiederverwendung

Zur Festlegung bestimmter Begriffe (Eindeutigkeit)

Tools für die Arbeit mit Ontologien

Page 16: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Anwendung von OntologienAnwendung von Ontologien

Zugriff, finden und Zusammenfassung von Informationen immer schwieriger

Formalisierung von implizit vorhandenem Wissen

Sie sollen Hintergrund-Wissen zur Verfügung stellen, um die Leistung von Informations-Extraktions-Systeme zu erhöhen

Sie erzwingen eine Wohldefinierte Semantik auf solche Konzeptualisierung

Motivation zu Anwendung von Ontologie Tools[2]

Tools für die Arbeit mit Ontologien

Page 17: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Anwendung von OntologienAnwendung von Ontologien

Motivation zu Anwendung von Ontologie Tools(3)

die verschiedenen Modellierungsmethoden, Paradigmen, Sprachen und Software-Tools schränken die Inter-Operabilität ein und damit die Möglichkeiten der Wiederverwendbarkeit bzw. gemeinsamen Nutzung

Re-inventing the Wheel

Tools für die Arbeit mit Ontologien

Page 18: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Kriterien für OntologienKriterien für OntologienTools für die Arbeit mit Ontologien

Konsens: gemeinsame Sichtweise innerhalb einer Domänen-OntologieZugänglichkeit: leichte Zugänglichkeit, d.h. leichte Integrierbarkeit in Anwendungen

Page 19: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Kriterien für die Anwendung von Ontologie ToolsKriterien für die Anwendung von Ontologie Tools

Tools für die Arbeit mit Ontologien

geplant, organisiert, dokumentiert …

Unterstützung durch ein Tool, welches den gesamten Entwicklungsprozess Schritt für Schritt begleitet und unterstützt

Page 20: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDie Entwicklung von anwendbaren OntologienDie Entwicklung von anwendbaren Ontologien

Page 21: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer Ontologieentwicklungsprozess

Hauptarten und Hauptstrukturen von Konzepten (Objekte, Eigenschaften, Relationen und Axiomen)

Anwendbar auf eine jede mögliche Domäne

praktische Anwendbarkeit -> Wiederverwendbarkeit über verschiedene Domänen

Top Ontologie

Page 22: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien

Schlüsselkonzepte identifizieren

entsprechend Top Level Ontologie beschreiben

enthält Konzepte der entsprechende Anwendungsdomäne

Upper Domain Ontologie

Der Ontologieentwicklungsprozess

Page 23: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer Ontologieentwicklungsprozess

gegenwärtiger Problembereich der Ontologieentwicklung meist nur unter Inkaufnahme von Inkonsistenzen und Einschränkungen

die eigentliche Aufgabe und Herausforderung des Ontologieentwicklers

Specific Domain Ontologie

Page 24: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer Ontologieentwicklungsprozess

Page 25: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer Ontologieentwicklungsprozess

Machbarkeitsstudie:

Ziel: die Entscheidung über die Durchführbarkeit der Ontologieentwicklung

Identifikation der zu lösenden Problemeund der vorhandenen Möglichkeiten zumLösen dieser Problemewelche Werkzeuge, welche Personen

Page 26: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien

Kickoff:

Ziel: vollständige Anforderungsspezifikation welche alle relevanten Wissensquellen ausreichend abdeckt

Der Ontologieentwicklungsprozess

Analyse der Wissensquellen, auf welchen die Ontologie aufbauen sollerste semiformale Ontologiebeschreibung, mittels Text o. Graphen (z.B. MindMap)aus den Wissensquellen relevante Begriffe u. Relationen ableiten (Unterstützung z.B. durch Machine Learning)

Page 27: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Verfeinerung(1):

Ziel: Formalisierung der Ontologiebeschreibung Wahl einer Ontologiesprache (z.B. RDF Schema o. DAML+OIL)

Überprüfung der semiformale Ontologiebeschreibung auf Konsistenz und Vollständigkeit anhand der Anforderungen

Erweitern bis alle wichtigen Begriffe, Relationen, und Regeln vorhanden

Page 28: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Verfeinerung(2):

formalisierte Ontologie sollte alle in der Kickoff-Phase gestellten Anforderungen erfüllen, sonst Berichtigung der Ontologie Ergebnis "mature ontology" (reife Ontologie) bzw. "target ontology"

Page 29: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Verfeinerung(3):

Page 30: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Evaluierung:

Ziel: Evaluierung an der Anforderungsspezifikation und Überprüfung der Nutzbarkeit der entwickelten Ontologie und damit eine evaluierte Ontologie, die bereit ist in eine produktive Umgebung einzutreten

das Entwicklungsteam und die Endnutzer der Zielapplikation sind beteiligt Erstellen eines Prototyp der typische Anfragen umsetzt

Page 31: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienDer OntologieentwicklungsprozessDer Ontologieentwicklungsprozess

Erweiterung und Anpassung:

Vergleichbar mit Wartungs-Phase der Softwareentwicklung geht aber über diese hinaus Ontologie kann tief greifenden Änderungen unterworfen sein (z.B. Veränderung des Vokabulars, Sichtweise einer Domäne) größere Änderungen (z.B. Umstrukturierungen) bedürfen Rückganges in Verfeinerungs- und Evaluierungsphase

Page 32: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien Ontologie ToolsOntologie Tools

Ontologie Lernen:

Text-To-Onto ASIUM

Ontologie Entwicklung:

Protégé (Protégé OWL) WebOnto OntoEdit

Page 33: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologie lernenOntologie lernen

Text-To-Onto Approach:

Sammeln von relevanten Dokumente der Einsatzbereich Dokument werden mittels Sprach Tools analysiert (Linguistik) Begriffe werden in einer DB gespeichert Mittels (Maschine Learning) Algorithmen werden Beziehungen zwischen

Begriffe festgestellt (co-occurrence of classes of objects in a data collection) Darstellung der Begriffe und Beziehungen als klassen mit zugewiesene

Bestandteile

Page 34: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien Ontologie lernenOntologie lernen

TEXT-TO-ONTO (from AIFB and FZI at the University of Karlsruhe)

DEMO:

Page 35: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

Protégé 2000(from SMI Stanford University)

OKBC compliant: classes and slots. Also metaclasses Axioms in KIF and PAL Knowledge acquisition forms automatically generated for capturing instances

Imports: RDF, OIL, XML Exports: RDF, OIL, XML

Technology: Java standalone application; plug-in architecture Knowledge model features:

Page 36: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

Protégé 2000(from SMI Stanford University)

DEMO

Page 37: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

OntoEdit(from Karlsrhue Univ. )

Support to OTK methodology Multilingual development of ontologies, Multiple inheritance oms in KIF and PAL Basic Axioms: disjoint concepts, symmetric relations, transitive relations Imports: RDF, DAML, OIL, XML

Exports: RDF, DAML, OIL, XML

Technology: Java standalone application Knowledge model features:

Page 38: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

OntoEdit-Workbench View

Page 39: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

OntoEdit-Konzept editieren

Page 40: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

OntoEdit - Relation Axioms

Page 41: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit OntologienOntologieentwicklungOntologieentwicklung

OntoEdit -Visualizer

Page 42: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien

Zusammenfassung und SchlussfolgerungenZusammenfassung und Schlussfolgerungen

unterstützen Konsensfindungsprozess und dessen Darstellung Iterativität ermöglicht Deckung und bietet Möglichkeit der Beherrschung von VeränderungenBedeutung des Ontologieentwicklungsprozesses: liegtin Komplexitätsbeherrschung

Page 43: Evaluierung: Tools zum Erfassen von Ontologien Gruppe 12 Thema 9 Team: Austin Emenoge, Martin Povazay.

Tools für die Arbeit mit Ontologien

ENDE