Context Navigation

Changes between Version 3 and Version 4 of Sample

Timestamp:: 11/30/08 23:13:13 (5 years ago)
Author:: dschwabe
Comment:: --

Legend:

: Unmodified
: Added
: Removed
: Modified

Sample

v3	v4
3	3
4	4
	5	This page illustrates the usage of Explorator.
5	6
6		Let us now illustrate the usage of Explorator. Suppose the user needs to find all the lakes contained exclusively in Russia (and not in any other country). The task can be decomposed in the following steps:
	7	The repository contains geo-political data about countries in the World.
	8
	9	Suppose the user needs to find all the lakes contained exclusively in Russia (and not in any other country). One possible way to achieve this task is as follows:
7	10
8	11
…	…
11	14	2. Find Russia, the country;
12	15
13		3. Find all the lakes in Russia obtaining a set we will call LR;
	16	3. Find all the lakes in Russia obtaining a set which we will call LR;
14	17
15	18	4. Find the countries that share a boundary with Russia (Russia’s neighbors);
16	19
17		5. Find all the lakes in Russia’s neighbors, obtaining a set we will call LN; and
	20	5. Find all the lakes in Russia’s neighbors, obtaining a set which we will call LN; and
18	21
19	22	6. Build the set of the lakes contained exclusively in Russia by calculating the difference between the previous sets: LR-LN
20	23
21	24
22		To find all the lakes in the database, the user first searches for “lake”:
	25	First we must select the repository. Click on Menu and select Repositories. Deselect all, and select "Mondial". Click ok.
	26
	27	To find all the lakes in the database, a simple way is to search for “lake”:
23	28
24	29
25	30	[[Image(wiki:Sample:1.JPG)]]
26	31
27
28		He locates the Lake class in the resulting set, and gets the set of instances of the Lake class by clicking on the Instances link, to obtain all the lakes in the database:
	32	Locate the `Lake` class in the resulting set, and get the set of instances of the `Lake` class by clicking on the Instances link, to obtain all the lakes in the database:
29	33
30	34
…	…
32	36
33	37
34		Next, to find Russia, ~~he searches for “Russia” and locates the resource Russia~~ in the resulting set:
	38	Next, to find Russia, search for “Russia” and locates the resource `Russia` in the resulting set:
35	39
36	40
…	…
38	42
39	43
40		To make sure ~~he has the right resource, he views the resource details~~:
	44	To make sure it is the right resource, look at the resource details by double-clicking on it:
41	45
42	46
…	…
44	48
45	49
46		Next, to find all the lakes LR in Russia, ~~he selects the set of all lakes and sets it as the subject of his~~ query by clicking on the [S] toolbar button:
	50	Next, to find all the lakes LR in Russia, select the set of all lake (clicking on the box) and set it as the subject of an SPO query by clicking on the [S] toolbar button:
47	51
48	52
…	…
50	54
51	55
52		Continuing to build the query, ~~he selects the resource Russia and sets it as the object of his query~~:
	56	Continuing to build the query, select the resource `Russia` and set it as the object of the SPO query by clicking on the [o] toolbar button:
53	57
54	58
…	…
56	60
57	61
58		~~He executes the query~~ to obtain the set of all lakes in Russia:
	62	Execute the query (click on the [=] toolbar button) to obtain the set of all lakes in Russia:
59	63
60	64
…	…
62	66
63	67
64		Next, to find the countries that share a boundary with Russia, ~~he views the details of the Russia resource and locates the neighbor property in Russia~~, thereby finding its neighboring countries:
	68	Next, to find the countries that share a boundary with Russia, look at the details of the `Russia` resource and locate the `neighbor` property, thereby finding its neighboring countries:
65	69
66	70
…	…
68	72
69	73
70		To find all the lakes in Russia’s neighbors, ~~he selects the set of Lakes in Russia and sets it as the subject of his~~ next query:
	74	To find all the lakes in Russia’s neighbors, select the set of Lakes in `Russia` and sets it as the subject of the next query:
71	75
72	76
…	…
74	78
75	79
76		~~He selects the set of Russia’s neighbors and sets~~ it as the object of his query:
	80	Selects the set of Russia’s neighbors and set it as the object of his query:
77	81
78	82
79	83	[[Image(wiki:Sample:10.JPG)]]
80	84
81
82		He then executes the query to find all lakes in Russia’s neighboring countries:
	85	Execute the query to find all lakes in Russia’s neighboring countries:
83	86
84	87
…	…
86	89
87	90
88		Finally, to build the set of the lakes contained exclusively in Russia, ~~he needs to calculate the difference between the set of lakes in Russia and the set of lakes in Russia’s neighbors. To do this, he selects~~ the first set and the difference operator:
	91	Finally, to build the set of the lakes contained exclusively in Russia, we need to calculate the difference between the set of lakes in Russia and the set of lakes in Russia’s neighbors. To do this, select the first set and the difference operator:
89	92
90	93
…	…
92	95
93	96
94		Finally, ~~he selects the second set (containing the lakes in Russia’s neighbors) and executes~~ the difference operation by clicking on the equal [=] toolbar button, thereby obtaining the desired result:
	97	Finally, select the second set (containing the lakes in Russia’s neighbors) and execute the difference operation by clicking on the equal [=] toolbar button, thereby obtaining the desired result:
95	98
96	99