Many thanks Jacob for a quick and efficient answer displaying the proof with my own data ! ;-)
After a new clean try (and more attention paid on what happens :-[ ), I confirm that Marmotta *reasoner is working**well* for me ! I probably did not notice the new "inferred" context that appeared after the reasoner has been started. It should be nice for not attentive newcomers like me if you may write down somewhere in the "about" page of the reasoner that the inferred triples are stored in the newly and silently created context : "inferred"....O:-) Something that still puzzles me is the fact that the proposed command in that page : curl -i -X GET http://localhost:8080/marmotta/reasoner/engine/justify?id=27 does not return anything except : HTTP/1.1 200 OK Server: Apache Marmotta/RUNTIME (build 0) Content-Type: application/json Content-Length: 2 Date: Fri, 28 Aug 2015 14:07:49 GMT while my context inferred carries 14209 triples Best, Gérard Le 28/08/2015 13:21, Jakob Frank a écrit : > Hi Gerard, > > sorry - I was not able to reproduce your issue: Starting from an empty > marmotta with default configuration, I uploaded your sample data, > configured the example rdfs reasoning and voila, the data was there: > > To the 14 triples uploaded, the reasoning programm added 5 additional > triples: > > @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . > > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_0101> > rdfs:subClassOf > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_> . > > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010101> > rdfs:subClassOf > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_01> . > > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010102> > rdfs:subClassOf > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_01> . > > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010101> > rdfs:subClassOf > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_> . > > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010102> > rdfs:subClassOf > <http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_> . > > > Best, > Jakob > > Gérard Vidal <gerard.vi...@ens-lyon.fr > <mailto:gerard.vi...@ens-lyon.fr>> schrieb am Do., 27. Aug. 2015 um > 19:07 Uhr: > > Hi, > > I have uploaded a turtle file containing an ontology that was > derived from a VDEX taxonomy. As far as I have been able to check, > things went well.... Here is a short extract from the RDF/XML > triples export that seems to show a hierarchy that the reasoner > may handle : > > <rdf:Description > > rdf:about="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_";> > <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"; > <http://www.w3.org/2002/07/owl#Class>/> > <rdfs:label xml:lang="fr">Sciences de la Terre et de > l'Univers</rdfs:label> > </rdf:Description> > <rdf:Description > > rdf:about="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_01";> > <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"; > <http://www.w3.org/2002/07/owl#Class>/> > <rdfs:label xml:lang="fr">La Terre : propriétés, enveloppes, > constituants</rdfs:label> > <rdfs:subClassOf > > rdf:resource="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_"/> > </rdf:Description> > <rdf:Description > > rdf:about="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_0101";> > <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"; > <http://www.w3.org/2002/07/owl#Class>/> > <rdfs:label xml:lang="fr">Terre globale</rdfs:label> > <rdfs:subClassOf > > rdf:resource="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_01"/> > </rdf:Description> > <rdf:Description > > rdf:about="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010101";> > <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"; > <http://www.w3.org/2002/07/owl#Class>/> > <rdfs:label xml:lang="fr">Chimie globale de la Terre</rdfs:label> > <rdfs:subClassOf > > rdf:resource="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_0101"/> > </rdf:Description> > <rdf:Description > > rdf:about="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_010102";> > <rdf:type rdf:resource="http://www.w3.org/2002/07/owl#Class"; > <http://www.w3.org/2002/07/owl#Class>/> > <rdfs:label xml:lang="fr">Forme, dimension, paramètres physiques > de la Terre</rdfs:label> > <rdfs:subClassOf > > rdf:resource="http://normes-educ.ens-lyon.fr/ontologies/2015/ifeSTU#IFE-STU_0101"/> > </rdf:Description> > > I have installed the reasoner sample program in the reasoning > configurator > I have checked that in the confoguration file reasoning.enabled is > ticked > nothing happened > I have started by hand : > > /curl -u admin -i -X POST > http://opendata.climatetmeteo.fr/marmotta/reasoner/engine/run// > //Enter host password for user 'admin':// > //HTTP/1.1 200 OK// > //Server: nginx/1.6.2// > //Date: Thu, 27 Aug 2015 14:21:12 GMT// > //Content-Type: text/plain// > //Content-Length: 24// > //Connection: keep-alive// > // > //(re-)reasoning triggered/ > > It took some time to execute but after that time no triple was > created. > I checked with sgvizler and it does not display the tree but the > first level of relationships only. > > What am I missing ? > Thanks for your help. >
