TMQL tutorial - part 3

Einführung in Topic Maps

Topic Maps Query Language
Session 3

Sven Krosse M. Sc.
Topic Maps Lab an der Universität Leipzig
krosse@informatik.uni-leipzig.de

topicmapslab.de

Review – Session 1 and 2
1. Meta-Modell von TMQL
2. Grammatik
3. Navigationskonzept
4. Path-Language – Draft 2010 ( kurzer Einblick )

topicmapslab.de

Agenda
1. Postfix
● Filter
– Boolean-Expression
– Filtertypen
● Projektion
2. Operatoren

topicmapslab.de


Sprachbestandteile
Postfix

topicmapslab.de

Postfix
● als Ergänzung für Path-Expression ( Simple-Content )
● erlauben exakte Definition der Ergebnismenge in Path-
Expressions
● Typen
● Filter
● Projektion

topicmapslab.de


Sprachbestandteile
Filter

topicmapslab.de

Filter
● Filter nur nach kompletter Navigation
● Filter nach jedem Schritt als Erweiterung einiger TMQL
Engines
● CL-Filter
● immer Boolean-Expression
● Syntax: [ boolean-expression ]
● NCL-Filter
● zur vereinfachten Verwendung
● Syntax ist variabel
topicmapslab.de
7

Boolean-Expression
● quantitativ oder nicht-quantitativ
● Unterstützung von boolean'schen Operatoren
● Konjunktion mit AND
● Disjunktion mit OR
● Negation mit NOT

topicmapslab.de
8

Quantitative Boolean-Expression
● numerisch strikte Bedingung
● Anzahl der erfüllenden Tuple
● untere Grenze spezifiziert
AT LEAST number binding-set SATISFIES boolean-expression
● obere Grenze spezifiziert
AT MOST number binding-set SATISFIES boolean-expression
● Abhängigkeit von Variablen durch Binding-Set definiert

topicmapslab.de
9

%prefix o http://psi.ontopia.net/music/
// o:composer
[
AT MOST 3
$opera IN // o:opera
SATISFIES $opera >> traverse o:composed-by == .
]

topicmapslab.de
10

// o:composer
[
AT MOST 3
]

Filterdefinition

topicmapslab.de
11

// o:composer
Numerische Quantifizierung
[
AT MOST 3
]

topicmapslab.de
12

// o:composer
Variable-Binding
[
AT MOST 3
]

topicmapslab.de
13

// o:composer
[
AT MOST 3
]

Bedingung

topicmapslab.de
14

// o:composer
[
AT MOST 3
]
→ alle Komponisten, welche maximal 3 Opern komponiert
haben

topicmapslab.de
15

● numerisch freie Bedingung
● exakte Anzahl der erfüllenden Tuple irrelevant
● unteres Minimum
SOME binding-set SATISFIES boolean-expression
● oberes Maximum
EVERY binding-set SATISFIES boolean-expression

topicmapslab.de
16

// o:composer
[
SOME
]

topicmapslab.de
17

// o:composer
[
SOME
]
→ alle Komponisten, welche mindestens eine Oper
komponiert haben

topicmapslab.de
18

Nicht-Quantitative Boolean-Expression
● Bedingung nicht an numerische Grenzen gebunden
● reine Existenz entscheidend
● Syntax: EXISTS boolean-expression
● Schlüsselwort EXISTS optional
● NCL-Vertreter
● Typ-Instanz-Beziehung ( ISA-Expression )
● Supertyp-Subtyp-Beziehung ( AKO-Expression )

topicmapslab.de
19

// o:composer
[
. ISA o:musician
]

topicmapslab.de
20

// o:composer
[
. ISA o:musician
]

→ alle Komponisten, welche auch Instanz von Musiker sind

topicmapslab.de
21

NCL-Filter
● spezielle Filter auf dem NCL
● Index-Filter
● Range-Filter
● Scope-Filter
● Typ-Filter
● besitzen eine Entsprechung auf CL

topicmapslab.de
22

