{ "cells": [ { "cell_type": "markdown", "metadata": {}, "source": [ "# Solar System" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "**Setting up the environment**\n", "Initialization of the Ontology editor in Jupyter Notebook" ] }, { "cell_type": "code", "execution_count": 1, "metadata": {}, "outputs": [], "source": [ "from cognipy.ontology import Ontology #the ontology processing class\n", "from cognipy.ontology import CQL #SPARQL format tailored for Contolled Natural Language\n", "from cognipy.ontology import encode_string_for_graph_label #complex datatypes encoder for the graph labels in graph visualisation\n", "import textwrap\n", "\n", "def graph_attribute_formatter(val):\n", " if isinstance(val,list) or isinstance(val,set):\n", " return \" | \".join(list(map(lambda i:encode_string_for_graph_label(graph_attribute_formatter(i)),val)))\n", " elif isinstance(val,dict):\n", " return \" | \".join(list(map(lambda i:i[0]+\" : \"+encode_string_for_graph_label(graph_attribute_formatter(i[1])),val.items())))\n", " else:\n", " return encode_string_for_graph_label(textwrap.fill(str(val),40))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Scraping data and building CNL" ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "import pandas as pd\n", "import os" ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [], "source": [ "if os.path.exists('orbits.pkl'):\n", " raw_orbit_data=pd.read_pickle('orbits.pkl')\n", "else:\n", " raw_orbit_data=pd.read_html('http://nineplanets.org/data.html')[0]\n", " pd.to_pickle(raw_orbit_data,'orbits.pkl')" ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Name#OrbitsDistance (000 km)O_Period (days)InclEccenDiscovererDateA.K.A.
0Sun--------Sol (0)
1NaNNaNNaNNaNNaNNaNNaNNaNNaNNaN
2MercuryISun5791087.9770.21--(0)
3VenusIISun108200224.73.390.01--(0)
4EarthIIISun149600365.2600.02--(0)
.................................
92NereidIINeptune5513360.13290.75Kuiper1949NaN
93NaNNaNNaNNaNNaNNaNNaNNaNNaNNaN
94CharonIPluto206.3998.80Christy19781978 P 1
95NixIIPluto4924.860.20Stern(j)20052005 P 1
96HydraIIIPluto6538.210.210Stern(j)20052005 P 2
\n", "

97 rows × 10 columns

\n", "
" ], "text/plain": [ " Name # Orbits Distance (000 km) O_Period (days) Incl Eccen \\\n", "0 Sun - - - - - - \n", "1 NaN NaN NaN NaN NaN NaN NaN \n", "2 Mercury I Sun 57910 87.97 7 0.21 \n", "3 Venus II Sun 108200 224.7 3.39 0.01 \n", "4 Earth III Sun 149600 365.26 0 0.02 \n", ".. ... ... ... ... ... ... ... \n", "92 Nereid II Neptune 5513 360.13 29 0.75 \n", "93 NaN NaN NaN NaN NaN NaN NaN \n", "94 Charon I Pluto 20 6.39 98.8 0 \n", "95 Nix II Pluto 49 24.86 0.2 0 \n", "96 Hydra III Pluto 65 38.21 0.21 0 \n", "\n", " Discoverer Date A.K.A. \n", "0 - - Sol (0) \n", "1 NaN NaN NaN \n", "2 - - (0) \n", "3 - - (0) \n", "4 - - (0) \n", ".. ... ... ... \n", "92 Kuiper 1949 NaN \n", "93 NaN NaN NaN \n", "94 Christy 1978 1978 P 1 \n", "95 Stern(j) 2005 2005 P 1 \n", "96 Stern(j) 2005 2005 P 2 \n", "\n", "[97 rows x 10 columns]" ] }, "execution_count": 4, "metadata": {}, "output_type": "execute_result" } ], "source": [ "raw_orbit_data" ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [], "source": [ "def renum(x):\n", " x=str(x)\n", " x=x.strip().replace(' ','')\n", " x='0'+x if x[0]=='.' else x\n", " x=x+'0' if x[-1]=='.' else x\n", " return x" ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [], "source": [ "def orbits_to_cnl(row):\n", " lines = []\n", " if row.Name==row.Name: #Nan check\n", " if row.Orbits!='-':\n", " lines.append(f\"{row.Name} orbits {row.Orbits}.\")\n", " lines.append(f\"{row.Name} has-index equal-to '{row['#']}'.\")\n", " if row['Distance (000 km)']==row['Distance (000 km)']:\n", " lines.append(f\"{row.Name} has-semimajor-axis-1000-km equal-to {renum(row['Distance (000 km)'])}.\")\n", " if row['O_Period (days)']==row['O_Period (days)']:\n", " lines.append(f\"{row.Name} has-period equal-to {renum(row['O_Period (days)'])}.\")\n", " if row['Eccen']==row['Eccen']:\n", " lines.append(f\"{row.Name} has-eccentricity equal-to {renum(row['Eccen'])}.\")\n", " if row.Discoverer!='-':\n", " lines.append(f\"{row.Name} has-discoverer equal-to '{row.Discoverer.split('(')[0]}'.\")\n", " lines.append(f\"{row.Name} has-discovery-year equal-to {row.Date}.\")\n", " return '\\n'.join(lines)" ] }, { "cell_type": "code", "execution_count": 7, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Mercury orbits Sun.\n", "Mercury has-index equal-to 'I'.\n", "Mercury has-semimajor-axis-1000-km equal-to 57910.\n", "Mercury has-period equal-to 87.97.\n", "Mercury has-eccentricity equal-to 0.21.\n", "Venus orbits Sun.\n", "Venus has-index equal-to 'II'.\n", "Venus has-semimajor-axis-1000-km equal-to 108200.\n", "Venus has-period equal-to 224.7.\n", "Venus has-eccentricity equal-to 0.01.\n", "Earth orbits Sun.\n", "Earth has-index equal-to 'III'.\n", "Earth has-semimajor-axis-1000-km equal-to 149600.\n", "Earth has-period equal-to 365.26.\n", "Earth has-eccentricity equal-to 0.02.\n", "Mars orbits Sun.\n", "Mars has-index equal-to 'IV'.\n", "Mars has-semimajor-axis-1000-km equal-to 227940.\n", "Mars has-period equal-to 686.98.\n", "Mars has-eccentricity equal-to 0.09.\n", "Jupiter orbits Sun.\n", "Jupiter has-index equal-to 'V'.\n", "Jupiter has-semimajor-axis-1000-km equal-to 778330.\n", "Jupiter has-period equal-to 4332.71.\n", "Jupiter has-eccentricity equal-to 0.05.\n", "Saturn orbits Sun.\n", "Saturn has-index equal-to 'VI'.\n", "Saturn has-semimajor-axis-1000-km equal-to 1429400.\n", "Saturn has-period equal-to 107...\n" ] } ], "source": [ "orbit_cnl='\\n'.join(line for line in raw_orbit_data.apply(orbits_to_cnl,axis=1) if line!='')\n", "print(orbit_cnl[:1000]+\"...\")" ] }, { "cell_type": "code", "execution_count": 8, "metadata": {}, "outputs": [], "source": [ "if os.path.exists('physics.pkl'):\n", " raw_physical_data=pd.read_pickle('physics.pkl')\n", "else:\n", " raw_physical_data= pd.read_html('https://nineplanets.org/physical-solar-system-data/',header=[0,1])[0]\n", " raw_physical_data.columns=[\"Name\",\"Radius\",\"Mass\",\"Dens\",\"Abo\",\"Vo\",\"Rotate\",\"Dimensions\"]\n", " pd.to_pickle(raw_physical_data,'physics.pkl')" ] }, { "cell_type": "code", "execution_count": 9, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
NameRadiusMassDensAboVoRotateDimensions
0Sun695000.01.99e301.41?-2624.6NaN
1NaNNaNNaNNaNNaNNaNNaNNaN
2Mercury2440.03.30e235.430.11-1.958.6NaN
3Venus6052.04.87e245.240.65-4.4-243NaN
4Earth6378.05.97e245.520.3-0.99NaN
...........................
81Nereid170.0??.218.7?NaN
82NaNNaNNaNNaNNaNNaNNaNNaN
83Charon603.01.52e211.72.3215.5S(z)
84Nix23.0< 2e18??22.9?(z)
85Hydra30.0< 2e18??23.4?(z)
\n", "

86 rows × 8 columns

\n", "
" ], "text/plain": [ " Name Radius Mass Dens Abo Vo Rotate Dimensions\n", "0 Sun 695000.0 1.99e30 1.41 ? -26 24.6 NaN\n", "1 NaN NaN NaN NaN NaN NaN NaN NaN\n", "2 Mercury 2440.0 3.30e23 5.43 0.11 -1.9 58.6 NaN\n", "3 Venus 6052.0 4.87e24 5.24 0.65 -4.4 -243 NaN\n", "4 Earth 6378.0 5.97e24 5.52 0.3 - 0.99 NaN\n", ".. ... ... ... ... ... ... ... ...\n", "81 Nereid 170.0 ? ? .2 18.7 ? NaN\n", "82 NaN NaN NaN NaN NaN NaN NaN NaN\n", "83 Charon 603.0 1.52e21 1.72 .32 15.5 S (z)\n", "84 Nix 23.0 < 2e18 ? ? 22.9 ? (z)\n", "85 Hydra 30.0 < 2e18 ? ? 23.4 ? (z)\n", "\n", "[86 rows x 8 columns]" ] }, "execution_count": 9, "metadata": {}, "output_type": "execute_result" } ], "source": [ "raw_physical_data" ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [], "source": [ "def physics_to_cnl(row):\n", " lines = []\n", " if row.Name==row.Name: #Nan check\n", " lines.append(f\"{row.Name} has-radius equal-to {renum(row.Radius)}.\")\n", " if row.Mass!='?' and row.Mass==row.Mass:\n", " if row.Mass[0]=='<':\n", " lines.append(f\"{row.Name} has-mass-kg lower-than {renum(row.Mass[1:])}.\")\n", " else:\n", " lines.append(f\"{row.Name} has-mass-kg equal-to {renum(row.Mass)}.\")\n", " if row.Dens!='?' and row.Dens==row.Dens:\n", " lines.append(f\"{row.Name} has-density equal-to {renum(row.Dens)}.\")\n", " if row.Abo!='?':\n", " lines.append(f\"{row.Name} has-abo equal-to {renum(row.Abo)}.\")\n", " if row.Vo!='-' and row.Vo!='?':\n", " lines.append(f\"{row.Name} has-vo equal-to {renum(row.Vo)}.\")\n", " if row.Rotate!='?' and row.Rotate==row.Rotate:\n", " if row.Rotate=='S':\n", " lines.append(f\"{row.Name} has-rotate equal-to 'Stable'.\")\n", " elif row.Rotate=='chaotic':\n", " lines.append(f\"{row.Name} has-rotate equal-to 'Chaotic'.\")\n", " else:\n", " lines.append(f\"{row.Name} has-rotate equal-to {renum(row.Rotate)}.\")\n", " return '\\n'.join(lines)" ] }, { "cell_type": "code", "execution_count": 11, "metadata": { "scrolled": false }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Sun has-radius equal-to 695000.0.\n", "Sun has-mass-kg equal-to 1.99e30.\n", "Sun has-density equal-to 1.41.\n", "Sun has-vo equal-to -26.\n", "Sun has-rotate equal-to 24.6.\n", "Mercury has-radius equal-to 2440.0.\n", "Mercury has-mass-kg equal-to 3.30e23.\n", "Mercury has-density equal-to 5.43.\n", "Mercury has-abo equal-to 0.11.\n", "Mercury has-vo equal-to -1.9.\n", "Mercury has-rotate equal-to 58.6.\n", "Venus has-radius equal-to 6052.0.\n", "Venus has-mass-kg equal-to 4.87e24.\n", "Venus has-density equal-to 5.24.\n", "Venus has-abo equal-to 0.65.\n", "Venus has-vo equal-to -4.4.\n", "Venus has-rotate equal-to -243.\n", "Earth has-radius equal-to 6378.0.\n", "Earth has-mass-kg equal-to 5.97e24.\n", "Earth has-density equal-to 5.52.\n", "Earth has-abo equal-to 0.3.\n", "Earth has-rotate equal-to 0.99.\n", "Mars has-radius equal-to 3397.0.\n", "Mars has-mass-kg equal-to 6.42e23.\n", "Mars has-density equal-to 3.93.\n", "Mars has-abo equal-to 0.15.\n", "Mars has-vo equal-to -2.0.\n", "Mars has-rotate equal-to 1.03.\n", "Jupiter has-radius equal-to 71492.0.\n", "Jupiter has-mass-kg equal-to 1.90e27.\n", "Jupiter has-density equal-...\n" ] } ], "source": [ "physics_cnl = '\\n'.join(line for line in raw_physical_data.apply(physics_to_cnl,axis=1) if line!='')\n", "print(physics_cnl[:1000]+\"...\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Constructing few rules that will merge all the things together" ] }, { "cell_type": "code", "execution_count": 12, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Overwriting solarsystem.encnl\n" ] } ], "source": [ "%%writefile solarsystem.encnl\n", "\n", "Comment: 'Definition of a planet'.\n", "If a thing orbits a star and the thing has-mass-kg greater-than 1.0e23 then the thing is a planet.\n", "\n", "Comment: 'Definition of a dwarf-planet'.\n", "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.\n", "\n", "Comment: 'Definition of the moon'.\n", "If a thing(1) orbits a thing(2) and the thing(2) orbits a star then the thing(1) is a moon.\n", "\n", "Comment: 'All starts with the Sun'.\n", "Sun is a star.\n" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Loading the ontology" ] }, { "cell_type": "code", "execution_count": 13, "metadata": {}, "outputs": [], "source": [ "onto=Ontology(\"cnl/string\",'\\n'.join([open(\"solarsystem.encnl\",\"rt\").read(), physics_cnl,orbit_cnl]), \n", " evaluator = lambda e:eval(e,globals(),locals()), \n", " graph_attribute_formatter = graph_attribute_formatter)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "### Exploring the ontology" ] }, { "cell_type": "code", "execution_count": 14, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Instancehas-rotatehas-vohas-densityhas-mass-kghas-radius
0Sun24.6-261.411.990000e+30695000.0
\n", "
" ], "text/plain": [ " Instance has-rotate has-vo has-density has-mass-kg has-radius\n", "0 Sun 24.6 -26 1.41 1.990000e+30 695000.0" ] }, "execution_count": 14, "metadata": {}, "output_type": "execute_result" } ], "source": [ "onto.select_instances_of(\"a star\")" ] }, { "cell_type": "code", "execution_count": 15, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Instanceorbitshas-discovery-yearhas-mass-kghas-vohas-abohas-discovererhas-rotatehas-radiushas-periodhas-semimajor-axis-1000-kmhas-eccentricityhas-indexhas-density
0PlutoSun19301.270000e+2213.60.55Tombaugh-6.391150.09055059135200.25IX2.06
\n", "
" ], "text/plain": [ " Instance orbits has-discovery-year has-mass-kg has-vo has-abo \\\n", "0 Pluto Sun 1930 1.270000e+22 13.6 0.55 \n", "\n", " has-discoverer has-rotate has-radius has-period \\\n", "0 Tombaugh -6.39 1150.0 90550 \n", "\n", " has-semimajor-axis-1000-km has-eccentricity has-index has-density \n", "0 5913520 0.25 IX 2.06 " ] }, "execution_count": 15, "metadata": {}, "output_type": "execute_result" } ], "source": [ "onto.select_instances_of(\"a dwarf-planet\")" ] }, { "cell_type": "code", "execution_count": 16, "metadata": {}, "outputs": [ { "data": { "text/html": [ "
\n", "\n", "\n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Instanceorbitshas-discovererhas-abohas-vohas-densityhas-semimajor-axis-1000-kmhas-discovery-yearhas-periodhas-eccentricityhas-radiushas-mass-kghas-rotatehas-index
0NeptuneSunAdams0.417.81.6445043001846.060190.000.0124766.01.020000e+260.67VIII
1SaturnSunNone0.470.70.691429400NaN10759.500.0660268.05.680000e+260.45VI
2MarsSunNone0.15-2.03.93227940NaN686.980.093397.06.420000e+231.03IV
3EarthSunNone0.30NaN5.52149600NaN365.260.026378.05.970000e+240.99III
4VenusSunNone0.65-4.45.24108200NaN224.700.016052.04.870000e+24-243.00II
5UranusSunHerschel0.515.51.3228709901781.030685.000.0525559.08.680000e+25-0.72VII
6MercurySunNone0.11-1.95.4357910NaN87.970.212440.03.300000e+2358.60I
7JupiterSunNone0.52-2.71.33778330NaN4332.710.0571492.01.900000e+270.41V
\n", "
" ], "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", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", " \n", "
Instanceorbitshas-radiushas-semimajor-axis-1000-kmhas-indexhas-densityhas-periodhas-vohas-discovery-yearhas-discovererhas-eccentricityhas-mass-kghas-rotatehas-abo
0CarmeJupiter20.022600XI2.80-692.0017.91938Nicholson0.219.560000e+16NoneNaN
1HarpalykeJupiterNaN21132XXIINaNNaNNaN2000SheppardNaNNaNNoneNaN
2MegacliteJupiterNaN23911XIXNaNNaNNaN2000SheppardNaNNaNNoneNaN
3CallirrhoeJupiterNaN24100XVIINaNNaNNaN2000SheppardNaNNaNNoneNaN
4IoJupiter1821.0422I3.531.775.01610Galileo0.008.930000e+22Stable0.61
5ThebeJupiter50.0222XIV1.500.6716.01979Synnott0.027.770000e+17Stable0.05
6AmaltheaJupiter94.0181V1.000.5014.11892Barnard0.003.500000e+18Stable0.05
7ElaraJupiter38.011737VII3.30259.6516.61905Perrine0.217.770000e+170.5NaN
8ChaldeneJupiterNaN23387XXINaNNaNNaN2000SheppardNaNNaNNoneNaN
9LysitheaJupiter18.011720X3.10259.2218.21938Nicholson0.117.770000e+16NoneNaN
10CallistoJupiter2403.01883IV1.8516.695.61610Galileo0.011.080000e+23Stable0.20
11PasiphaeJupiter25.023500VIII2.90-735.0016.91908Melotte0.381.910000e+17NoneNaN
12TaygeteJupiterNaN23312XXNaNNaNNaN2000SheppardNaNNaNNoneNaN
13ErinomeJupiterNaN23168XXVNaNNaNNaN2000SheppardNaNNaNNoneNaN
14MetisJupiter20.0128XVI2.800.2917.51979Synnott0.009.560000e+16None0.05
15GanymedeJupiter2634.01070III1.947.154.61610Galileo0.001.480000e+23Stable0.42
16LedaJupiter8.011094XIII2.70238.7220.21974Kowal0.155.680000e+15NoneNaN
17SinopeJupiter18.023700IX3.10-758.0018.01914Nicholson0.287.770000e+16NoneNaN
18AdrasteaJupiter10.0129XV4.500.3018.71979Jewitt0.001.910000e+16None0.05
19ThemistoJupiterNaN7507XVIIINaNNaNNaN2000SheppardNaNNaNNoneNaN
20IocasteJupiterNaN20216XXIVNaNNaNNaN2000SheppardNaNNaNNoneNaN
21EuropaJupiter1565.0671II2.993.555.31610Galileo0.014.800000e+22Stable0.64
22AnankeJupiter15.021200XII2.70-631.0018.91951Nicholson0.173.820000e+16NoneNaN
23HimaliaJupiter93.011480VI2.80250.5715.01904Perrine0.169.560000e+180.4NaN
24IsonoeJupiterNaN23078XXVINaNNaNNaN2000SheppardNaNNaNNoneNaN
\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": [ "\n", "\n", "G\n", "\n", "\n", "Himalia\n", "\n", "Himalia\n", "\n", "\n", "Jupiter\n", "\n", "Jupiter\n", "\n", "\n", "Himalia--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Sun\n", "\n", "Sun\n", "\n", "\n", "Jupiter--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Sinope\n", "\n", "Sinope\n", "\n", "\n", "Sinope--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Bianca\n", "\n", "Bianca\n", "\n", "\n", "Uranus\n", "\n", "Uranus\n", "\n", "\n", "Bianca--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Uranus--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Telesto\n", "\n", "Telesto\n", "\n", "\n", "Saturn\n", "\n", "Saturn\n", "\n", "\n", "Telesto--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Saturn--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Enceladus\n", "\n", "Enceladus\n", "\n", "\n", "Enceladus--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Janus\n", "\n", "Janus\n", "\n", "\n", "Janus--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Larissa\n", "\n", "Larissa\n", "\n", "\n", "Neptune\n", "\n", "Neptune\n", "\n", "\n", "Larissa--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Neptune--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Europa\n", "\n", "Europa\n", "\n", "\n", "Europa--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Pasiphae\n", "\n", "Pasiphae\n", "\n", "\n", "Pasiphae--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Deimos\n", "\n", "Deimos\n", "\n", "\n", "Mars\n", "\n", "Mars\n", "\n", "\n", "Deimos--Mars\n", "\n", "\n", "orbits\n", "\n", "\n", "Mars--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Nereid\n", "\n", "Nereid\n", "\n", "\n", "Nereid--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Callisto\n", "\n", "Callisto\n", "\n", "\n", "Callisto--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Juliet\n", "\n", "Juliet\n", "\n", "\n", "Juliet--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Leda\n", "\n", "Leda\n", "\n", "\n", "Leda--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Metis\n", "\n", "Metis\n", "\n", "\n", "Metis--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Lysithea\n", "\n", "Lysithea\n", "\n", "\n", "Lysithea--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Taygete\n", "\n", "Taygete\n", "\n", "\n", "Taygete--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Cressida\n", "\n", "Cressida\n", "\n", "\n", "Cressida--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Proteus\n", "\n", "Proteus\n", "\n", "\n", "Proteus--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Iapetus\n", "\n", "Iapetus\n", "\n", "\n", "Iapetus--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Callirrhoe\n", "\n", "Callirrhoe\n", "\n", "\n", "Callirrhoe--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Ophelia\n", "\n", "Ophelia\n", "\n", "\n", "Ophelia--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Thalassa\n", "\n", "Thalassa\n", "\n", "\n", "Thalassa--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Oberon\n", "\n", "Oberon\n", "\n", "\n", "Oberon--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Umbriel\n", "\n", "Umbriel\n", "\n", "\n", "Umbriel--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Elara\n", "\n", "Elara\n", "\n", "\n", "Elara--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Venus\n", "\n", "Venus\n", "\n", "\n", "Venus--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Erinome\n", "\n", "Erinome\n", "\n", "\n", "Erinome--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Chaldene\n", "\n", "Chaldene\n", "\n", "\n", "Chaldene--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Ananke\n", "\n", "Ananke\n", "\n", "\n", "Ananke--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Tethys\n", "\n", "Tethys\n", "\n", "\n", "Tethys--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Hydra\n", "\n", "Hydra\n", "\n", "\n", "Pluto\n", "\n", "Pluto\n", "\n", "\n", "Hydra--Pluto\n", "\n", "\n", "orbits\n", "\n", "\n", "Pluto--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Calypso\n", "\n", "Calypso\n", "\n", "\n", "Calypso--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Harpalyke\n", "\n", "Harpalyke\n", "\n", "\n", "Harpalyke--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Naiad\n", "\n", "Naiad\n", "\n", "\n", "Naiad--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Isonoe\n", "\n", "Isonoe\n", "\n", "\n", "Isonoe--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Triton\n", "\n", "Triton\n", "\n", "\n", "Triton--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Despina\n", "\n", "Despina\n", "\n", "\n", "Despina--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Titania\n", "\n", "Titania\n", "\n", "\n", "Titania--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Themisto\n", "\n", "Themisto\n", "\n", "\n", "Themisto--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Io\n", "\n", "Io\n", "\n", "\n", "Io--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Charon\n", "\n", "Charon\n", "\n", "\n", "Charon--Pluto\n", "\n", "\n", "orbits\n", "\n", "\n", "Ganymede\n", "\n", "Ganymede\n", "\n", "\n", "Ganymede--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Portia\n", "\n", "Portia\n", "\n", "\n", "Portia--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Megaclite\n", "\n", "Megaclite\n", "\n", "\n", "Megaclite--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Earth\n", "\n", "Earth\n", "\n", "\n", "Earth--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Phoebe\n", "\n", "Phoebe\n", "\n", "\n", "Phoebe--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Mimas\n", "\n", "Mimas\n", "\n", "\n", "Mimas--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Pandora\n", "\n", "Pandora\n", "\n", "\n", "Pandora--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Atlas\n", "\n", "Atlas\n", "\n", "\n", "Atlas--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Nix\n", "\n", "Nix\n", "\n", "\n", "Nix--Pluto\n", "\n", "\n", "orbits\n", "\n", "\n", "Stephano\n", "\n", "Stephano\n", "\n", "\n", "Stephano--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Moon\n", "\n", "Moon\n", "\n", "\n", "Moon--Earth\n", "\n", "\n", "orbits\n", "\n", "\n", "Dione\n", "\n", "Dione\n", "\n", "\n", "Dione--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Puck\n", "\n", "Puck\n", "\n", "\n", "Puck--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Hyperion\n", "\n", "Hyperion\n", "\n", "\n", "Hyperion--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Belinda\n", "\n", "Belinda\n", "\n", "\n", "Belinda--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Rosalind\n", "\n", "Rosalind\n", "\n", "\n", "Rosalind--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Desdemona\n", "\n", "Desdemona\n", "\n", "\n", "Desdemona--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Caliban\n", "\n", "Caliban\n", "\n", "\n", "Caliban--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Cordelia\n", "\n", "Cordelia\n", "\n", "\n", "Cordelia--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Prometheus\n", "\n", "Prometheus\n", "\n", "\n", "Prometheus--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Trinculo\n", "\n", "Trinculo\n", "\n", "\n", "Trinculo--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Prospero\n", "\n", "Prospero\n", "\n", "\n", "Prospero--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Iocaste\n", "\n", "Iocaste\n", "\n", "\n", "Iocaste--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Epimetheus\n", "\n", "Epimetheus\n", "\n", "\n", "Epimetheus--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Ariel\n", "\n", "Ariel\n", "\n", "\n", "Ariel--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Carme\n", "\n", "Carme\n", "\n", "\n", "Carme--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Titan\n", "\n", "Titan\n", "\n", "\n", "Titan--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Phobos\n", "\n", "Phobos\n", "\n", "\n", "Phobos--Mars\n", "\n", "\n", "orbits\n", "\n", "\n", "Setebos\n", "\n", "Setebos\n", "\n", "\n", "Setebos--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Galatea\n", "\n", "Galatea\n", "\n", "\n", "Galatea--Neptune\n", "\n", "\n", "orbits\n", "\n", "\n", "Thebe\n", "\n", "Thebe\n", "\n", "\n", "Thebe--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Sycorax\n", "\n", "Sycorax\n", "\n", "\n", "Sycorax--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Amalthea\n", "\n", "Amalthea\n", "\n", "\n", "Amalthea--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Adrastea\n", "\n", "Adrastea\n", "\n", "\n", "Adrastea--Jupiter\n", "\n", "\n", "orbits\n", "\n", "\n", "Miranda\n", "\n", "Miranda\n", "\n", "\n", "Miranda--Uranus\n", "\n", "\n", "orbits\n", "\n", "\n", "Rhea\n", "\n", "Rhea\n", "\n", "\n", "Rhea--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Pan\n", "\n", "Pan\n", "\n", "\n", "Pan--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "Mercury\n", "\n", "Mercury\n", "\n", "\n", "Mercury--Sun\n", "\n", "\n", "orbits\n", "\n", "\n", "Helene\n", "\n", "Helene\n", "\n", "\n", "Helene--Saturn\n", "\n", "\n", "orbits\n", "\n", "\n", "" ], "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 }