Semantic in Bullets - Onotologies

sharing knowledge → interlingua

• Syntax, Sematik

• Taxonomy: Klassifikation von Begriffen
• Thesauri: Assoziation und Vernetzung von Begriffen
• Onotologie: Regeln + Wissen über sinnvolle Vernetzung
• Wissen ist Teilmenge aller wahren Annahmen.

Onotologie in der Philosophie

• Existenz?
• Kategorien der existierenden Objekte
• Platon: Trennung zw. Klasse und Instanz
• Sylogismen (Aristoteles) Schlussfolgerungsregeln

An ontology is an explicit, formal specification, of a shared conceptualization.
Onotologie in Informatik

• Bestandteile: Klassen, Beziehungen und Instanzen
• informal, semi-informal, semi-formal oder formal definiert
• formal: sogrfältig definierte Begriffe mit formaler Semantik
• Klassen stehen mit anderen in Beziehung
• an Beziehung können Regeln geknüpft sein
• Aussage über Klassen, Regeln, Beziehungen
• formale Axiome bezeichnen nicht ausdrückbares Wissen
• Instanzen bezeichnen Individuen: konkrete und abstrakte

Ontologieentwurf

• UML, ER → keine logischen Zusammenhänge oder Schlussfolgerungen

Ontologytypen

• Top-Level → allg. bereichsübergreifend
• Domain → Konzepte einer generischen Domäne
• Task → Konzepte einer allg. Aktivität oder Aufgabe
• Application → konkrete fokusierte Domäne, spezialisiert Domain-/Task Ontologie
• lightweight to heavyweight ontologies
• vokabular → thesauri → formales ist-ein → Frames → Wertrestriktionen → Allg. logische Constraints → Disjunktheit, Part-of, inverses
• Taxonomie → Klassifikation
• informale IS-A-Hierarchie → nicht strikte Subklassen
• formale IS-A-Hierarchie → strikte Subklassen
• formale Instanz explizite Hierarchie mit Instanzen

Anwendungen

• Top-Level z.B. OpenCyc
• Domain z.B. NP-Ontologie for SAT & Co.