Hi Gérard, true, the reasoner module (as many others) could use a good portion of documentation. If you have an idea what is missing for a newcomer (what was missing for you) it would be great if you could write that down - we'll make sure to put it in the right place. Or even better: create and submit a patch of the documentation changes/extensions others would benefit in your situation. ;-)
As for the justify: lt *should* give you the justification for a n inferred triple: the rule(s) and triplets it was generated from. But it could be that it is somehow broken... I'll try to check Best, Jakob Gérard Vidal <gerard.vi...@ens-lyon.fr> schrieb am Fr., 28.08.2015, 16:20: > 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> 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 >> <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. >> >> >
