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

Attachment: 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

Reply via email to