You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@marmotta.apache.org by Gérard Vidal <Ge...@ens-lyon.fr> on 2015/08/27 19:07:28 UTC
Reasoner does not infer anything
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"/>
<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"/>
<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"/>
<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"/>
<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"/>
<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.
--
Gérard Vidal
Chargé de mission auprès du vice-Président aux ressources et innovations
en éducation et médiation des savoirs.
Université de Lyon : IFÉ / ENS de Lyon 15 Parvis rené Descartes 69342
Lyon Cedex07.
tel : [+33] (0)4 26 73 12 60. sec (0)4 3737 60 86.
onglet logos
Re: Reasoner does not infer anything
Posted by Jakob Frank <ja...@apache.org>.
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 <Ge...@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 <Ge...@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.
>>
>>
>
Re: Reasoner does not infer anything
Posted by Gérard Vidal <Ge...@ens-lyon.fr>.
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.Vidal@ens-lyon.fr
> <ma...@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.
>
Re: Reasoner does not infer anything
Posted by Jakob Frank <ja...@apache.org>.
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 <Ge...@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.
>
>
> --
> Gérard Vidal Chargé de mission auprès du vice-Président aux ressources et
> innovations en éducation et médiation des savoirs. Université de Lyon :
> IFÉ / ENS de Lyon 15 Parvis rené Descartes 69342 Lyon Cedex07. tel :
> [+33] (0)4 26 73 12 60. sec (0)4 3737 60 86. [image: onglet] [image:
> logos]
>