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,