NCL-Filter – Index-Filter
● spezielles Tuple aus der Ergebnissequenz
● Null-basierter Index
● leere Menge wenn Index außerhalb des möglichen Bereichs
● Syntax:
[ number ] → [ $# == number ]
● Bsp:
// http://psi.ontopia.net/music/composer / tm:name [ 0 ]

topicmapslab.de
23

NCL-Filter – Range-Filter
● spezieller Bereich aus der Ergebnissequenz
● Null-basierte Indizes
● alle Elemente die vom Index-Bereich abgedeckt werden
● Syntax
[ a .. b ] → [ a <= $# AND $# < b ]
● Bsp:
// http://psi.ontopia.net/music/composer / tm:name [ 0 .. 1 ]

topicmapslab.de
24

NCL-Filter – Scope-Filter
● Filterung nach Themes
@ theme → [ . >> scope == theme ]
[ @ theme ] → [ . >> scope == theme ]
● Bsp:
// http://psi.ontopia.net/music/composer / tm:name
@http://psi.ontopia.net/basename/short-name
oder
// http://psi.ontopia.net/music/composer / tm:name
[ @http://psi.ontopia.net/basename/short-name ]
topicmapslab.de
25

NCL-Filter – Type-Filter
● Filterung nach Typ
[ ^ type ] → [ . >> types == type ]
// type → [ . >> types == type ]
● Bsp:
// o:composer >> traverse [ ^ o:opera ]
oder
// o:composer >> traverse // o:opera

topicmapslab.de
26

Vergleich Draft 2010
● Draft 2010
● Filterung nach jedem Navigationsschritt möglich
● Kombination von Filtern
● keine Projektion

topicmapslab.de
27

Vergleich Draft 2010
● Beispiel: Filter Draft 2010

/ composer [ . / firstname / value:: =~ „.*Puccini.*“ ] / role::

/ composer / webpage @web @italian / value::

topicmapslab.de
28


Sprachbestandteile
Projektion

topicmapslab.de

Projektion
● Alternative zu Filtern
● Erzeugung von Tupeln mit mehren Elementen
● Ausgangspunkt ist aktueller Knoten im Graph als Ergebnis der
Navigation
● Beschreibung als Tuple-Expression
● optionale Sortierung definierbar
● Syntax: tuple-expression ::= ( <value-expression> )
value-expression ::= content { ASC | DESC }

topicmapslab.de
30

Projektion
// o:composer
(
.,
. / tm:name ,
. / tm:occurrence,
. >> indicators
)

topicmapslab.de
31

Projektion
// o:composer
(
.,
. / tm:name ,
. / tm:occurrence,
. >> indicators
)

Projektionsdefinition
topicmapslab.de
32

Projektion
// o:composer
( aktueller Knoten

.,
. / tm:name ,
. / tm:occurrence,
. >> indicators
)

topicmapslab.de
33

Projektion
// o:composer
( Projektionstupel
.,
. / tm:name ,
. / tm:occurrence,
. >> indicators
)

topicmapslab.de
34


Sprachbestandteile
Operatoren

topicmapslab.de

Operatoren
● erlaubt in so genannte Value-Expression oder Content
● z.B.: Bestandteil einer Boolean-Expression
● verschiedene Typen
● mathematische Operatoren
● Vergleichsoperatoren
● Mengenoperatoren

topicmapslab.de
36

mathematische Operatoren
● Vorzeichen '-'
● unterstützte Datentypen:
– Number

topicmapslab.de
37

● Addition '+'
– Number
– String
– Date
– Time
– DateTime

topicmapslab.de
38

● Subtraktion '-'
– Number
– Date
– Time
– DateTime

topicmapslab.de
39

● Multiplikation '*'
– Number

topicmapslab.de
40

● Division '%'
– Number

Hinweis: im Draft 2010 ersetzt durch 'div'

topicmapslab.de
41

● Modulo 'mod'
– Number

topicmapslab.de
42

Vergleichsoperatoren
● kleiner-als '<'
– Number
– String
– Date
– Time
– DateTime

topicmapslab.de
43

● kleiner-oder-gleich '<='
– Number
– String
– Date
– Time
– DateTime

topicmapslab.de
44

● größer-als '>'
– Number
– String
– Date
– Time
– DateTime

topicmapslab.de
45

● größer-oder-gleich '>='
– Number
– String
– Date
– Time
– DateTime

topicmapslab.de
46

● reguläre Ausdrücke '=~'
– String

topicmapslab.de
47

● Gleichheit '=='
– Number
– String
– Date
– Time
– DateTime

Hinweis: im Draft 2010 ersetzt durch '='

topicmapslab.de
48

Mengenoperatoren
● Vereinigung '++'
● Kombination beider Mengen als neue Sequenz
● Beispiel:
{[A, C], [E, F]} ++ { [C, D]} → {[A, C], [E, F], [C, D]}

Hinweis: im Draft 2010 ersetzt durch 'union'

topicmapslab.de
49

Mengenoperatoren
● Differenz '--'
● entfernt die Elemente der ersten Menge, welche auch in der
zweiten enthalten sind
● Beispiel:
{[A, C], [C, D]} -- { [C, D]} → {[A, C]}

Hinweis: im Draft 2010 ersetzt durch 'minus'

topicmapslab.de
50

Mengenoperatoren
● Schnittmenge '=='
● liefert die Schnittmenge beider Mengen
● Beispiel:
{[A, C], [C, D]} == { [C, D]} → {[C, D]}

Hinweis: im Draft 2010 ersetzt durch 'intersect'

topicmapslab.de
51


ENDE

topicmapslab.de

TMQL tutorial - part 3

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Mehr von Lutz Maicher

Mehr von Lutz Maicher (13)

TMQL tutorial - part 3