Hi Sergio.
So I think it would be good to put a suggestion in the WIKI or here [http://marmotta.apache.org/kiwi/geosparql.html] to help users of geosparql Cheers 2016-03-22 12:50 GMT-05:00 Sergio Fernández <[email protected]>: > Hi Fernando, > > On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima < > [email protected] > > wrote: > > > > I am Fernando. > > I followed and I have collaborated in implementing geosparql since its > > beginnig. > > > > Good to see you back. > > In the RDF, exists the following relation > > http://geo.marmotta.es/ontology#hasExactGeometry is subPropertyOf > > http://www.opengis.net/ont/geosparql#hasGeometry > > Then marmotta should infer this relation. > > > > > > To solve this problem. I implement the following rule in the reasoner > > Module. > > @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> > > ($1 <http://www.w3.org/2000/01/rdf-schema#subPropertyOf> $2), ($3 $1 $4) > > -> ($3 $2 $4) > > > > Then my question is: > > Is this process right for all geosparql users? > > Is there other way for marmotta to infer this relation? > > > > Yes, that's the expected behavior. The current KiWi SPARQL implementation > only supports the RDF Entailment: > https://www.w3.org/TR/sparql11-entailment/#RDFEntRegime but not further > entailment such as RDFS, OWL or D-entailment. So the single way to get > ssuch queries working as you expected is having a reasoner program > materializing those inferences. > > Hope that helps. > > Cheers, >
