You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@marmotta.apache.org by Fernando Baculima <fe...@gmail.com> on 2016/03/22 18:38:43 UTC
[jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Hi all.
I am Fernando.
I followed and I have collaborated in implementing geosparql since its beginnig.
Marmotta is our LD platform in some projects in University of Cuenca
But I have analyzed a situation that can be a problem regarding geosparql.
Using this file( https://wiki.apache.org/marmotta/MARMOTTA-584/UserDocumentation?action=AttachFile&do=view&target=provinciasEspa%C3%B1a.rdf )
At this time, marmotta answers the following query to get the WKT of the Province of Lleida
"PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>PREFIX geoes: <http://geo.marmotta.es/ontology#>PREFIX geo: <http://www.opengis.net/ont/geosparql#>
SELECT DISTINCT ?province ?wkt WHERE { ?province a <http://geo.marmotta.es/ontology#provincia>. ?province rdfs:label "Lleida"@es. ?province geoes:hasExactGeometry ?geo. ?geo geo:asWKT ?wkt. }
"
But according to GeoSPARQL Standard, marmotta should also answer the following query
"PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>PREFIX geo: <http://www.opengis.net/ont/geosparql#>
SELECT DISTINCT ?province ?wkt WHERE { ?province a <http://geo.marmotta.es/ontology#provincia>. ?province rdfs:label "Lleida"@es. ?province geo:hasGeometry ?geo. ?geo geo:asWKT ?wkt. }
"
To retrieve the geographical resource, you need to use "geo:hasGeometry" instead of "geoes:hasExactGeometry"
In the GeoSPARQL Standard Document [http://www.opengeospatial.org/standards/geosparql] mentioned the following
"Implementations shall allow the properties geo:hasGeometry andgeo:hasDefaultGeometry to be used in SPARQL graph patterns."
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?
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by Sergio Fernández <wi...@apache.org>.
OK, so I registered https://issues.apache.org/jira/browse/MARMOTTA-633 with
the details.
I plan to come back this month to the GeoSPARQL stuff, to get it finally
ready before ApacheCon.
On Fri, Apr 1, 2016 at 5:27 PM, fernando baculima <fe...@gmail.com>
wrote:
> Hi Rob
>
>
> From what I have seen in other repositories, such as Parliament or Strabon,
> they do consider this URL, and the clients do need this URL.
>
> I have done a correction to this issue and right now I am testing it.
>
>
> Cheers
>
> Fernando
>
>
> 2016-03-31 23:44 GMT-05:00 Rob Atkinson <ro...@metalinkage.com.au>:
>
> > Even though the wording is slightly ambiguous IMHO, req 11 confirms that
> > the CRS is optional - so is this actually a bug? I may be a unworkable
> > limitation that it can only handle the implicit default and for all other
> > CRS data would effectively be corrupted by misrepresenting its CRS.
> >
> > If clients cant handle the absence at all, it may be a best practice to
> > include it.
> > You probably should also try data with a different CRS in case it is
> > omitting it just for the default case
> >
> >
> > Rob A
> >
> > On Fri, 1 Apr 2016 at 08:50 fernando baculima <fe...@gmail.com>
> > wrote:
> >
> > > Hi All.
> > >
> > >
> > > I have found a Little problem in the implementation of GeoSPARQL. The
> > > problem is that Marmotta doesn't returns the spatial reference URI
> before
> > > WKT, as it is specified in the Geosparql Standard Document. Req 10 and
> > Req
> > > 11. [1]
> > >
> > >
> > > Req 10
> > > All RDFS Literals of type geo:wktLiteral shall consist of an optional
> URI
> > > identifying the coordinate reference system followed by
> > > Simple Features Well Known Text (WKT) describing a geometric value.
> Valid
> > > geo:wktLiterals are formed by concatenating a valid,
> > > absolute URI as defined in [RFC 2396], one or more spaces (Unicode
> U+0020
> > > character) as a separator, and a WKT string as defined in
> > > Simple Features [ISO 19125-1].
> > >
> > > Req 11
> > > The URI <http://www.opengis.net/def/crs/OGC/1.3/CRS84> shall be
> assumed
> > as
> > > the spatial reference system
> > > for geo:wktLiterals that do not specify an explicit spatial reference
> > > system URI
> > >
> > >
> > > Example:
> > >
> > > SPARQL Query
> > >
> > > PREFIX geo: <http://www.opengis.net/ont/geosparql#>
> > > Select ?wkt
> > > WHERE
> > > {
> > > ?r geo:hasGeometry ?geo.
> > > ?geo asWKT ?geo
> > > }
> > > limit 1
> > >
> > >
> > > Marmotta response:
> > >
> > > wkt
> > > Point(-78.562245 26554456)^^http://www.opengis.net/ont/sf#wktLiteral
> > >
> > >
> > > But Marmotta should return::
> > >
> > > wkt
> > > <http://www.opengis.net/def/crs/OGC/1.3/CRS84> Point(-78.562245
> > > 26554456)^^
> > > http://www.opengis.net/ont/sf#wktLiteral
> > >
> > >
> > >
> > >
> > > This URI is important for applications that need to identify the
> > reference
> > > system and show the data in a map, for example MAP4RDF (UPM).[2] and
> > > openMapsJS (UCUENCA). [3].
> > >
> > >
> > >
> > > [1]. http://www.opengeospatial.org/standards/geosparql
> > > [2]. http://oeg-dev.dia.fi.upm.es/map4rdf/
> > > [3]. https://github.com/marcelocaj/openmapjs
> > >
> > >
> > > 2016-03-23 10:15 GMT-05:00 fernando baculima <fernandobac03@gmail.com
> >:
> > >
> > > > 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 <wi...@apache.org>:
> > > >
> > > >> Hi Fernando,
> > > >>
> > > >> On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <
> > > >> fernando.bac03@gmail.com
> > > >> > 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,
> > > >>
> > > >
> > > >
> > >
> >
>
--
Sergio Fernández
Partner Technology Manager
Redlink GmbH
m: +43 6602747925
e: sergio.fernandez@redlink.co
w: http://redlink.co
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by fernando baculima <fe...@gmail.com>.
Hi Rob
>From what I have seen in other repositories, such as Parliament or Strabon,
they do consider this URL, and the clients do need this URL.
I have done a correction to this issue and right now I am testing it.
Cheers
Fernando
2016-03-31 23:44 GMT-05:00 Rob Atkinson <ro...@metalinkage.com.au>:
> Even though the wording is slightly ambiguous IMHO, req 11 confirms that
> the CRS is optional - so is this actually a bug? I may be a unworkable
> limitation that it can only handle the implicit default and for all other
> CRS data would effectively be corrupted by misrepresenting its CRS.
>
> If clients cant handle the absence at all, it may be a best practice to
> include it.
> You probably should also try data with a different CRS in case it is
> omitting it just for the default case
>
>
> Rob A
>
> On Fri, 1 Apr 2016 at 08:50 fernando baculima <fe...@gmail.com>
> wrote:
>
> > Hi All.
> >
> >
> > I have found a Little problem in the implementation of GeoSPARQL. The
> > problem is that Marmotta doesn't returns the spatial reference URI before
> > WKT, as it is specified in the Geosparql Standard Document. Req 10 and
> Req
> > 11. [1]
> >
> >
> > Req 10
> > All RDFS Literals of type geo:wktLiteral shall consist of an optional URI
> > identifying the coordinate reference system followed by
> > Simple Features Well Known Text (WKT) describing a geometric value. Valid
> > geo:wktLiterals are formed by concatenating a valid,
> > absolute URI as defined in [RFC 2396], one or more spaces (Unicode U+0020
> > character) as a separator, and a WKT string as defined in
> > Simple Features [ISO 19125-1].
> >
> > Req 11
> > The URI <http://www.opengis.net/def/crs/OGC/1.3/CRS84> shall be assumed
> as
> > the spatial reference system
> > for geo:wktLiterals that do not specify an explicit spatial reference
> > system URI
> >
> >
> > Example:
> >
> > SPARQL Query
> >
> > PREFIX geo: <http://www.opengis.net/ont/geosparql#>
> > Select ?wkt
> > WHERE
> > {
> > ?r geo:hasGeometry ?geo.
> > ?geo asWKT ?geo
> > }
> > limit 1
> >
> >
> > Marmotta response:
> >
> > wkt
> > Point(-78.562245 26554456)^^http://www.opengis.net/ont/sf#wktLiteral
> >
> >
> > But Marmotta should return::
> >
> > wkt
> > <http://www.opengis.net/def/crs/OGC/1.3/CRS84> Point(-78.562245
> > 26554456)^^
> > http://www.opengis.net/ont/sf#wktLiteral
> >
> >
> >
> >
> > This URI is important for applications that need to identify the
> reference
> > system and show the data in a map, for example MAP4RDF (UPM).[2] and
> > openMapsJS (UCUENCA). [3].
> >
> >
> >
> > [1]. http://www.opengeospatial.org/standards/geosparql
> > [2]. http://oeg-dev.dia.fi.upm.es/map4rdf/
> > [3]. https://github.com/marcelocaj/openmapjs
> >
> >
> > 2016-03-23 10:15 GMT-05:00 fernando baculima <fe...@gmail.com>:
> >
> > > 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 <wi...@apache.org>:
> > >
> > >> Hi Fernando,
> > >>
> > >> On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <
> > >> fernando.bac03@gmail.com
> > >> > 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,
> > >>
> > >
> > >
> >
>
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by Rob Atkinson <ro...@metalinkage.com.au>.
Even though the wording is slightly ambiguous IMHO, req 11 confirms that
the CRS is optional - so is this actually a bug? I may be a unworkable
limitation that it can only handle the implicit default and for all other
CRS data would effectively be corrupted by misrepresenting its CRS.
If clients cant handle the absence at all, it may be a best practice to
include it.
You probably should also try data with a different CRS in case it is
omitting it just for the default case
Rob A
On Fri, 1 Apr 2016 at 08:50 fernando baculima <fe...@gmail.com>
wrote:
> Hi All.
>
>
> I have found a Little problem in the implementation of GeoSPARQL. The
> problem is that Marmotta doesn't returns the spatial reference URI before
> WKT, as it is specified in the Geosparql Standard Document. Req 10 and Req
> 11. [1]
>
>
> Req 10
> All RDFS Literals of type geo:wktLiteral shall consist of an optional URI
> identifying the coordinate reference system followed by
> Simple Features Well Known Text (WKT) describing a geometric value. Valid
> geo:wktLiterals are formed by concatenating a valid,
> absolute URI as defined in [RFC 2396], one or more spaces (Unicode U+0020
> character) as a separator, and a WKT string as defined in
> Simple Features [ISO 19125-1].
>
> Req 11
> The URI <http://www.opengis.net/def/crs/OGC/1.3/CRS84> shall be assumed as
> the spatial reference system
> for geo:wktLiterals that do not specify an explicit spatial reference
> system URI
>
>
> Example:
>
> SPARQL Query
>
> PREFIX geo: <http://www.opengis.net/ont/geosparql#>
> Select ?wkt
> WHERE
> {
> ?r geo:hasGeometry ?geo.
> ?geo asWKT ?geo
> }
> limit 1
>
>
> Marmotta response:
>
> wkt
> Point(-78.562245 26554456)^^http://www.opengis.net/ont/sf#wktLiteral
>
>
> But Marmotta should return::
>
> wkt
> <http://www.opengis.net/def/crs/OGC/1.3/CRS84> Point(-78.562245
> 26554456)^^
> http://www.opengis.net/ont/sf#wktLiteral
>
>
>
>
> This URI is important for applications that need to identify the reference
> system and show the data in a map, for example MAP4RDF (UPM).[2] and
> openMapsJS (UCUENCA). [3].
>
>
>
> [1]. http://www.opengeospatial.org/standards/geosparql
> [2]. http://oeg-dev.dia.fi.upm.es/map4rdf/
> [3]. https://github.com/marcelocaj/openmapjs
>
>
> 2016-03-23 10:15 GMT-05:00 fernando baculima <fe...@gmail.com>:
>
> > 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 <wi...@apache.org>:
> >
> >> Hi Fernando,
> >>
> >> On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <
> >> fernando.bac03@gmail.com
> >> > 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,
> >>
> >
> >
>
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by fernando baculima <fe...@gmail.com>.
Hi All.
I have found a Little problem in the implementation of GeoSPARQL. The
problem is that Marmotta doesn't returns the spatial reference URI before
WKT, as it is specified in the Geosparql Standard Document. Req 10 and Req
11. [1]
Req 10
All RDFS Literals of type geo:wktLiteral shall consist of an optional URI
identifying the coordinate reference system followed by
Simple Features Well Known Text (WKT) describing a geometric value. Valid
geo:wktLiterals are formed by concatenating a valid,
absolute URI as defined in [RFC 2396], one or more spaces (Unicode U+0020
character) as a separator, and a WKT string as defined in
Simple Features [ISO 19125-1].
Req 11
The URI <http://www.opengis.net/def/crs/OGC/1.3/CRS84> shall be assumed as
the spatial reference system
for geo:wktLiterals that do not specify an explicit spatial reference
system URI
Example:
SPARQL Query
PREFIX geo: <http://www.opengis.net/ont/geosparql#>
Select ?wkt
WHERE
{
?r geo:hasGeometry ?geo.
?geo asWKT ?geo
}
limit 1
Marmotta response:
wkt
Point(-78.562245 26554456)^^http://www.opengis.net/ont/sf#wktLiteral
But Marmotta should return::
wkt
<http://www.opengis.net/def/crs/OGC/1.3/CRS84> Point(-78.562245 26554456)^^
http://www.opengis.net/ont/sf#wktLiteral
This URI is important for applications that need to identify the reference
system and show the data in a map, for example MAP4RDF (UPM).[2] and
openMapsJS (UCUENCA). [3].
[1]. http://www.opengeospatial.org/standards/geosparql
[2]. http://oeg-dev.dia.fi.upm.es/map4rdf/
[3]. https://github.com/marcelocaj/openmapjs
2016-03-23 10:15 GMT-05:00 fernando baculima <fe...@gmail.com>:
> 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 <wi...@apache.org>:
>
>> Hi Fernando,
>>
>> On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <
>> fernando.bac03@gmail.com
>> > 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,
>>
>
>
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by fernando baculima <fe...@gmail.com>.
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 <wi...@apache.org>:
> Hi Fernando,
>
> On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <
> fernando.bac03@gmail.com
> > 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,
>
Re: [jira] [Commented] (MARMOTTA-584) Add GeoSPARQL support to KiWi
triple store
Posted by Sergio Fernández <wi...@apache.org>.
Hi Fernando,
On Tue, Mar 22, 2016 at 6:38 PM, Fernando Baculima <fernando.bac03@gmail.com
> 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,