Download - TMQL tutorial - part 3

Einführung in Topic Maps

topicmapslab.de

Topic Maps Query Language

Sven Krosse M. Sc.

Topic Maps Lab an der Universität Leipzig

[email protected]

Session 3


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

SprachbestandteilePostfix


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

SprachbestandteileFilter


topicmapslab.de7

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.de8

Boolean-Expression

● quantitativ oder nicht-quantitativ

● Unterstützung von boolean'schen Operatoren

● Konjunktion mit AND

● Disjunktion mit OR

● Negation mit NOT


topicmapslab.de9

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.de10


%prefix o http://psi.ontopia.net/music/

// o:composer

[

AT MOST 3

$opera IN // o:opera

SATISFIES $opera >> traverse o:composed-by == .

]


topicmapslab.de11



// o:composer

[

AT MOST 3



]

Filterdefinition


topicmapslab.de12



// o:composer

[

AT MOST 3



]

Numerische Quantifizierung


topicmapslab.de13



// o:composer

[

AT MOST 3



]

Variable-Binding


topicmapslab.de14



// o:composer

[

AT MOST 3



]

Bedingung


topicmapslab.de15



// o:composer

[

AT MOST 3



]

→ alle Komponisten, welche maximal 3 Opern komponiert

haben


topicmapslab.de16


● 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.de17



// o:composer

[

SOME



]


topicmapslab.de18



// o:composer

[

SOME



]

→ alle Komponisten, welche mindestens eine Oper

komponiert haben


topicmapslab.de19

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.de20



// o:composer

[

. ISA o:musician

]


topicmapslab.de21



// o:composer

[

. ISA o:musician

]

→ alle Komponisten, welche auch Instanz von Musiker sind


topicmapslab.de22

NCL-Filter

● spezielle Filter auf dem NCL

● Index-Filter

● Range-Filter

● Scope-Filter

● Typ-Filter

● besitzen eine Entsprechung auf CL


topicmapslab.de23

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.de24

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.de25

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.de26

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.de27

Vergleich Draft 2010

● Draft 2010

● Filterung nach jedem Navigationsschritt möglich

● Kombination von Filtern

● keine Projektion


topicmapslab.de28

Vergleich Draft 2010

● Beispiel: Filter Draft 2010

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

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


topicmapslab.de

SprachbestandteileProjektion


topicmapslab.de30

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.de31

Projektion


// o:composer

(

. ,

. / tm:name ,

. / tm:occurrence,

. >> indicators

)


topicmapslab.de32

Projektion


// o:composer

(

. ,

. / tm:name ,

. / tm:occurrence,

. >> indicators

)

Projektionsdefinition


topicmapslab.de33

Projektion


// o:composer

(

. ,

. / tm:name ,

. / tm:occurrence,

. >> indicators

)

aktueller Knoten


topicmapslab.de34

Projektion


// o:composer

(

. ,

. / tm:name ,

. / tm:occurrence,

. >> indicators

)

Projektionstupel


topicmapslab.de

SprachbestandteileOperatoren


topicmapslab.de36

Operatoren

● erlaubt in so genannte Value-Expression oder Content

● z.B.: Bestandteil einer Boolean-Expression

● verschiedene Typen

● mathematische Operatoren

● Vergleichsoperatoren

● Mengenoperatoren


topicmapslab.de37

mathematische Operatoren

● Vorzeichen '-'

● unterstützte Datentypen:

– Number


topicmapslab.de38


● Addition '+'


– Number

– String

– Date

– Time

– DateTime


topicmapslab.de39


● Subtraktion '-'


– Number

– Date

– Time

– DateTime


topicmapslab.de40


● Multiplikation '*'


– Number


topicmapslab.de41


● Division '%'


– Number

Hinweis: im Draft 2010 ersetzt durch 'div'


topicmapslab.de42


● Modulo 'mod'


– Number


topicmapslab.de43

Vergleichsoperatoren

● kleiner-als '<'


– Number

– String

– Date

– Time

– DateTime


topicmapslab.de44


● kleiner-oder-gleich '<='


– Number

– String

– Date

– Time

– DateTime


topicmapslab.de45


● größer-als '>'


– Number

– String

– Date

– Time

– DateTime


topicmapslab.de46


● größer-oder-gleich '>='


– Number

– String

– Date

– Time

– DateTime


topicmapslab.de47


● reguläre Ausdrücke '=~'


– String


topicmapslab.de48


● Gleichheit '=='


– Number

– String

– Date

– Time

– DateTime

Hinweis: im Draft 2010 ersetzt durch '='


topicmapslab.de49

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.de50

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.de51

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

ENDE