Applying inference at depth 0 on a relation map of size 0
Added triples: output: {
  [ Pizzardfs:subClassOf Food ]
  [ MagheritaPizzardfs:subClassOf Pizza ]
  [ MagheritaPizzahasTopping Tomato ]
  [ thisPizzahasTopping thisMozzarella ]
  [ thisPizzardf:type MagheritaPizza ]
  [ eatsrdfs:range Food ]
  [ eatsrdfs:domain Person ]
  [ hasToppingrdfs:subPropertyOf hasIngredient ]
  [ Luigieats thisPizza ]
}

Applying inference at depth 1 on a relation map of size 9
[ thisPizza rdf:type MagheritaPizza ]_<1±0.019> ^ [ MagheritaPizza rdfs:subClassOf Pizza ]_<1±0.019> =rdfs9_<1±2.3e-08> => 
[ thisPizza rdf:type MagheritaPizza ]_<1±0.019> ^ [ MagheritaPizza rdfs:subClassOf Pizza ]_<1±0.019> =rdfs9_<1±2.3e-08> => 
Added triples: output: {
  [ thisPizzardf:type Pizza_<2±0.019> ]
}

Applying inference at depth 2 on a relation map of size 10
[ thisPizza rdf:type Pizza_<2±0.019> ]_<2±0.056> ^ [ Pizza rdfs:subClassOf Food ]_<1±0.019> =rdfs9_<1±0.019> => 
Added triples: output: {
  [ thisPizzardf:type Food_<1±0.019> ]
}

Applying inference at depth 3 on a relation map of size 11
Added triples: output: {
}

Calculus duration in msec : 8.482
"Luigi pizza infered facts": {
  [ Luigieats thisPizza ]
  [ hasToppingrdfs:subPropertyOf hasIngredient ]
  [ eatsrdfs:domain Person ]
  [ eatsrdfs:range Food ]
  [ thisPizzardf:type Food_<1±0.019> ]
  [ thisPizzardf:type MagheritaPizza ]
  [ thisPizzahasTopping thisMozzarella ]
  [ MagheritaPizzahasTopping Tomato ]
  [ MagheritaPizzardfs:subClassOf Pizza ]
  [ thisPizzardf:type Pizza_<2±0.019> ]
  [ Pizzardfs:subClassOf Food ]
}

Calculus duration in msec : 6.869
"Luigi pizza infered facts": {
  [ Luigieats thisPizza_<0.5±0> ]
  [ hasToppingrdfs:subPropertyOf hasIngredient ]
  [ eatsrdfs:domain Person ]
  [ eatsrdfs:range Food ]
  [ thisPizzardf:type Food_<1±0.019> ]
  [ thisPizzardf:type MagheritaPizza ]
  [ thisPizzahasTopping thisMozzarella ]
  [ MagheritaPizzahasTopping Tomato ]
  [ MagheritaPizzardfs:subClassOf Pizza ]
  [ thisPizzardf:type Pizza_<2±0.019> ]
  [ Pizzardfs:subClassOf Food ]
}