Re: [Virtuoso-users] OWL reasoning with custom rules?

2013-07-31 Thread Kingsley Idehen
On 7/31/13 8:33 AM, Jim McCusker wrote: Can you explain how SPARQL construct queries can be chained together as in forward chaining? I'm interested in doing something like that. You can use SPARQL 1.1 to for this pipeline with the end product ending up in a name graph of your choosing. Templ

Re: [Virtuoso-users] OWL reasoning with custom rules?

2013-07-31 Thread Jim McCusker
Can you explain how SPARQL construct queries can be chained together as in forward chaining? I'm interested in doing something like that. Thanks, Jim On Wednesday, July 31, 2013, Kingsley Idehen wrote: > On 7/31/13 7:29 AM, Hugh Williams wrote: > > Hi Kayhan, > > Virtuoso rule sets for setting

Re: [Virtuoso-users] OWL reasoning with custom rules?

2013-07-31 Thread Kingsley Idehen
On 7/31/13 7:29 AM, Hugh Williams wrote: Hi Kayhan, Virtuoso rule sets for setting up inference and reasoning can be setup as detailed at: http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html What we are missing right now is a custom rules (via views) feature that basically amounts to a

Re: [Virtuoso-users] OWL reasoning with custom rules?

2013-07-31 Thread Hugh Williams
Hi Kayhan, Virtuoso rule sets for setting up inference and reasoning can be setup as detailed at: http://docs.openlinksw.com/virtuoso/rdfsparqlrule.html Best Regards Hugh Williams Professional Services OpenLink Software, Inc. // http://www.openlinksw.com/ Weblog -- h

[Virtuoso-users] OWL reasoning with custom rules?

2013-07-29 Thread Kayhan Uludemirciler
Hello, we are trying to do some OWL reasoning based on owl:propertyChainAxiom. Since that predicate is not supported, is there a way to define external rules, so that the built-in reasoner can use them? Regards Kayhan Uludemirciler Softwareentwicklung SOHARD Software GmbH Würzburger Str. 19

[Virtuoso-users] OWL reasoning

2010-02-04 Thread Alexander Sidorov
Hello! Virtuoso 6.1 contains some new OWL semantics support. And it makes me happy :) But at the moment I do not understand how OWL semantics is integrated into Virtuoso (primarily RDFS) reasoner. Some questions: 1. What about things like owl:Thing, owl:Nothing, owl:TopDataProperty, owl:BottomData