Hi Andy and Nicola, sending updates to the inference graph effectively triggers the inference. In my example it causes an AddDeniedException, because the UnionGraph is read-only. However, the inference is still executed.
@Nicola: Your solution sounds very interesting. I'm looking forward to your blog post! Background: We chose the described approach with two datasets and the UnionGraph because we'd like to separate the ontology, the original data and the reasoning results. By using the UnionGraph from the first dataset as the base graph for the inference dataset, we don't have to manually duplicate the original data. We need to keep track of the original data in different named graphs to be able to easily do CRUD operations at runtime. The inferenced graph is meant for querying. In order to expand the query results, the inference should resolve hierarchical relationships (rdfs:subClassOf, rdfs:subPropertyOf), equality statements (owl:sameAs) and perform classifications based on property restrictions (owl:Restriction). Best regards, Sascha >-----Original Message----- >From: Andy Seaborne <a...@apache.org> >Sent: Wednesday, April 29, 2020 10:09 AM >To: users@jena.apache.org >Subject: Re: Fuseki inference not triggered with incoming data > >Sascha, > >(aside) >For my general understanding: >What level of reasoning are you and your student interested in having? > >There is a tradeoff between inference expressiveness, performance (CPU >and RAM costs), how much development effect it would take for future >improvements. > >On 29/04/2020 08:18, Meckler, Sascha wrote: >> Hello Andy and Marco, >> >> the problem also applies to built-in reasoners. >> I tried Jena's OWLFBRuleReasoner, OWLMicroFBRuleReasoner and the >RDFSExptRuleReasoner. >> (See demo project: https://github.com/smeckler/inference- >demo/blob/master/src/main/resources/fuseki/config.ttl) > >Each of which has some forward rules. > >If you want to update the inference graph, send updates to the inference >graph. > > Andy > >> >> Thank you for your help! >> Best regards, >> Sascha >> >> >>> -----Original Message----- >>> From: Marco Neumann <marco.neum...@gmail.com> >>> Sent: Tuesday, April 28, 2020 7:12 PM >>> To: users@jena.apache.org >>> Subject: Re: Fuseki inference not triggered with incoming data >>> >>> so Sascha in short try to use one of the Jena build-in reasoners if this is >>> not bound to a pellet specific task. if it is you will have to bring this >>> request up with the pellet maintainers. >>> >>> On Tue, Apr 28, 2020 at 5:20 PM Andy Seaborne <a...@apache.org> >wrote: >>> >>>> >>>> >>>> On 27/04/2020 09:49, Meckler, Sascha wrote: >>>>> Hi *, >>>>> I have a question about Fuseki: >>>>> >>>>> We have a Fuseki server with one dataset for actual data and one >dataset >>>> with reasoning based on the default union graph (=data from first >dataset). >>>> When I insert new data into the first dataset, the inference is not always >>>> triggered. The reasoning dataset updates only at the first time or when >>>> restarting. How can we configurate Fuseki to run the inference every time >>>> that new data is inserted into the first dataset? Or is there a better way >>>> to do this? >>>> >>>> For forward rules, I think that the data updates have to go through the >>>> graph with the inference. Forward rules keep state so if you bypass >>>> inference the graph, the state does not get updated. >>>> >>>> Backwards rules may notice to some extent - I'm unsure of the details >here. >>>> >>>> Pellet isn't part of the Apache Jena project. >>>> >>>> Andy >>>> >>>>> >>>>> I created a small demo project with an easy example and additional >>>> documentation [1]. My student asked on StackOverflow [2] in January but >>>> there was no answer. >>>>> >>>>> Thank you very much for your help! >>>>> Best regards, >>>>> Sascha >>>>> >>>>> [1] https://github.com/smeckler/inference-demo >>>>> [2] >>>> https://stackoverflow.com/questions/59952945/reasoning-in-apache- >jena- >>> fuseki-reload-dataset-or-trigger-inference >>>>> >>>>> ______________________________________________________ >>>>> Sascha Meckler >>>>> Data Spaces and IoT Solutions >>>>> >>>>> Fraunhofer-Institut für Integrierte Schaltungen >>>> >>> ><https://www.google.com/maps/search/tut+f%C3%BCr+Integrierte+Schaltun >>> gen?entry=gmail&source=g> >>>> IIS >>>>> Nordostpark 93 | 90411 Nürnberg >>>>> >>>>> Phone +49 911 58061-9614 >>>>> >>>>> >>>> >>> -- >>> >>> >>> --- >>> Marco Neumann >>> KONA
