On 1/9/16 9:56 PM, Eng.Bassam wrote:
> Hi
> may be my question out of virtuoso, I don't know, wish someone answer
> me and thanks :)
>
> is there any way to make inference queries in SPARQL, i.e may be I
> have an ontology that have A is subclass from B also C owl:sameAS D
>
> how can I make inference queries? 
> get all B classes this will return also A classes (inheritance).
> get all D classes this will return also D classes (owl:sameAS) 
>
> thanks
>
> -- 
> -----------------------------------
> > Eng.Bassam Najeeb.
> >Software Engineer.

I've written a number of posts about this matter. Basically, Virtuoso
has in-built ability to perform reasoning and apply inference to the
following entity relationship types (relations): owl:sameAs (explicit
equivalence), owl:InverseFunctionalProperty (inferred equivalence),
owl:equivalentClass, owl:equivalentProperty, owl:inverseOf,
owl:SymmetricProperty, rdfs:subClassOf, and rdfs:subPropertyOf.

When dealing with inheritance (subsumption) you have to use named graphs
that contains rdfs:subClassOf, rdfs:subPropertyOf, owl:inverseOf,
owl:equiventClass, or owl:equivalentProperty as the basis for your
inference rule. Colloquially, graphs with Abox triples based on the
aforementioned relationship types need to be used as the basis for your
Virtuoso inference rules.

When dealing with inference based on owl:InverseFunctional or
owl:SymmetricProperty, you simply use an ontology that includes said
relations as the inference rules basis.

In the case of owl:sameAs, there is an in-built inference rule.

Links:

[1]
http://kidehen.blogspot.com/2014/01/demonstrating-reasoning-via-sparql.html
[2]
http://kidehen.blogspot.com/2014/02/class-equivalence-based-reasoning.html
[3] https://plus.google.com/+KingsleyIdehen/posts/711dfZYqGyA  -- 2011
post about use of inference & reasoning for DBpedia data cleansing .

Kingsley
>
>
> ------------------------------------------------------------------------------
> Site24x7 APM Insight: Get Deep Visibility into Application Performance
> APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
> Monitor end-to-end web transactions and take corrective actions now
> Troubleshoot faster and improve end-user experience. Signup Now!
> http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
>
>
> _______________________________________________
> 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

Attachment: smime.p7s
Description: S/MIME Cryptographic Signature

------------------------------------------------------------------------------
Site24x7 APM Insight: Get Deep Visibility into Application Performance
APM + Mobile APM + RUM: Monitor 3 App instances at just $35/Month
Monitor end-to-end web transactions and take corrective actions now
Troubleshoot faster and improve end-user experience. Signup Now!
http://pubads.g.doubleclick.net/gampad/clk?id=267308311&iu=/4140
_______________________________________________
Virtuoso-users mailing list
Virtuoso-users@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/virtuoso-users

Reply via email to