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

I don't see any need for inference here. It's not clear whether Apple is a class or an individual. If it's an individual, and that's what definitely follows from :Bassam :eat :Apple then I read your first triple as :Apple rdf:type :Fruit and the query would be SELECT ?s WHERE { ?s :eats ?x .

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 > { >

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

[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