On 5/15/18 10:49 AM, Jason Koh wrote: > Hi Kingsley, > > I know how to use inference rules thanks to the documents and I use it > in other cases. But I don't know why I need inference in this case. I > don't necessarily need to suppress that subClassOf* into a subClassOf > with an inference and it's just a regular SPARQL query without any > inferences. Furthermore, RDFS does not have an assumption of using OWL > (transitive property). > > If it is the only way, I will add the inference rule for the > convenience, but just want to leave a note that it's an unexpected > behavior. > > > With regards, > Jason Koh > cseweb.ucsd.edu/~jbkoh <http://cseweb.ucsd.edu/%7Ejbkoh>
Okay, so you know how to use built-in inferences and/or create custom inference rules using Virtuoso. Thus, if your data contains rdfs:subClassOf relations and you want to use property paths as per "*" operator, what's the problem? Remember I stated: sparql prefix : <http://test.abc#> prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns# <http://www.w3.org/1999/02/22-rdf-syntax-ns#>> prefix rdfs: <http://www.w3.org/2000/01/rdf-schema# <http://www.w3.org/2000/01/rdf-schema#>> prefix owl: <http://www.w3.org/2002/07/owl# <http://www.w3.org/2002/07/owl#>> insert IN GRAPH <urn:test1> { :class1 a owl:Class . :class2 a owl:Class . ## Note relation added here ## :class2 rdfs:subClassOf :class1 . :entity0 a :class1. :entity1 a :class2. :entity2 a :class2. :entity0 :relation1 :entity1. :entity0 :relation1 :entity2. } Which implies the fact that :entity1 rdfs:subClassOf :entity0 isn't explicitly stated in the data, unless you have some other named graph holding those relations, hence the need for reasoning and inference. If the relations are in place, you can use property paths. If not, you need to materialize them by way of reasoning and inference. -- Regards, Kingsley Idehen Founder & CEO OpenLink Software (Home Page: http://www.openlinksw.com) Weblogs (Blogs): Legacy Blog: http://www.openlinksw.com/blog/~kidehen/ Blogspot Blog: http://kidehen.blogspot.com Medium Blog: https://medium.com/@kidehen Profile Pages: Pinterest: https://www.pinterest.com/kidehen/ Quora: https://www.quora.com/profile/Kingsley-Uyi-Idehen Twitter: https://twitter.com/kidehen Google+: https://plus.google.com/+KingsleyIdehen/about LinkedIn: http://www.linkedin.com/in/kidehen Web Identities (WebID): Personal: http://kingsley.idehen.net/public_home/kidehen/profile.ttl#i : http://id.myopenlink.net/DAV/home/KingsleyUyiIdehen/Public/kingsley.ttl#this
smime.p7s
Description: S/MIME Cryptographic Signature
------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________ Virtuoso-users mailing list Virtuoso-users@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/virtuoso-users