On 10/12/15 9:35 AM, Richard Nagelmaeker wrote: > Hi, > > We are using RDFS inference on the SPARQL end-point, but get some > unexpected results. > Is this how the endpoint is supposed to work? > > In the dataset the following set of triples has been defined (turtle > syntax): > relationZ rdfs:subPropertyOf relationA, relationB > > We do the following query: > (Query 1) > DEFINE input:inference <http://www.w3.org/2000/01/rdf-schema#> > SELECT ?a > WHERE > { > ?a a Product . > ?b a Mutation . > ?a ?p ?b . > } > > The resultset is Empty.
Yes, because that isn't how the pragma is supposed to be used. You are supposed to pass it an inference rule, which isn't the same thing as an ontology IRI. > > If we change the query, so ?p becomes RelationA (like the example > below) the resultset has many responses. > > (Query 2) > DEFINE input:inference <http://www.w3.org/2000/01/rdf-schema#> > SELECT ?a > WHERE > { > ?a a Product . > ?b a Mutation . > ?a relationA ?b . > } > > If we turn of the inference line, by commenting it out, (Query 1) > returns many responses, whereas (Query 2) has an empty resultset. My response applies here. You are using the pragma incorrectly. > > Expected result: > If (Query 1) has inference defined, it should return many responses > (because there is nothing to infere). Can anybody explain how this > should work? We can start to talk in terms of correct results if the pragma is being used incorrectly. [1] http://kidehen.blogspot.com/2014/01/demonstrating-reasoning-via-sparql.html Kingsley > > Cheers, > > Richard > > -- > Richard Nagelmaeker > > BlueSky > /Allowing data to empower humanity/ > > Tel: +31(0)6-3424 9884 > > KvK: 63442221 > > On Thu, 2015-10-08 at 16:05 +0000, > virtuoso-users-requ...@lists.sourceforge.net wrote: >> Send Virtuoso-users mailing list submissions to >> virtuoso-users@lists.sourceforge.net >> <mailto:virtuoso-users@lists.sourceforge.net> >> >> To subscribe or unsubscribe via the World Wide Web, visit >> https://lists.sourceforge.net/lists/listinfo/virtuoso-users >> or, via email, send a message with subject or body 'help' to >> virtuoso-users-requ...@lists.sourceforge.net >> <mailto:virtuoso-users-requ...@lists.sourceforge.net> >> >> You can reach the person managing the list at >> virtuoso-users-ow...@lists.sourceforge.net >> <mailto:virtuoso-users-ow...@lists.sourceforge.net> >> >> When replying, please edit your Subject line so it is more specific >> than "Re: Contents of Virtuoso-users digest..." >> Today's Topics: >> >> 1. quick exact label search through all languages (J?rn Hees) >> 2. Re: quick exact label search through all languages >> (Patrick van Kleef) >> 3. Re: quick exact label search through all languages (J?rn Hees) >> 4. RDF Mapper Options in Conductor (Haag, Jason) >> ------------------------------------------------------------------------------ >> _______________________________________________ >> Virtuoso-users mailing list >> Virtuoso-users@lists.sourceforge.net >> <mailto:Virtuoso-users@lists.sourceforge.net> >> https://lists.sourceforge.net/lists/listinfo/virtuoso-users > > > ------------------------------------------------------------------------------ > > > _______________________________________________ > Virtuoso-users mailing list > Virtuoso-users@lists.sourceforge.net > https://lists.sourceforge.net/lists/listinfo/virtuoso-users -- Regards, Kingsley Idehen Founder & CEO OpenLink Software Company Web: http://www.openlinksw.com Personal Weblog 1: http://kidehen.blogspot.com Personal Weblog 2: http://www.openlinksw.com/blog/~kidehen Twitter Profile: https://twitter.com/kidehen Google+ Profile: https://plus.google.com/+KingsleyIdehen/about LinkedIn Profile: http://www.linkedin.com/in/kidehen Personal WebID: http://kingsley.idehen.net/dataspace/person/kidehen#this
smime.p7s
Description: S/MIME Cryptographic Signature
------------------------------------------------------------------------------
_______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users
