On 2/22/18 10:33 PM, Jason Koh wrote:
> Just to provide my use case,
>
> I presumed if there is a graph like
>
> ```turtle
> ex:a rdf:type sch:Class1 .
> sch:Class1 owl:equivalentClass sch:Class2 .
> ```
> . a query like this should work
> ```sparql
> select ?s where {
> ?s rdf:type sch:Class2 .
> }
> ```
>
> Thanks!
>
>
> With regards,
> Jason Koh
> cseweb.ucsd.edu/~jbkoh <http://cseweb.ucsd.edu/%7Ejbkoh>
>
> On Thu, Feb 22, 2018 at 5:33 PM, Jason Koh <[email protected]
> <mailto:[email protected]>> wrote:
>
> Hi,
>
> I would like to exploit OWL/RDFS inferences like
> here:
> https://virtuoso.openlinksw.com/dataspace/doc/dav/wiki/Main/VirtSPARQLReasoningTutorial#Step
>
> <https://virtuoso.openlinksw.com/dataspace/doc/dav/wiki/Main/VirtSPARQLReasoningTutorial#Step>
> 6.: SPARQL Inference Queries
>
> 1. However, I can't find the "define rules" for
> owl:equivalentClass as mentioned
> here:
> http://docs.openlinksw.com/virtuoso/virtuosotipsandtricksrdfschowlinfrl/
>
> <http://docs.openlinksw.com/virtuoso/virtuosotipsandtricksrdfschowlinfrl/>.
>
> What is the exact keyword to use owl:equivalentClass like ``DEFINE
> input:same-as "yes"``?
>
>
> 2. And if I use inference instead of transitive search like
> ``rel:ancestorOf+``, is it faster?
>
> Thank you!
>
>
> With regards,
> Jason Koh
> cseweb.ucsd.edu/~jbkoh <http://cseweb.ucsd.edu/%7Ejbkoh>
>
Steps:SQL> sparql define get:soft "no-sponge" load <http://www.openlinksw.com/data/turtle/ontology_mappings/schemas_mappings/SchemaOrgToOpenLink.ttl> ; Done. -- 6146 msec. SQL> rdfs_rule_set ('urn:equivalent:class:inference:rules:demo:2018:16:45', 'http://www.openlinksw.com/data/turtle/ontology_mappings/schemas_mappings/SchemaOrgToOpenLink.ttl'); Done. -- 182 msec. SQL> p_score_init (); Here are links Virtuoso's Reasoning & Inference functionality with live demo links based on the above [1] http://lod.openlinksw.com/describe/?url=http%3A%2F%2Fxmlns.com%2Ffoaf%2F0.1%2FOrganization&distinct=1 -- FOAF Organization instances modulo built-in Reasoning & Inference [2] http://lod.openlinksw.com/describe/?uri=http%3A%2F%2Fxmlns.com%2Ffoaf%2F0.1%2FOrganization&inf=urn%3Aequivalent%3Aclass%3Ainference%3Arules%3Ademo%3A2018%3A16%3A45 -- Ditto, but with built-in Reasoning & Inference by initializing inference rule identified by <urn:equivalent:class:inference:rules:demo:2018:16:45> . Links: [1] http://kidehen.blogspot.com/2014/02/class-equivalence-based-reasoning.html -- Built-In Reasoning & Inference using Class Equivalence Semantics [2] https://www.linkedin.com/pulse/simple-sparql-based-query-reasoning-inference-example-idehen/ -- Built-In Reasoning & Inference using British Royal Family relationship types [3] https://www.linkedin.com/pulse/reasoning-inference-using-british-royal-family-part-idehen/ -- Custom Reasoning & Inference (leveraging SPARQL as Rules Language via SPIN Vocabulary terms) a using British Royal Family relationship types -- 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 [email protected] https://lists.sourceforge.net/lists/listinfo/virtuoso-users
