"
],
"text/plain": [
" Instance orbits has-discoverer has-abo has-vo has-density \\\n",
"0 Neptune Sun Adams 0.41 7.8 1.64 \n",
"1 Saturn Sun None 0.47 0.7 0.69 \n",
"2 Mars Sun None 0.15 -2.0 3.93 \n",
"3 Earth Sun None 0.30 NaN 5.52 \n",
"4 Venus Sun None 0.65 -4.4 5.24 \n",
"5 Uranus Sun Herschel 0.51 5.5 1.32 \n",
"6 Mercury Sun None 0.11 -1.9 5.43 \n",
"7 Jupiter Sun None 0.52 -2.7 1.33 \n",
"\n",
" has-semimajor-axis-1000-km has-discovery-year has-period \\\n",
"0 4504300 1846.0 60190.00 \n",
"1 1429400 NaN 10759.50 \n",
"2 227940 NaN 686.98 \n",
"3 149600 NaN 365.26 \n",
"4 108200 NaN 224.70 \n",
"5 2870990 1781.0 30685.00 \n",
"6 57910 NaN 87.97 \n",
"7 778330 NaN 4332.71 \n",
"\n",
" has-eccentricity has-radius has-mass-kg has-rotate has-index \n",
"0 0.01 24766.0 1.020000e+26 0.67 VIII \n",
"1 0.06 60268.0 5.680000e+26 0.45 VI \n",
"2 0.09 3397.0 6.420000e+23 1.03 IV \n",
"3 0.02 6378.0 5.970000e+24 0.99 III \n",
"4 0.01 6052.0 4.870000e+24 -243.00 II \n",
"5 0.05 25559.0 8.680000e+25 -0.72 VII \n",
"6 0.21 2440.0 3.300000e+23 58.60 I \n",
"7 0.05 71492.0 1.900000e+27 0.41 V "
]
},
"execution_count": 16,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"onto.select_instances_of(\"a planet\")"
]
},
{
"cell_type": "code",
"execution_count": 17,
"metadata": {},
"outputs": [
{
"data": {
"text/html": [
"
\n",
"\n",
"
\n",
" \n",
"
\n",
"
\n",
"
Instance
\n",
"
orbits
\n",
"
has-radius
\n",
"
has-semimajor-axis-1000-km
\n",
"
has-index
\n",
"
has-density
\n",
"
has-period
\n",
"
has-vo
\n",
"
has-discovery-year
\n",
"
has-discoverer
\n",
"
has-eccentricity
\n",
"
has-mass-kg
\n",
"
has-rotate
\n",
"
has-abo
\n",
"
\n",
" \n",
" \n",
"
\n",
"
0
\n",
"
Carme
\n",
"
Jupiter
\n",
"
20.0
\n",
"
22600
\n",
"
XI
\n",
"
2.80
\n",
"
-692.00
\n",
"
17.9
\n",
"
1938
\n",
"
Nicholson
\n",
"
0.21
\n",
"
9.560000e+16
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
1
\n",
"
Harpalyke
\n",
"
Jupiter
\n",
"
NaN
\n",
"
21132
\n",
"
XXII
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
2
\n",
"
Megaclite
\n",
"
Jupiter
\n",
"
NaN
\n",
"
23911
\n",
"
XIX
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
3
\n",
"
Callirrhoe
\n",
"
Jupiter
\n",
"
NaN
\n",
"
24100
\n",
"
XVII
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
4
\n",
"
Io
\n",
"
Jupiter
\n",
"
1821.0
\n",
"
422
\n",
"
I
\n",
"
3.53
\n",
"
1.77
\n",
"
5.0
\n",
"
1610
\n",
"
Galileo
\n",
"
0.00
\n",
"
8.930000e+22
\n",
"
Stable
\n",
"
0.61
\n",
"
\n",
"
\n",
"
5
\n",
"
Thebe
\n",
"
Jupiter
\n",
"
50.0
\n",
"
222
\n",
"
XIV
\n",
"
1.50
\n",
"
0.67
\n",
"
16.0
\n",
"
1979
\n",
"
Synnott
\n",
"
0.02
\n",
"
7.770000e+17
\n",
"
Stable
\n",
"
0.05
\n",
"
\n",
"
\n",
"
6
\n",
"
Amalthea
\n",
"
Jupiter
\n",
"
94.0
\n",
"
181
\n",
"
V
\n",
"
1.00
\n",
"
0.50
\n",
"
14.1
\n",
"
1892
\n",
"
Barnard
\n",
"
0.00
\n",
"
3.500000e+18
\n",
"
Stable
\n",
"
0.05
\n",
"
\n",
"
\n",
"
7
\n",
"
Elara
\n",
"
Jupiter
\n",
"
38.0
\n",
"
11737
\n",
"
VII
\n",
"
3.30
\n",
"
259.65
\n",
"
16.6
\n",
"
1905
\n",
"
Perrine
\n",
"
0.21
\n",
"
7.770000e+17
\n",
"
0.5
\n",
"
NaN
\n",
"
\n",
"
\n",
"
8
\n",
"
Chaldene
\n",
"
Jupiter
\n",
"
NaN
\n",
"
23387
\n",
"
XXI
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
9
\n",
"
Lysithea
\n",
"
Jupiter
\n",
"
18.0
\n",
"
11720
\n",
"
X
\n",
"
3.10
\n",
"
259.22
\n",
"
18.2
\n",
"
1938
\n",
"
Nicholson
\n",
"
0.11
\n",
"
7.770000e+16
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
10
\n",
"
Callisto
\n",
"
Jupiter
\n",
"
2403.0
\n",
"
1883
\n",
"
IV
\n",
"
1.85
\n",
"
16.69
\n",
"
5.6
\n",
"
1610
\n",
"
Galileo
\n",
"
0.01
\n",
"
1.080000e+23
\n",
"
Stable
\n",
"
0.20
\n",
"
\n",
"
\n",
"
11
\n",
"
Pasiphae
\n",
"
Jupiter
\n",
"
25.0
\n",
"
23500
\n",
"
VIII
\n",
"
2.90
\n",
"
-735.00
\n",
"
16.9
\n",
"
1908
\n",
"
Melotte
\n",
"
0.38
\n",
"
1.910000e+17
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
12
\n",
"
Taygete
\n",
"
Jupiter
\n",
"
NaN
\n",
"
23312
\n",
"
XX
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
13
\n",
"
Erinome
\n",
"
Jupiter
\n",
"
NaN
\n",
"
23168
\n",
"
XXV
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
14
\n",
"
Metis
\n",
"
Jupiter
\n",
"
20.0
\n",
"
128
\n",
"
XVI
\n",
"
2.80
\n",
"
0.29
\n",
"
17.5
\n",
"
1979
\n",
"
Synnott
\n",
"
0.00
\n",
"
9.560000e+16
\n",
"
None
\n",
"
0.05
\n",
"
\n",
"
\n",
"
15
\n",
"
Ganymede
\n",
"
Jupiter
\n",
"
2634.0
\n",
"
1070
\n",
"
III
\n",
"
1.94
\n",
"
7.15
\n",
"
4.6
\n",
"
1610
\n",
"
Galileo
\n",
"
0.00
\n",
"
1.480000e+23
\n",
"
Stable
\n",
"
0.42
\n",
"
\n",
"
\n",
"
16
\n",
"
Leda
\n",
"
Jupiter
\n",
"
8.0
\n",
"
11094
\n",
"
XIII
\n",
"
2.70
\n",
"
238.72
\n",
"
20.2
\n",
"
1974
\n",
"
Kowal
\n",
"
0.15
\n",
"
5.680000e+15
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
17
\n",
"
Sinope
\n",
"
Jupiter
\n",
"
18.0
\n",
"
23700
\n",
"
IX
\n",
"
3.10
\n",
"
-758.00
\n",
"
18.0
\n",
"
1914
\n",
"
Nicholson
\n",
"
0.28
\n",
"
7.770000e+16
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
18
\n",
"
Adrastea
\n",
"
Jupiter
\n",
"
10.0
\n",
"
129
\n",
"
XV
\n",
"
4.50
\n",
"
0.30
\n",
"
18.7
\n",
"
1979
\n",
"
Jewitt
\n",
"
0.00
\n",
"
1.910000e+16
\n",
"
None
\n",
"
0.05
\n",
"
\n",
"
\n",
"
19
\n",
"
Themisto
\n",
"
Jupiter
\n",
"
NaN
\n",
"
7507
\n",
"
XVIII
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
20
\n",
"
Iocaste
\n",
"
Jupiter
\n",
"
NaN
\n",
"
20216
\n",
"
XXIV
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
21
\n",
"
Europa
\n",
"
Jupiter
\n",
"
1565.0
\n",
"
671
\n",
"
II
\n",
"
2.99
\n",
"
3.55
\n",
"
5.3
\n",
"
1610
\n",
"
Galileo
\n",
"
0.01
\n",
"
4.800000e+22
\n",
"
Stable
\n",
"
0.64
\n",
"
\n",
"
\n",
"
22
\n",
"
Ananke
\n",
"
Jupiter
\n",
"
15.0
\n",
"
21200
\n",
"
XII
\n",
"
2.70
\n",
"
-631.00
\n",
"
18.9
\n",
"
1951
\n",
"
Nicholson
\n",
"
0.17
\n",
"
3.820000e+16
\n",
"
None
\n",
"
NaN
\n",
"
\n",
"
\n",
"
23
\n",
"
Himalia
\n",
"
Jupiter
\n",
"
93.0
\n",
"
11480
\n",
"
VI
\n",
"
2.80
\n",
"
250.57
\n",
"
15.0
\n",
"
1904
\n",
"
Perrine
\n",
"
0.16
\n",
"
9.560000e+18
\n",
"
0.4
\n",
"
NaN
\n",
"
\n",
"
\n",
"
24
\n",
"
Isonoe
\n",
"
Jupiter
\n",
"
NaN
\n",
"
23078
\n",
"
XXVI
\n",
"
NaN
\n",
"
NaN
\n",
"
NaN
\n",
"
2000
\n",
"
Sheppard
\n",
"
NaN
\n",
"
NaN
\n",
"
None
\n",
"
NaN
\n",
"
\n",
" \n",
"
\n",
"
"
],
"text/plain": [
" Instance orbits has-radius has-semimajor-axis-1000-km has-index \\\n",
"0 Carme Jupiter 20.0 22600 XI \n",
"1 Harpalyke Jupiter NaN 21132 XXII \n",
"2 Megaclite Jupiter NaN 23911 XIX \n",
"3 Callirrhoe Jupiter NaN 24100 XVII \n",
"4 Io Jupiter 1821.0 422 I \n",
"5 Thebe Jupiter 50.0 222 XIV \n",
"6 Amalthea Jupiter 94.0 181 V \n",
"7 Elara Jupiter 38.0 11737 VII \n",
"8 Chaldene Jupiter NaN 23387 XXI \n",
"9 Lysithea Jupiter 18.0 11720 X \n",
"10 Callisto Jupiter 2403.0 1883 IV \n",
"11 Pasiphae Jupiter 25.0 23500 VIII \n",
"12 Taygete Jupiter NaN 23312 XX \n",
"13 Erinome Jupiter NaN 23168 XXV \n",
"14 Metis Jupiter 20.0 128 XVI \n",
"15 Ganymede Jupiter 2634.0 1070 III \n",
"16 Leda Jupiter 8.0 11094 XIII \n",
"17 Sinope Jupiter 18.0 23700 IX \n",
"18 Adrastea Jupiter 10.0 129 XV \n",
"19 Themisto Jupiter NaN 7507 XVIII \n",
"20 Iocaste Jupiter NaN 20216 XXIV \n",
"21 Europa Jupiter 1565.0 671 II \n",
"22 Ananke Jupiter 15.0 21200 XII \n",
"23 Himalia Jupiter 93.0 11480 VI \n",
"24 Isonoe Jupiter NaN 23078 XXVI \n",
"\n",
" has-density has-period has-vo has-discovery-year has-discoverer \\\n",
"0 2.80 -692.00 17.9 1938 Nicholson \n",
"1 NaN NaN NaN 2000 Sheppard \n",
"2 NaN NaN NaN 2000 Sheppard \n",
"3 NaN NaN NaN 2000 Sheppard \n",
"4 3.53 1.77 5.0 1610 Galileo \n",
"5 1.50 0.67 16.0 1979 Synnott \n",
"6 1.00 0.50 14.1 1892 Barnard \n",
"7 3.30 259.65 16.6 1905 Perrine \n",
"8 NaN NaN NaN 2000 Sheppard \n",
"9 3.10 259.22 18.2 1938 Nicholson \n",
"10 1.85 16.69 5.6 1610 Galileo \n",
"11 2.90 -735.00 16.9 1908 Melotte \n",
"12 NaN NaN NaN 2000 Sheppard \n",
"13 NaN NaN NaN 2000 Sheppard \n",
"14 2.80 0.29 17.5 1979 Synnott \n",
"15 1.94 7.15 4.6 1610 Galileo \n",
"16 2.70 238.72 20.2 1974 Kowal \n",
"17 3.10 -758.00 18.0 1914 Nicholson \n",
"18 4.50 0.30 18.7 1979 Jewitt \n",
"19 NaN NaN NaN 2000 Sheppard \n",
"20 NaN NaN NaN 2000 Sheppard \n",
"21 2.99 3.55 5.3 1610 Galileo \n",
"22 2.70 -631.00 18.9 1951 Nicholson \n",
"23 2.80 250.57 15.0 1904 Perrine \n",
"24 NaN NaN NaN 2000 Sheppard \n",
"\n",
" has-eccentricity has-mass-kg has-rotate has-abo \n",
"0 0.21 9.560000e+16 None NaN \n",
"1 NaN NaN None NaN \n",
"2 NaN NaN None NaN \n",
"3 NaN NaN None NaN \n",
"4 0.00 8.930000e+22 Stable 0.61 \n",
"5 0.02 7.770000e+17 Stable 0.05 \n",
"6 0.00 3.500000e+18 Stable 0.05 \n",
"7 0.21 7.770000e+17 0.5 NaN \n",
"8 NaN NaN None NaN \n",
"9 0.11 7.770000e+16 None NaN \n",
"10 0.01 1.080000e+23 Stable 0.20 \n",
"11 0.38 1.910000e+17 None NaN \n",
"12 NaN NaN None NaN \n",
"13 NaN NaN None NaN \n",
"14 0.00 9.560000e+16 None 0.05 \n",
"15 0.00 1.480000e+23 Stable 0.42 \n",
"16 0.15 5.680000e+15 None NaN \n",
"17 0.28 7.770000e+16 None NaN \n",
"18 0.00 1.910000e+16 None 0.05 \n",
"19 NaN NaN None NaN \n",
"20 NaN NaN None NaN \n",
"21 0.01 4.800000e+22 Stable 0.64 \n",
"22 0.17 3.820000e+16 None NaN \n",
"23 0.16 9.560000e+18 0.4 NaN \n",
"24 NaN NaN None NaN "
]
},
"execution_count": 17,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"onto.select_instances_of(\"a moon that orbits Jupiter\")"
]
},
{
"cell_type": "markdown",
"metadata": {},
"source": [
"### Draw the ontology"
]
},
{
"cell_type": "code",
"execution_count": 18,
"metadata": {
"scrolled": false
},
"outputs": [
{
"data": {
"image/svg+xml": [
""
],
"text/plain": [
""
]
},
"execution_count": 18,
"metadata": {},
"output_type": "execute_result"
}
],
"source": [
"onto.draw_graph(layout='force directed',show={\"relations\"})"
]
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {},
"outputs": [],
"source": []
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
"version": "3.7.4"
},
"widgets": {
"application/vnd.jupyter.widget-state+json": {
"state": {
"01732923acd64d0b80804b86a06086a6": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_5143fe6b6b2e4bdbb95db4836c07f69f",
"IPY_MODEL_c7c7716cd5034ec7a3235e29964fa9d9"
],
"layout": "IPY_MODEL_48a844c1f16d4e0f89888a38f9f871b1"
}
},
"0287b64412d1476fac61df9b498195e0": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"037f1754f4dd4ad58c88763c16de89de": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"03b3c5826e9e462fa8102da3a1b543ee": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_0e81ba53de50448cba0d67cc1b204ea3",
"IPY_MODEL_edfd7c1406474ef8b6008fa01533a9f1"
],
"layout": "IPY_MODEL_0c03d2ee143c402dbf620710558f3c20"
}
},
"0529b65148e34a3f84378822394dbb23": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_e87806312d1343ce83bb2bb743ba1b80"
}
},
"065c67b9d41a44d593cd1f132ac59d3e": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_4ef44bf7e0834466afe8a4e55bdad86a",
"IPY_MODEL_3c045f84e3c44e629eac7daea93af6e5",
"IPY_MODEL_73d24769813d452e91ba6e87c263096d"
],
"layout": "IPY_MODEL_957d4aeb826049c7aa130633415c42d7"
}
},
"075ca95d3ff64fdf8542061a5f907fdc": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_ac2b910f6f714657b031543b3c3820f6",
"value": "Namespace: 'http://cognitum.eu/african_wildlife'.\n\nComment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery ma\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal. \nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"08826d1d1e2d4efa9364b5d2bafa3c93": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"08a658b923de47b7add2517b8353da1a": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"08c30bf83c284e6ebe21cc3249cd99ba": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 191,
"hints": "Every Every-single-thing If Leo-01 Mary-01 No Nothing Something Sophie-01 The X",
"hintsX": 191,
"layout": "IPY_MODEL_951c1fa30fea488a8ae1578cede4b5fe",
"value": "Every carnivorous-plant must eat an animal.\nEvery carnivor must eat an animal.\nEvery omnivore must eat a plant.\nEvery branch must be-part-of a tree.\nEvery plant-part must be-part-of a plant.\n\nComment: 'Role equivalence and inverted roles'.\nX has-part Y if-and-only-if Y is-part-of X.\nX eats Y if-and-only-if Y is-eaten-by X.\n\nComment: 'Role subsumptions'.\nIf X is-part-of Y then X is-part-of Y.\nIf X has-part something that has-part Y then X has-part Y.\n\nComment: 'Complex role subsumptions'.\nIf X is-part-of something that is-part-of Y then X is-part-of Y.\n"
}
},
"0c03d2ee143c402dbf620710558f3c20": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100px"
}
},
"0cfbf011af6241ebbcc675d701aac5be": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_99075eefb8ad4a5087de5fbfbb2e2a8c",
"IPY_MODEL_26cf7a97df4f42b6af33ce787196e2da"
],
"layout": "IPY_MODEL_4aafc9319e7743f8985cdc669f22cab5"
}
},
"0e81ba53de50448cba0d67cc1b204ea3": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_a270637c9421471a86a1a5fb0c90358f",
"value": "eaten by Leo-01"
}
},
"0ee45e2151a74dfeb632f8622dfa620d": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"0ee4e8ad62ab43f4b5b438a66a7f42b5": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"156d68322d1e4dd3a0fbfab1be1688bf": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_585c9fe15e494126a1116a5e5f8e87e4"
}
},
"1786ad24fa9d463aa9ad86dcacd6b971": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"17f3ad9162db4104a65795f20d5f0075": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"194e683e49954beab66c82f87eec0560": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 15,
"hints": "<natural number>",
"hintsX": 9,
"layout": "IPY_MODEL_54500e1db47043b29c2725eaf17f81f6",
"value": "eaten by Leo-01"
}
},
"197ff87aa0754c10a5bf9d6054ec2664": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_416b7202da814b9095cb90fed53606c3",
"IPY_MODEL_dd75b77ca52a43a9868c62b289a4e4e1"
],
"layout": "IPY_MODEL_c7fe458b7f814978a92e90b0b53c295c"
}
},
"19ddc5e82f17415483d83af9cd039dbd": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"1a512292dafe41c4885554cf49296c78": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"1a817713ce83451c8259b7b8600da6fb": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"1beeafa5ecdf401cabc646f26e6c149e": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"1d27dea574734e228e02e981579f0e48": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_037f1754f4dd4ad58c88763c16de89de",
"value": "Sophie loves Leo.\nLeo loves Sophie."
}
},
"22275249b4964692bbda1b6c7faf7f47": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_670789803c044d699064f4d8d85c169a",
"IPY_MODEL_b3aca64dc8c740feae0ac17d0679814c"
],
"layout": "IPY_MODEL_9b0f9a23e3574472b084a63a42c18088"
}
},
"2401f4a10a284f68920b1eb13a0ef3f1": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_d810833472c54ff1a38f821261445bdb"
}
},
"260916fd573c4e118c8d6fdeed6c1d4d": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"26cf7a97df4f42b6af33ce787196e2da": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_c370339aafb24857915cb2b2d2ab7980"
}
},
"27ad5c8d383e457a9920d5cb29f64853": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_df59fa382ea5464699bf03b221ac05e1"
}
},
"27cf37417f84476da68ac933a85143a5": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_6834615b88754ba992949979ad4896da",
"value": "eaten by Leo-01"
}
},
"282ed86a1e9f475ab92778daa6256ae2": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"2a02773588a34d31a60ab56ea873ef24": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"2a57077dcfc6408f910fcdd1069fb533": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100px"
}
},
"2b1178c8982c4d7f8bd00f05c2a0ab9f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"2ee595c943434b3288bd80d13a391707": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_6b665fd9cf6b45d0ade1db84533996f4"
}
},
"306788baeef8414d9b32cae354a90d93": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_83203b61038f4ab2b3ba7f253cbbe26a"
}
},
"30b370db0cbd4590a28eeacadd095188": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_540624d791b04c72a5f6de35ef203a09",
"IPY_MODEL_5b7a7dc340b8488b8d7616e1a0e4e954"
],
"layout": "IPY_MODEL_6b3a1654ff064f0aaf274b3478288a8f"
}
},
"31401dde148b42c6b6dee0ee84db65b2": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"31f03381b8af43c8b7b31448e2494891": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_830d5ee0e72742cbb9c50e698f8db857",
"IPY_MODEL_87dbf123720c4818bdda118bfdbb7cda"
],
"layout": "IPY_MODEL_798ac8c8baa148b68188dc60d84de5fe"
}
},
"336db835ccea46398d38ec7301c8d8bc": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"34a127ddc9f3425d855562e734e8582e": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"355b5ed96daf48f38e261d20f99eb26b": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_8b7f1503cd5d4af7bedb96db2bc9826b",
"IPY_MODEL_3d934eb24f9b4005b831504a0e4baa3e"
],
"layout": "IPY_MODEL_0ee4e8ad62ab43f4b5b438a66a7f42b5"
}
},
"379b403b772848b184590efb077753db": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"38238e85b5bb4623a8ef8b3af0729a67": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"3c045f84e3c44e629eac7daea93af6e5": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_7ca7210a92be4d44930684c9149b389f",
"value": "Sun is a star.\nIf a thing orbits a star and the thing has-mass-kg greater-than 1.0e21 and the thing has-mass-kg lower-than 1.0e23 then the thing is a dwarf-planet.\nIf a thing orbits a star and the thing has-mass-kg greater-than 1.0e23 then the thing is a planet.\nIf a thing(1) orbits a thing(2) and the thing(2) orbits a star then the thing(1) is a moon."
}
},
"3d934eb24f9b4005b831504a0e4baa3e": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_f2dac51fb55347f2bf9f5f781b9e4558"
}
},
"3e2147d0702741bbb1963715683ba2ff": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_55f4f87242224575b52e41afa40e5e2d"
}
},
"4039c44a6b81427881c64dbe368c3771": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_7ffcc5da836a4772ad6190ded79997f7",
"IPY_MODEL_156d68322d1e4dd3a0fbfab1be1688bf"
],
"layout": "IPY_MODEL_282ed86a1e9f475ab92778daa6256ae2"
}
},
"40602977eafc4fb8a5da1a8b6e160761": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"416b7202da814b9095cb90fed53606c3": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_bfdcdc39eeb04946a97cd9562372bc04",
"value": "Sophie loves Leo.\nLeo loves Sophie."
}
},
"42805aa70f7945db96a25007c189bac0": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_d8f23781ffc74fb797fe78016d7b58e4",
"value": "Every-single-thing that is a plant and-or is a plant-part is a herb.\nNo herb is an animal.\n\nEvery carnivore eats nothing-but animals.\nEvery lion eats nothing-but herbivores.\n\nEvery herbivore eats nothing-but herb.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nNo giraffe is a lion.\nEvery palm-tree is not a tree.\n"
}
},
"43ef90ea44f7483cae76acd6a8bf06db": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100px"
}
},
"44f37380178d4fa0a074af10221c17fa": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"4636ed4b6a9b4aa29f2b8c9efe57f732": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 199,
"hints": "Branch-01 Every Every-single-thing If Leo-01 Mary-01 No Nothing Something Sophie-01 The X",
"hintsX": 199,
"layout": "IPY_MODEL_6bc39517a9044c0d95ed9158711c5ff5",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nSophie-01 eats Leaf-01.\nMary-01 is a tree.\nLeaf-01 is a leaf and is-part-of Branch-02.\nBranch-02 is a branch and is-part-of Branch-01.\nBranch-01 is a branch and is-part-of Mary-01.\nBranch-03 is a branch."
}
},
"46b6bc391f7d47cb95796e1c5effa3cb": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"48a844c1f16d4e0f89888a38f9f871b1": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"490fd126b35c4016a45f2265268f5ef0": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_2a02773588a34d31a60ab56ea873ef24",
"value": "Every carnivorous-plant must eat an animal.\nEvery carnivor must eat an animal.\nEvery omnivore must eat a plant.\nEvery branch must be-part-of a tree.\nEvery plant-part must be-part-of a plant.\n\nComment: 'Role equivalence and inverted roles'.\nX has-part Y if-and-only-if Y is-part-of X.\nX eats Y if-and-only-if Y is-eaten-by X.\n\nComment: 'Role subsumptions'.\nIf X is-part-of Y then X is-part-of Y.\nIf X has-part something that has-part Y then X has-part Y.\n\nComment: 'Complex role subsumptions'.\nIf X is-part-of something that is-part-of Y then X is-part-of Y.\n"
}
},
"4974f63235624cb0950d09b959338aac": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_4636ed4b6a9b4aa29f2b8c9efe57f732",
"IPY_MODEL_8f2ee93c18ed4583894db21311e14ed9"
],
"layout": "IPY_MODEL_df45bd0d614e4f8dbc1d38058dc993e7"
}
},
"4a322469244d444ca5d1bcb372403f27": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"4a569f7988e8471dafe05c22d22bd4ea": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 173,
"hints": "<Proper-Name> Every Every-single-thing If No Nothing Something The X",
"hintsX": 173,
"layout": "IPY_MODEL_4a322469244d444ca5d1bcb372403f27",
"value": "Every-single-thing that is a plant and-or is a plant-part is a herb.\nNo herb is an animal.\n\nEvery carnivore eats nothing-but animals.\nEvery lion eats nothing-but herbivores.\n\nEvery herbivore eats nothing-but herb.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nNo giraffe is a lion.\nEvery palm-tree is not a tree.\n"
}
},
"4aafc9319e7743f8985cdc669f22cab5": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"4d3213ec0b2c4ad69c1a66a3369ab474": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_e736dda042e74aac96c321bed782241e",
"IPY_MODEL_7cb5ce8716bf4a209b03b4910d97a0e2"
],
"layout": "IPY_MODEL_6dfbc4a9245c453fb126ea93c284477f"
}
},
"4ef44bf7e0834466afe8a4e55bdad86a": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_eb9f057816f4489aa2d75b1a69a3b282"
}
},
"4f0a97990f8943818fc14ed4fd385830": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_ea50e21fc54b4d97b922faa6337bdfe7"
}
},
"50e4b95344d64a99b4f7543b017bf5a4": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"50f1befbf50548f9869037abe911c6c2": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_d9c2b88b505b48a4b6c2c57cd93f7776"
}
},
"5143fe6b6b2e4bdbb95db4836c07f69f": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_31401dde148b42c6b6dee0ee84db65b2",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nLeo-01 eats Mary-01.\nMary-01 is a palm-tree.\n"
}
},
"540624d791b04c72a5f6de35ef203a09": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 171,
"hintT": "!!!SYNTAX ERROR!!!",
"hints": "!!!SYNTAX ERROR!!!",
"hintsX": 169,
"layout": "IPY_MODEL_0ee45e2151a74dfeb632f8622dfa620d",
"value": "Namespace: 'http://cognitum.eu/african_wildlife'.\n\nComment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery ma\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal. \nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"54500e1db47043b29c2725eaf17f81f6": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"54e213dd70db416783e9f4dd9eb8473a": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_68ff3e69ff0948c7b1d6ea2e0727d6f1",
"IPY_MODEL_cdb640c492eb40d986642b7b0cf89db1"
],
"layout": "IPY_MODEL_43ef90ea44f7483cae76acd6a8bf06db"
}
},
"55bb21d754f845a0b76771e91480da21": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_08c30bf83c284e6ebe21cc3249cd99ba",
"IPY_MODEL_8e63218be8c84392b59914249922d662"
],
"layout": "IPY_MODEL_e278e56780d1428c826f7d861d407183"
}
},
"55f4f87242224575b52e41afa40e5e2d": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"56a2eb99cf15417e8568cc49848857f1": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_7e5fec00c2ad42f1b02a76e0e2b34c6d",
"value": "Every carnivorous-plant must eat an animal.\nEvery carnivor must eat an animal.\nEvery omnivore must eat a plant.\nEvery branch must be-part-of a tree.\nEvery plant-part must be-part-of a plant.\n\nComment: 'Role equivalence and inverted roles'.\nX has-part Y if-and-only-if Y is-part-of X.\nX eats Y if-and-only-if Y is-eaten-by X.\n\nComment: 'Role subsumptions'.\nIf X is-part-of Y then X is-part-of Y.\nIf X has-part something that has-part Y then X has-part Y.\n\nComment: 'Complex role subsumptions'.\nIf X is-part-of something that is-part-of Y then X is-part-of Y.\n"
}
},
"585c9fe15e494126a1116a5e5f8e87e4": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"5aea4cc758c6473193e64e8a9da92f28": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"5b7a7dc340b8488b8d7616e1a0e4e954": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_72f03a0887ce493bb7e9983353e95041"
}
},
"5ca39e2e45c9445eb22413a85950317f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"5f92d7eda9e4489591fce827af8d659b": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"6140f382320b46d8bf1bbe77cd6ff9d2": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_63c4a550777447f1896522d0db7ab5f5",
"IPY_MODEL_50f1befbf50548f9869037abe911c6c2"
],
"layout": "IPY_MODEL_50e4b95344d64a99b4f7543b017bf5a4"
}
},
"626fba381655484ba3aef4356a7281b0": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_19ddc5e82f17415483d83af9cd039dbd"
}
},
"637bf119d26145cd9b1c74a314f17fb0": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"63c4a550777447f1896522d0db7ab5f5": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 1198,
"hints": "Every Every-single-thing If Leo No Nothing Something Sophie The X",
"hintsX": 1198,
"layout": "IPY_MODEL_f4ea8cdd8b5c4157a727af4af9d67cb3",
"value": "Title: 'African Wildlife'.\nAuthor: 'Paweł Kapłański'.\nBased-On: \n 'A Semantic Web Primer.'\n 'Antoniou, G, van Harmelen, F.'\n 'MIT Press, 2003.'\n 'http://www.csd.uoc.gr/~hy566/SWbook.pdf'\n.\n\nComment:\n////// Examples of Possible Questions ///////////////////////////// \n//Who-Or-What:\n// * is a carnivore ? \n// * is an herbivore ? \n// * is an animal that eats grass ? \n// * is-part-of a tree ? \n// * is eaten by lion? \n////////////////////////////////////////////////////////////////////.\n\n\n\nPart-1: 'simple hierarchy of beings'.\n\nComment: 'Lets name our instances'.\nSophie is a giraffe.\nLeo is a lion.\n\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal.\nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nPart-2: adjectives and specifications.\n\nComment: 'We cannot use adjectives directly'.\nComment: 'To specify adjectives we need to transform them into sets that have form of buzzy-words'.\n\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n\nComment: 'Similarly we can do to make something more and more specific'.\nEvery branch is a plant-part.\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery twig is a plant-part.\nEvery xylem is a plant-part.\nEvery leaf is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nPart-3: Disjointness.\n\nComment: 'We deal with Open World Assumption, therefore we need to specify explicitly if two things are different'.\nComment: 'E.g.: We need to specify explicitly that animal is not a plant'.\nEvery animal is not a plant.\nEvery giraffe is not a lion.\nEvery palm-tree is not a tree.\n\nComment: 'Or we can use it - it means the same'.\nNo animal is a plant.\n\nPart-4: Simple relations.\n\nComment: To specify relation beetween beings.\nEvery lion eats an impala.\nEvery carnivorous-plant eats an animal.\n\nComment: 'I.e. be part of is a part-whole relation'.\nEvery branch is-part-of a tree.\nEvery plant-part is-proper-part-of a plant.\nEvery xylem is-proper-part-of a stem.\nEvery phloem is-proper-part-of a stem.\n\nComment: 'Specifying the range of relation. The difference? One is that lion eats impala. Second that it eats only herbivore' -> impala must be herbivore.\nEvery lion eats nothing-but herbivores.\n\nPart-5: 'Complex relations'.\n\nEvery palm-tree has-part that is not a branch.\nEvery warthog eats an animal and eats a fruiting-body and eats a grass and eats a root.\nEvery giraffe eats nothing-but things that are leaves and-or are twigs.\nEvery leaf is-part-of something that is a branch and-or is a twig.\nEvery tasty-plant is-eaten-by a carnivore and is-eaten-by a herbivore.\nEvery-single-thing eats nothing-but things that are animals and-or are plants and-or are-part-of animals and-or are-part-of plants.\n\nPart-6: 'Reflexion'.\n\nNothing is-proper-part-of itself.\n\nPart-7: Equivalence.\n\nComment: 'What it means to be a carnivore, omnivore or herbivore? We specify exact definitions here.'.\nEvery-single-thing that eats nothing-but animals and-or eats nothing-but things that are-part-of animals is a carnivore.\nSomething is an omnivore if-and-only-if-it eats an animal and eats a plant and eats something that is-part-of an animal and-or is-part-of a plant.\nSomething is a herbivore if-and-only-if-it eats nothing-but plants and-or eats nothing-but things that are-part-of plants.\n\nPart-8: 'Disjointness'.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nPart-9: 'Relations between roles'.\n\nComment: 'Role equivalence and inverted roles'.\nX has-part Y if-and-only-if Y is-part-of X.\nX eats Y if-and-only-if Y is-eaten-by X.\n\nComment: 'Role subsumptions'.\nIf X is-proper-part-of Y then X is-part-of Y.\nIf X has-part something that has-part Y then X has-part Y.\n\nComment: 'Complex role subsumptions'.\nIf X is-part-of something that is-part-of Y then X is-part-of Y."
}
},
"66578ffca1f043118425062dc0b6f067": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_27cf37417f84476da68ac933a85143a5",
"IPY_MODEL_f81355e7f2a34681bf8ca14e71dbf938"
],
"layout": "IPY_MODEL_f79246661c1941fb8047812a618edbea"
}
},
"66cefaa10ba1472a846b969c45384ec0": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_6c33a33ec84a476ea62d3b987b12a532",
"IPY_MODEL_85f2cc17df4e4e429f3682d5f1a9d2a5"
],
"layout": "IPY_MODEL_637bf119d26145cd9b1c74a314f17fb0"
}
},
"670789803c044d699064f4d8d85c169a": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_8e2009ebcf134448a2ad52b7cc6c4b26",
"value": "Every-single-thing that is a plant and-or is a plant-part is a herb.\nNo herb is an animal.\n\nEvery carnivore eats nothing-but animals.\nEvery lion eats nothing-but herbivores.\n\nEvery herbivore eats nothing-but herb.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nNo giraffe is a lion.\nEvery palm-tree is not a tree.\n"
}
},
"6834615b88754ba992949979ad4896da": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"687f88667abb40929c0d1ac2acbc9281": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_df07f4cbd3574e08868b7543bb5cb15a",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nLeo-01 eats Mary-01.\nMary-01 is a palm-tree.\n"
}
},
"68ff3e69ff0948c7b1d6ea2e0727d6f1": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_2b1178c8982c4d7f8bd00f05c2a0ab9f",
"value": "an animal that loves "
}
},
"69339d07f80c4b42a0ca64e1e93f2940": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_db4059a12cb34224934499d5b329f6c6"
}
},
"6b3a1654ff064f0aaf274b3478288a8f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"6b665fd9cf6b45d0ade1db84533996f4": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"6bc39517a9044c0d95ed9158711c5ff5": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"6c33a33ec84a476ea62d3b987b12a532": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_5ca39e2e45c9445eb22413a85950317f",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nLeo-01 eats Mary-01.\nMary-01 is a palm-tree.\n"
}
},
"6dfbc4a9245c453fb126ea93c284477f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"6fa9e122a4ca4267832285e9f3983bba": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"704fa12b89334f67b30097d1c39534c9": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"727588c8af22452182710e9c54750d83": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_c4809ee837e84bbba2bd1dc44a5cdc69"
}
},
"72b37b61f1ba4540bd4dafa460795b8e": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"72f03a0887ce493bb7e9983353e95041": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"730125ea80eb4a8c8dd6d861d80bc754": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_626fba381655484ba3aef4356a7281b0",
"IPY_MODEL_ec7243a30e514b089cab70a8902d854b",
"IPY_MODEL_306788baeef8414d9b32cae354a90d93"
],
"layout": "IPY_MODEL_1a512292dafe41c4885554cf49296c78"
}
},
"7358c3b0bfc140b7ad1d635020c852a5": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_791a2bc1ba2c4ed98805765076095f71",
"IPY_MODEL_a551c169f0f44b0d8ed33f34d5a4ea9d"
],
"layout": "IPY_MODEL_2a57077dcfc6408f910fcdd1069fb533"
}
},
"73d24769813d452e91ba6e87c263096d": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_1beeafa5ecdf401cabc646f26e6c149e"
}
},
"791a2bc1ba2c4ed98805765076095f71": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_99f9f6e0b26a4e73858dfbb6017ccbb8",
"value": "an animal that loves "
}
},
"798ac8c8baa148b68188dc60d84de5fe": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"7ca7210a92be4d44930684c9149b389f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"7cb5ce8716bf4a209b03b4910d97a0e2": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_72b37b61f1ba4540bd4dafa460795b8e"
}
},
"7e5fec00c2ad42f1b02a76e0e2b34c6d": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"7ffcc5da836a4772ad6190ded79997f7": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 162,
"hints": "<Proper-Name> Every Every-single-thing If No Nothing Something The X",
"hintsX": 162,
"layout": "IPY_MODEL_cb714303465343599e7daddd09b77893",
"value": "Namespace: 'http://cognitum.eu/african_wildlife'.\n\nComment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery man has a train.\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal. \nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"8299fafb9989402e9259aa0b848881e2": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_17f3ad9162db4104a65795f20d5f0075",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nSophie-01 eats Leaf-01.\nMary-01 is a tree.\nLeaf-01 is a leaf and is-part-of Branch-02.\nBranch-02 is a branch and is-part-of Branch-01.\nBranch-01 is a branch and is-part-of Mary-01.\nBranch-03 is a branch."
}
},
"830d5ee0e72742cbb9c50e698f8db857": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 186,
"hintT": "!!!SYNTAX ERROR!!!\r\n\r\nEvery ma\r\nEvery lion is an animal.",
"hints": "!!!SYNTAX ERROR!!!\r\n\r\nEvery ma\r\nEvery lion is an animal.",
"hintsX": 186,
"layout": "IPY_MODEL_f7410d5947704d05b636e488c607ec0e",
"value": "Namespace: 'http://cognitum.eu/african_wildlife'.\n\nComment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery man has a train.\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal. \nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"83203b61038f4ab2b3ba7f253cbbe26a": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"855217b3e1bb42259eb7050ebb8fe5c6": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"85f2cc17df4e4e429f3682d5f1a9d2a5": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_379b403b772848b184590efb077753db"
}
},
"865ed95805f44073ac10f4b4757bd1a0": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"87dbf123720c4818bdda118bfdbb7cda": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_daee7295113f4ab588ec50dacbc01003"
}
},
"88e3f3eb628649cbaa595601364bada4": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"89b1bde40ddb4abf9ac1d1cd90dd345a": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100px"
}
},
"8b344392a0d344158becbf95c37546c6": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_56a2eb99cf15417e8568cc49848857f1",
"IPY_MODEL_f81dc3d2747142f9ac59bd2ccb85dc67"
],
"layout": "IPY_MODEL_f7e95e3d43544ddfb6c69338a006cace"
}
},
"8b52933a93d84df1bc039f960cacf560": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_b0bf749d3aa54cb5876f768752e013e2"
}
},
"8b7f1503cd5d4af7bedb96db2bc9826b": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_b18557280c0d4e1b827179460da45136",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nSophie-01 eats Leaf-01.\nMary-01 is a tree.\nLeaf-01 is a leaf and is-part-of Branch-02.\nBranch-02 is a branch and is-part-of Branch-01.\nBranch-01 is a branch and is-part-of Mary-01.\nBranch-03 is a branch."
}
},
"8e2009ebcf134448a2ad52b7cc6c4b26": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"8e63218be8c84392b59914249922d662": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_5aea4cc758c6473193e64e8a9da92f28"
}
},
"8f2ee93c18ed4583894db21311e14ed9": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_38238e85b5bb4623a8ef8b3af0729a67"
}
},
"91212d33087f4872ab96d1d2adac582a": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_6fa9e122a4ca4267832285e9f3983bba"
}
},
"91317d55b28b4abaa3dd6c28ea4148ce": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"951c1fa30fea488a8ae1578cede4b5fe": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"9536c1856e8a487d8c68984e25b441ce": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"957d4aeb826049c7aa130633415c42d7": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"9767af0ad60a4f4f84f6fffb5b1addb8": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"99075eefb8ad4a5087de5fbfbb2e2a8c": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_9febe76887f34e8e9ea439b3d6a469bc",
"value": "Comment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\n\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal.\nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"99f9f6e0b26a4e73858dfbb6017ccbb8": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"9b0f9a23e3574472b084a63a42c18088": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"9d07215be67a427b88b43b564d36beb6": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_855217b3e1bb42259eb7050ebb8fe5c6",
"value": "Sun is a star.\nIf a thing orbits a star and the thing has-mass-kg greater-than 1.0e21 and the thing has-mass-kg lower-than 1.0e23 then the thing is a dwarf-planet.\nIf a thing orbits a star and the thing has-mass-kg greater-than 1.0e23 then the thing is a planet.\nIf a thing(1) orbits a thing(2) and the thing(2) orbits a star then the thing(1) is a moon."
}
},
"9d7f76b3359049b99071eba73b8dc427": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_4a569f7988e8471dafe05c22d22bd4ea",
"IPY_MODEL_727588c8af22452182710e9c54750d83"
],
"layout": "IPY_MODEL_9536c1856e8a487d8c68984e25b441ce"
}
},
"9febe76887f34e8e9ea439b3d6a469bc": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"a1d343a6e9ab47b999491d584f4d747b": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_42805aa70f7945db96a25007c189bac0",
"IPY_MODEL_4f0a97990f8943818fc14ed4fd385830"
],
"layout": "IPY_MODEL_c1e34aeacb524c99a1c32e8cc8c9413a"
}
},
"a23f3db72e844fd38d5d05b950980e06": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"a270637c9421471a86a1a5fb0c90358f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"a2c7154564514724af74f1f72cd039df": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_194e683e49954beab66c82f87eec0560",
"IPY_MODEL_e26922aed1324c3cb824535d8f1eba7a"
],
"layout": "IPY_MODEL_89b1bde40ddb4abf9ac1d1cd90dd345a"
}
},
"a551c169f0f44b0d8ed33f34d5a4ea9d": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_9767af0ad60a4f4f84f6fffb5b1addb8"
}
},
"a72c477271da47ed89511b6a29edfeda": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_e2a71f5154014000b1f73094373d8ad5"
}
},
"a83fc2b5087147fda70ef91ec71c9636": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_44f37380178d4fa0a074af10221c17fa",
"value": "Namespace: 'http://cognitum.eu/african_wildlife'.\n\nComment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery ma\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal. \nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"ac2b910f6f714657b031543b3c3820f6": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"acf1c5a99f7843fd8fe8da70d0aac47f": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 1198,
"hints": "Every Every-single-thing If Leo No Nothing Something Sophie The X",
"hintsX": 1198,
"layout": "IPY_MODEL_1a817713ce83451c8259b7b8600da6fb",
"value": "Title: 'African Wildlife'.\nAuthor: 'Paweł Kapłański'.\nBased-On: \n 'A Semantic Web Primer.'\n 'Antoniou, G, van Harmelen, F.'\n 'MIT Press, 2003.'\n 'http://www.csd.uoc.gr/~hy566/SWbook.pdf'\n.\n\nComment:\n////// Examples of Possible Questions ///////////////////////////// \n//Who-Or-What:\n// * is a carnivore ? \n// * is an herbivore ? \n// * is an animal that eats grass ? \n// * is-part-of a tree ? \n// * is eaten by lion? \n////////////////////////////////////////////////////////////////////.\n\n\n\nPart-1: 'simple hierarchy of beings'.\n\nComment: 'Lets name our instances'.\nSophie is a giraffe.\nLeo is a lion.\n\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal.\nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nPart-2: adjectives and specifications.\n\nComment: 'We cannot use adjectives directly'.\nComment: 'To specify adjectives we need to transform them into sets that have form of buzzy-words'.\n\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n\nComment: 'Similarly we can do to make something more and more specific'.\nEvery branch is a plant-part.\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery twig is a plant-part.\nEvery xylem is a plant-part.\nEvery leaf is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nPart-3: Disjointness.\n\nComment: 'We deal with Open World Assumption, therefore we need to specify explicitly if two things are different'.\nComment: 'E.g.: We need to specify explicitly that animal is not a plant'.\nEvery animal is not a plant.\nEvery giraffe is not a lion.\nEvery palm-tree is not a tree.\n\nComment: 'Or we can use it - it means the same'.\nNo animal is a plant.\n\nPart-4: Simple relations.\n\nComment: To specify relation beetween beings.\nEvery lion eats an impala.\nEvery carnivorous-plant eats an animal.\n\nComment: 'I.e. be part of is a part-whole relation'.\nEvery branch is-part-of a tree.\nEvery plant-part is-proper-part-of a plant.\nEvery xylem is-proper-part-of a stem.\nEvery phloem is-proper-part-of a stem.\n\nComment: 'Specifying the range of relation. The difference? One is that lion eats impala. Second that it eats only herbivore' -> impala must be herbivore.\nEvery lion eats nothing-but herbivores.\n\nPart-5: 'Complex relations'.\n\nEvery palm-tree has-part that is not a branch.\nEvery warthog eats an animal and eats a fruiting-body and eats a grass and eats a root.\nEvery giraffe eats nothing-but things that are leaves and-or are twigs.\nEvery leaf is-part-of something that is a branch and-or is a twig.\nEvery tasty-plant is-eaten-by a carnivore and is-eaten-by a herbivore.\nEvery-single-thing eats nothing-but things that are animals and-or are plants and-or are-part-of animals and-or are-part-of plants.\n\nPart-6: 'Reflexion'.\n\nNothing is-proper-part-of itself.\n\nPart-7: Equivalence.\n\nComment: 'What it means to be a carnivore, omnivore or herbivore? We specify exact definitions here.'.\nEvery-single-thing that eats nothing-but animals and-or eats nothing-but things that are-part-of animals is a carnivore.\nSomething is an omnivore if-and-only-if-it eats an animal and eats a plant and eats something that is-part-of an animal and-or is-part-of a plant.\nSomething is a herbivore if-and-only-if-it eats nothing-but plants and-or eats nothing-but things that are-part-of plants.\n\nPart-8: 'Disjointness'.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nPart-9: 'Relations between roles'.\n\nComment: 'Role equivalence and inverted roles'.\nX has-part Y if-and-only-if Y is-part-of X.\nX eats Y if-and-only-if Y is-eaten-by X.\n\nComment: 'Role subsumptions'.\nIf X is-proper-part-of Y then X is-part-of Y.\nIf X has-part something that has-part Y then X has-part Y.\n\nComment: 'Complex role subsumptions'.\nIf X is-part-of something that is-part-of Y then X is-part-of Y."
}
},
"b0bf749d3aa54cb5876f768752e013e2": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"b18557280c0d4e1b827179460da45136": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"b3aca64dc8c740feae0ac17d0679814c": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_0287b64412d1476fac61df9b498195e0"
}
},
"b6c1708eb8ab423fbc381678654dde18": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 166,
"hints": "<Proper-Name> Every Every-single-thing If No Nothing Something The X",
"hintsX": 166,
"layout": "IPY_MODEL_865ed95805f44073ac10f4b4757bd1a0",
"value": "Comment: 'Lets name our instances'.\nComment: 'Lets specify the hierarchy of beings'. \nComment: 'What is what?'.\n\nEvery lion is an animal.\nEvery giraffe is an animal.\n\nComment: 'Moreover'.\nEvery impala is an animal.\nEvery omnivore is an animal.\nEvery rock-dassie is an animal.\nEvery warthog is an animal.\nEvery carnivore is an animal.\nEvery herbivore is an animal.\nEvery elephant is a herbivore.\nEvery lion is carnivore.\n\nComment: 'There are also plants there:'.\nEvery tree is a plant.\nEvery grass is a plant.\nEvery palm-tree is a plant.\n\nEvery branch is a plant-part.\nEvery leaf is a plant-part.\nEvery twig is a plant-part.\n\nEvery phloem is a plant-part.\nEvery root is a plant-part.\nEvery parsnip is a root.\nEvery stem is a plant-part.\nEvery xylem is a plant-part.\nEvery fruiting-body is a plant-part.\nEvery berry is a fruiting-body.\nEvery apple is a fruiting-body.\n\nComment: 'We cannot use adjectives directly. To specify adjectives we need to transform them into sets that have form of buzzy-words'.\nEvery tasty-plant is a plant.\nEvery carnivorous-plant is a plant.\n"
}
},
"ba703b23f64a4ac9bc68ac9552802303": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"bb14a3aef3864813a7002faff9fc6b16": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"cursor": 89,
"hints": "<natural number>",
"hintsX": 80,
"layout": "IPY_MODEL_c17c106402064e86b728cf51a20e3f93",
"value": "Leo-01 is a lion.\nLeo-01 eats Sophie-01.\nSophie-01 is a giraffe.\nSophie-01 eats Branch-01.\nMary-01 is a tree.\nBranch-01 is a branch and is-proper-part-of Mary-01.\n"
}
},
"bfdcdc39eeb04946a97cd9562372bc04": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"c17c106402064e86b728cf51a20e3f93": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"c1e34aeacb524c99a1c32e8cc8c9413a": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"c270818a31444c1291fb66ccf47ab781": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_ca27fc1924f84efc810abac514e95fb3",
"IPY_MODEL_9d07215be67a427b88b43b564d36beb6",
"IPY_MODEL_a72c477271da47ed89511b6a29edfeda"
],
"layout": "IPY_MODEL_40602977eafc4fb8a5da1a8b6e160761"
}
},
"c370339aafb24857915cb2b2d2ab7980": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"c3b494913b23455082fcb63616b57646": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_075ca95d3ff64fdf8542061a5f907fdc",
"IPY_MODEL_69339d07f80c4b42a0ca64e1e93f2940"
],
"layout": "IPY_MODEL_ce2e3b8fdc324d989c349ad9a641ca61"
}
},
"c4809ee837e84bbba2bd1dc44a5cdc69": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"c7c7716cd5034ec7a3235e29964fa9d9": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_ec97c88651864e3ca37f08c0e7906155"
}
},
"c7fe458b7f814978a92e90b0b53c295c": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"ca27fc1924f84efc810abac514e95fb3": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_91317d55b28b4abaa3dd6c28ea4148ce"
}
},
"cb714303465343599e7daddd09b77893": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"cbb49564f07a44bdb9bdcc6dc6b14644": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"cdb640c492eb40d986642b7b0cf89db1": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_cbb49564f07a44bdb9bdcc6dc6b14644"
}
},
"ce2e3b8fdc324d989c349ad9a641ca61": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"d66764a2add44d99aa42b9900ec34efa": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_8299fafb9989402e9259aa0b848881e2",
"IPY_MODEL_2ee595c943434b3288bd80d13a391707"
],
"layout": "IPY_MODEL_260916fd573c4e118c8d6fdeed6c1d4d"
}
},
"d6c24200739c486fa395a2d6f15f4c29": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_b6c1708eb8ab423fbc381678654dde18",
"IPY_MODEL_91212d33087f4872ab96d1d2adac582a"
],
"layout": "IPY_MODEL_d786ada62a30448b8081a35a036fbf3d"
}
},
"d786ada62a30448b8081a35a036fbf3d": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"d810833472c54ff1a38f821261445bdb": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"d8f23781ffc74fb797fe78016d7b58e4": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"d9c2b88b505b48a4b6c2c57cd93f7776": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"d9cb1abd82e245e987efdff390856b01": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"daee7295113f4ab588ec50dacbc01003": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"db4059a12cb34224934499d5b329f6c6": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"db6bc8d6d0d54e2484718dee857e30e1": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"dc33986a1b82473796f0e43e7b8960d2": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_490fd126b35c4016a45f2265268f5ef0",
"IPY_MODEL_27ad5c8d383e457a9920d5cb29f64853"
],
"layout": "IPY_MODEL_f2d6e500963644e1ace9c82d3d895f68"
}
},
"dd75b77ca52a43a9868c62b289a4e4e1": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_db6bc8d6d0d54e2484718dee857e30e1"
}
},
"df07f4cbd3574e08868b7543bb5cb15a": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"df45bd0d614e4f8dbc1d38058dc993e7": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"df59fa382ea5464699bf03b221ac05e1": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"e18af0cea30b4af3a6cf1099f055219c": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_e1d32be0fd784adb901538ecaea234af",
"IPY_MODEL_e5a39ffce83d482a9bb07ef05f75f0c2"
],
"layout": "IPY_MODEL_ba703b23f64a4ac9bc68ac9552802303"
}
},
"e1d32be0fd784adb901538ecaea234af": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_a23f3db72e844fd38d5d05b950980e06",
"value": "Every-single-thing that is a plant and-or is a plant-part is a herb.\nNo herb is an animal.\n\nEvery carnivore eats nothing-but animals.\nEvery lion eats nothing-but herbivores.\n\nEvery herbivore eats nothing-but herb.\n\nAnything either is a carnivore, is a herbivore or is an omnivore or-something-else.\nAnything either is a branch, is a leaf or is a twig or-something-else.\n\nNo giraffe is a lion.\nEvery palm-tree is not a tree.\n"
}
},
"e26922aed1324c3cb824535d8f1eba7a": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_08a658b923de47b7add2517b8353da1a"
}
},
"e278e56780d1428c826f7d861d407183": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"e2a71f5154014000b1f73094373d8ad5": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"e445e8ca520940b8aa5759ab19428243": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"e47665c42c1e462aa1fcecac0816fa09": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_1d27dea574734e228e02e981579f0e48",
"IPY_MODEL_3e2147d0702741bbb1963715683ba2ff"
],
"layout": "IPY_MODEL_704fa12b89334f67b30097d1c39534c9"
}
},
"e4e340eba47048e182a7727741432dc5": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_a83fc2b5087147fda70ef91ec71c9636",
"IPY_MODEL_0529b65148e34a3f84378822394dbb23"
],
"layout": "IPY_MODEL_46b6bc391f7d47cb95796e1c5effa3cb"
}
},
"e5a39ffce83d482a9bb07ef05f75f0c2": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_efae18bdcab04718b11c37b244e41d0f"
}
},
"e736dda042e74aac96c321bed782241e": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"layout": "IPY_MODEL_34a127ddc9f3425d855562e734e8582e"
}
},
"e87806312d1343ce83bb2bb743ba1b80": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"ea50e21fc54b4d97b922faa6337bdfe7": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"eb9f057816f4489aa2d75b1a69a3b282": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"ec7243a30e514b089cab70a8902d854b": {
"model_module": "ontoedit",
"model_module_version": "1.1.0",
"model_name": "OntoeditModel",
"state": {
"_model_module_version": "1.1.0",
"_view_module_version": "",
"dot": 1,
"layout": "IPY_MODEL_336db835ccea46398d38ec7301c8d8bc",
"value": "If a thing orbits a star and the thing has-mass-kg greater-than 1.0e21 and the thing has-mass-kg lower-than 1.0e23 then the thing is a dwarf-planet.\nIf a thing orbits a star and the thing has-mass-kg greater-than 1.0e23 then the thing is a planet.\nIf a thing(1) orbits a thing(2) and the thing(2) orbits a star then the thing(1) is a moon.\n\n\nSun is a star.\n"
}
},
"ec97c88651864e3ca37f08c0e7906155": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"edb2db2d34c248249a938a00c0f98a07": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"edfd7c1406474ef8b6008fa01533a9f1": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_d9cb1abd82e245e987efdff390856b01"
}
},
"ee2dd188cbe048cd98f09aa693d4aae4": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_bb14a3aef3864813a7002faff9fc6b16",
"IPY_MODEL_ef6cc581fc9c483fa9f40c0299bb4106"
],
"layout": "IPY_MODEL_88e3f3eb628649cbaa595601364bada4"
}
},
"ef6cc581fc9c483fa9f40c0299bb4106": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_1786ad24fa9d463aa9ad86dcacd6b971"
}
},
"efae18bdcab04718b11c37b244e41d0f": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"f0f6655efb3d4a67824e88522b093252": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_687f88667abb40929c0d1ac2acbc9281",
"IPY_MODEL_2401f4a10a284f68920b1eb13a0ef3f1"
],
"layout": "IPY_MODEL_08826d1d1e2d4efa9364b5d2bafa3c93"
}
},
"f1b9951724734f07987cdd4aef154383": {
"model_module": "@jupyter-widgets/controls",
"model_module_version": "1.4.0",
"model_name": "VBoxModel",
"state": {
"children": [
"IPY_MODEL_acf1c5a99f7843fd8fe8da70d0aac47f",
"IPY_MODEL_8b52933a93d84df1bc039f960cacf560"
],
"layout": "IPY_MODEL_e445e8ca520940b8aa5759ab19428243"
}
},
"f2d6e500963644e1ace9c82d3d895f68": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"f2dac51fb55347f2bf9f5f781b9e4558": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {}
},
"f4ea8cdd8b5c4157a727af4af9d67cb3": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"f7410d5947704d05b636e488c607ec0e": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100%",
"width": "90%"
}
},
"f79246661c1941fb8047812a618edbea": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "100px"
}
},
"f7e95e3d43544ddfb6c69338a006cace": {
"model_module": "@jupyter-widgets/base",
"model_module_version": "1.1.0",
"model_name": "LayoutModel",
"state": {
"height": "300px"
}
},
"f81355e7f2a34681bf8ca14e71dbf938": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_edb2db2d34c248249a938a00c0f98a07"
}
},
"f81dc3d2747142f9ac59bd2ccb85dc67": {
"model_module": "@jupyter-widgets/output",
"model_module_version": "1.0.0",
"model_name": "OutputModel",
"state": {
"layout": "IPY_MODEL_5f92d7eda9e4489591fce827af8d659b"
}
}
},
"version_major": 2,
"version_minor": 0
}
}
},
"nbformat": 4,
"nbformat_minor": 2
}