Post on 19-May-2015
description
Einführung in Topic Maps
topicmapslab.de
Topic Maps Query Language
Sven Krosse M. Sc.
Topic Maps Lab an der Universität Leipzig
krosse@informatik.uni-leipzig.de
Session 1
Einführung in Topic Maps
topicmapslab.de
Agenda
1. Grundlagen
● TMQL Metamodell
– Vergleich zum TMDM
● Grammatik
2. TMQL als Sprache
● Topic Identifizierung
● Navigationskonzept
Einführung in Topic Maps
topicmapslab.de
GrundlagenMetamodell
Einführung in Topic Maps
topicmapslab.de
Metamodell
● als Topic Map repräsentiert
● jedes Topic kann im Query verwendet werden
● Topic Maps Elemente anders repräsentiert als im TMDM
Einführung in Topic Maps
topicmapslab.de
TMDM
Einführung in Topic Maps
topicmapslab.de
TMQL
● Topic Map Konstrukt existiert nicht
● keine Reifikation von Topic Maps möglich
● Abfrage aller Topics bzw. Assoziation schwer
Einführung in Topic Maps
topicmapslab.de
TMDM
Einführung in Topic Maps
topicmapslab.de
TMDM → TMQL
Einführung in Topic Maps
topicmapslab.de
TMQL
● keine Unterscheidung zwischen Name und Occurrence
→ Characteristics
Einführung in Topic Maps
topicmapslab.de
TMDM
Einführung in Topic Maps
topicmapslab.de
TMDM → TMQL
Einführung in Topic Maps
topicmapslab.de
TMQL
● keine direkte Unterstützung von Varianten
→ Abfrage nur über spezielle Funktion
Einführung in Topic Maps
topicmapslab.de
TMDM
Einführung in Topic Maps
topicmapslab.de
TMDM → TMQL
Einführung in Topic Maps
topicmapslab.de
TMQL
● keine Rollenkonstrukte
→ keine Reifikation von Rollen
Einführung in Topic Maps
topicmapslab.de
Zusammenfassung
● keine Unterscheidung zwischen Namen und Occurrences
● keine Varianten von Namen
● keine Rollenkonstrukte
● kein Topic Map Konstrukt
Einführung in Topic Maps
topicmapslab.de
GrundlagenGrammatik
Einführung in Topic Maps
topicmapslab.de
Grammatik
● in drei Ebene definiert
● jede Ebene inspiriert von anderen Standards
Einführung in Topic Maps
topicmapslab.de19
Token Level
● Terminalsymbole der Sprache
● Definition auf Basis von regulären Ausdrücken
Token Level
Einführung in Topic Maps
topicmapslab.de20
Canonical Level
● Definition von Produktionsregeln
Beispiel: tuple-expression := <value-expression>
Token Level
Canonical Level
Einführung in Topic Maps
topicmapslab.de21
Non-Canonical Level
Token Level
Canonical Level
Non-Canonical Level
● Termsubstitution als neue Produktionsregeln
● Definition von kürzeren Ausdrücken
anchor / tm:name ==> anchor >> chracteristics tm:name
Einführung in Topic Maps
topicmapslab.de
SprachbestandteileLiterale und Konstanten
Einführung in Topic Maps
topicmapslab.de
Literale und Konstanten
● Konstanten ( atoms ) sind Datentypen und Operatoren
● Übernahme von CTM Datentypen
Einführung in Topic Maps
topicmapslab.de
Literale und Konstanten
atom possible value
atom Undefined | boolean | number | date | dateTime | string | iri
undefined undef
boolean true or false
number decimal or integer
decimal /[+-]?\d+(\.\d+)?/
integer /[+-]?\d+/
date '-'? yyyy '-' mm '-' dd (zzzzzz)?
dateTime '-'? yyyy '-' mm '-' dd 'T' hh ':' mm ':' ss ('.' s+)? (zzzzzz)?
iri see RFC 3987
string /"([^"]|\")*"/ | /'([^']|\')*'/
Einführung in Topic Maps
topicmapslab.de
SprachbestandteileTopic Identifizierung
Einführung in Topic Maps
topicmapslab.de
Topic Identifizierung
● Verwendung von Referenzen oder String Literalen
● String Literale durch Achsen übersetzt
● Referenzen werden automatisch übersetzt
● Subject-Identifier
● Subject-Locator
● Item-Identifier
Einführung in Topic Maps
topicmapslab.de
Topic Identifizierung
● item-identifier
puccini
● subject-identifier
http://en.wikipedia.org/wiki/Puccini
● subject-locator
http://en.wikipedia.org/wiki/Puccini
Einführung in Topic Maps
topicmapslab.de
Topic Identifizierung
● Item-identifier
”puccini“ << item
● Subject-identifier
“http://en.wikipedia.org/wiki/Puccini“ << indicators
● Subject-locator
“http://en.wikipedia.org/wiki/Puccini“ << locators
Einführung in Topic Maps
topicmapslab.de
SprachbestandteileNavigationskonzept
Einführung in Topic Maps
topicmapslab.de30
Navigationskonzept
● basiert auf dem Proxy-Konzept des TMRM
● Modell der Topic Map als abstrakter bidirektionaler Graph
● Definition von 12 Achsen ( +2 NCL )
Einführung in Topic Maps
topicmapslab.de31
Navigationskonzept - Syntax
DIRECTION ::= '<<' | '>>'
AXIS-NAME ::= 'item' | 'indicators' | 'locators' | 'traverse' | 'players' | 'roles' | 'types' | 'reifier' | 'atomify' | 'characteristics' | 'supertypes' | 'scope'
STEP ::= DIRECTION AXIS-NAME [ TOPIC-REF ]
Einführung in Topic Maps
topicmapslab.de32
Achse - indicators
● keine optionalen Typen
● vorwärts: alle Subject-Identifier eines Topics
● rückwärts: Adressierung eines Topics mit Subject Identifier
Einführung in Topic Maps
topicmapslab.de33
Achse - indicators
http://en.wikipedia.org/wiki/Puccini >> indicators
“http://en.wikipedia.org/wiki/Puccini” << indicators
Einführung in Topic Maps
topicmapslab.de34
Achse - locators
● keine optionalen Typen
● vorwärts: alle Subject-Locator eines Topics
● rückwärts: Adressierung eines Topics mit Subject Locator
Einführung in Topic Maps
topicmapslab.de35
Achse - locators
http://en.wikipedia.org/wiki/Puccini >> locators
“http://en.wikipedia.org/wiki/Puccini” << locators
Einführung in Topic Maps
topicmapslab.de36
Achse - item
● keine optionalen Typen
● ohne Pluralisierung!
→ items
● vorwärts: alle Item-Identifier eines Topics
● rückwärts: Adressierung eines Topics mit Item Identifier
Einführung in Topic Maps
topicmapslab.de37
Achse - item
http://en.wikipedia.org/wiki/Puccini >> item
“http://en.wikipedia.org/wiki/Puccini” << item
Einführung in Topic Maps
topicmapslab.de38
Achse - types
● keine optionalen Typen
● vorwärts: alle Typen eines Topics oder der Typ eines Topic Maps Konstruktes
● rückwärts: alle Instanzen eines Topic Typs
● NCL: instances – Achse
● vorwärts: alle Instanzen eines Topics Typs
● rückwärts: alle Typen einer Topics oder der Typ eines Topic
Maps Konstruktes
Einführung in Topic Maps
topicmapslab.de39
Achse - types
http://en.wikipedia.org/wiki/Puccini >> types
http://psi.ontopia.net/music/composer << types
http://en.wikipedia.org/wiki/Puccini << instances
http://psi.ontopia.net/music/composer >> instances
Einführung in Topic Maps
topicmapslab.de40
Achse - supertypes
● keine optionalen Typen
● vorwärts: alle Super-Typen eines Topic Typs
● rückwärts: alle Sub-Typen eines Topic Typs
● NCL: subtypes – Achse
● vorwärts: alle Sub-Typen eines Topic Typs
● rückwärts: alle Super-Typen eines Topic Typs
Einführung in Topic Maps
topicmapslab.de41
Achse - supertypes
http://psi.ontopia.net/music/composer >> supertypes
http://psi.ontopia.net/music/musician << supertypes
http://psi.ontopia.net/music/composer << subtypes
http://psi.ontopia.net/music/musician >> subtypes
Einführung in Topic Maps
topicmapslab.de42
TMQL – Typhierarchie
e1
A
B CD
E F G
e2 g1 g2
Einführung in Topic Maps
topicmapslab.de43
e1
A
B CD
E F G
e2 g1 g2
TMQL – Typhierarchie
TMQL-Query: e1 >> types
Einführung in Topic Maps
topicmapslab.de44
e1
A
B CD
E F G
e2 g1 g2
TMQL – Typhierarchie
TMQL-Query: E >> supertypes
Einführung in Topic Maps
topicmapslab.de45
e1
A
B CD
E F G
e2 g1 g2
TMQL – Typhierarchie
TMQL-Query: A >> instances
Einführung in Topic Maps
topicmapslab.de46
Achse - characteristics
● vorwärts: alle Eigenschaften eines Topics
● rückwärts: das Topic mit der Eigenschaft
● vordefinierte Typen
● alle Name tm:name
● alle Occurrences tm:occurrence
Einführung in Topic Maps
topicmapslab.de47
Achse - characteristics
http://en.wikipedia.org/wiki/Puccini >> characteristics
http://en.wikipedia.org/wiki/Puccini >> characteristics tm:name
http://en.wikipedia.org/wiki/Puccini >> characteristics tm:occurrence
Einführung in Topic Maps
topicmapslab.de48
e1
Name 1
Name 2
t
g
Occurrence 1
Occurrence 2
t
g
TMQL – characteristics axis
Einführung in Topic Maps
topicmapslab.de49
e1
Name 1
Name 2
t
g
Occurrence 1
Occurrence 2
t
g
TMQL – characteristics axis
TMQL-Query: e1 >> characteristics g
Einführung in Topic Maps
topicmapslab.de
ENDE