Re: [Virtuoso-users] How I make an inference in Virtuoso?

On 8/16/16 3:08 PM, Eng.Bassam wrote: > > > Thanks Kingsley, > But the query1 doesn't make an inference > DEFINE input:inference 'urn:owl:inference:rules:tests' > PREFIX rel: > > SELECT * > FROM > > WHERE > { >

[Virtuoso-users] Reasoning & Inference in Virtuoso

All, Based on the frequency of these questions, here are two posts that shed light on the matter. Virtuoso 7.x and lower: Inference Rules aren't customizable. Thus, you have in-built support for RDF, RDFS, and OWL entity relationship type semantics i.e., we built implementation of inference rule

Re: [Virtuoso-users] How I make an inference in Virtuoso?

On 8/16/16 9:16 AM, Eng.Bassam wrote: > Hi > > Suppose I have an ontology for fruits: > Bana is Fruit. > Apple is Fruit. > > Also suppose I have other dataset that contains: > > Bassam eat Apple. > Husam eat Banana. > > Can I do following question (SPARQL query) using Virtuoso, Who eat Fruits? > th

Re: [Virtuoso-users] DESCRIBE does not return single owl:sameAs

On 16.08.16 16:38, Hugh Williams wrote: Hi Hugh, > Development indicated: > > They need to use a pragma due to the fact that DESCRIBE is a custom > CONSTRUCT that's poorly defined by W3C. For instance, you might only > have triples for which the entity being described is only the object > rather

Re: [Virtuoso-users] DESCRIBE does not return single owl:sameAs

Hi Adrian, Development indicated: They need to use a pragma due to the fact that DESCRIBE is a custom CONSTRUCT that's poorly defined by W3C. For instance, you might only have triples for which the entity being described is only the object rather than subject. Here's an example using "CBD" (Co

[Virtuoso-users] How I make an inference in Virtuoso?

Hi Suppose I have an ontology for fruits: Bana is Fruit. Apple is Fruit. Also suppose I have other dataset that contains: Bassam eat Apple. Husam eat Banana. Can I do following question (SPARQL query) using Virtuoso, Who eat Fruits? the answer must be Bassam and Husam, because there is an infer