From users-return-19547-archive-asf-public=cust-asf.ponee.io@jena.apache.org Tue Mar 12 23:19:57 2019 Return-Path: X-Original-To: archive-asf-public@cust-asf.ponee.io Delivered-To: archive-asf-public@cust-asf.ponee.io Received: from mail.apache.org (hermes.apache.org [140.211.11.3]) by mx-eu-01.ponee.io (Postfix) with SMTP id 29A5C180600 for ; Wed, 13 Mar 2019 00:19:57 +0100 (CET) Received: (qmail 7429 invoked by uid 500); 12 Mar 2019 23:19:56 -0000 Mailing-List: contact users-help@jena.apache.org; run by ezmlm Precedence: bulk List-Help: List-Unsubscribe: List-Post: List-Id: Reply-To: users@jena.apache.org Delivered-To: mailing list users@jena.apache.org Received: (qmail 7417 invoked by uid 99); 12 Mar 2019 23:19:55 -0000 Received: from pnap-us-west-generic-nat.apache.org (HELO spamd3-us-west.apache.org) (209.188.14.142) by apache.org (qpsmtpd/0.29) with ESMTP; Tue, 12 Mar 2019 23:19:55 +0000 Received: from localhost (localhost [127.0.0.1]) by spamd3-us-west.apache.org (ASF Mail Server at spamd3-us-west.apache.org) with ESMTP id F2E2F1807E4 for ; Tue, 12 Mar 2019 23:19:54 +0000 (UTC) X-Virus-Scanned: Debian amavisd-new at spamd3-us-west.apache.org X-Spam-Flag: NO X-Spam-Score: 1.799 X-Spam-Level: * X-Spam-Status: No, score=1.799 tagged_above=-999 required=6.31 tests=[DKIMWL_WL_MED=-0.001, DKIM_SIGNED=0.1, DKIM_VALID=-0.1, DKIM_VALID_AU=-0.1, DKIM_VALID_EF=-0.1, HTML_MESSAGE=2, RCVD_IN_DNSWL_NONE=-0.0001, SPF_PASS=-0.001, URIBL_BLOCKED=0.001] autolearn=disabled Authentication-Results: spamd3-us-west.apache.org (amavisd-new); dkim=pass (2048-bit key) header.d=gmail.com Received: from mx1-lw-eu.apache.org ([10.40.0.8]) by localhost (spamd3-us-west.apache.org [10.40.0.10]) (amavisd-new, port 10024) with ESMTP id E8m7wGYaR83k for ; Tue, 12 Mar 2019 23:19:53 +0000 (UTC) Received: from mail-ot1-f53.google.com (mail-ot1-f53.google.com [209.85.210.53]) by mx1-lw-eu.apache.org (ASF Mail Server at mx1-lw-eu.apache.org) with ESMTPS id 4EB325F2F2 for ; Tue, 12 Mar 2019 23:19:52 +0000 (UTC) Received: by mail-ot1-f53.google.com with SMTP id q24so95629otk.0 for ; Tue, 12 Mar 2019 16:19:52 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20161025; h=mime-version:references:in-reply-to:from:date:message-id:subject:to :cc; bh=bOm4jfBaUzE3w8RFnPFxPAq7SttUXFP6ZZz6xgKEUTI=; b=Ing2y27NmW3kxn60ZZWzAMe2kDrJC9wC1dn4OFtj7yOPBFR06xgN06LPhel2O+yo1Y bEmcqCfL2My8EpyXZnPWjiitGarSn7PdkYCofP0F3ySxCKlw85zyFQ9B27daHjcDyG0R TfSeRUkvY7zwsLlxu43KFpqJnXuW6PVW+eKLFoNqst3dtZnjoQXnCcCBRJTyUvpNdzZ0 iztXfJkHX1C8Ce9/7trP/Pl3iDb910gPAMEuNSaC7vVrBP8ajicLTU9WcRTVLV6aM5vR dsLsjkXFL5yyCE/CSRfO0UK9hVdQVwvnjo6MbEcuF0JbPWkNNF2AYaKi0PzoJ0g0ub64 dYgw== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc; bh=bOm4jfBaUzE3w8RFnPFxPAq7SttUXFP6ZZz6xgKEUTI=; b=fnIdKh+Lfxmv6f/0PbAZbuI+R+Aeh4ClKF+KPKRtWk4LRIH9zMCXbacV1jBfdbgKHz YZc897rrrvO44pkY9JzZcElt/q7TDA2mU5OgHIUh7cz6tyAW8bom9kOe5e2PgzqxI4Uh KN2mzszFVchZNMRB2+RhpIYeNYGmUANxT1XrvFJN41fyh+I2rGb/nefhQ4s4LBUaByuh sqQskSxjC833kRKuZ33RmGYmtIO21hVOqAzuMIFUMUucJQQMyWZidJEQTbLo+kP22fZa iwGDg3odmA1j5W0oRjeOpt9MwKFxNSiS4lF2MzafU3lHxEBmvbVzP6qq83GflXjxhhON UcKg== X-Gm-Message-State: APjAAAVukJPLKaokYOK/taz0dYw8PJoy92497HtChimFhn/GAI/IW27S WPvMJOvKn7VswKK9tgsbP4qdGo+WsuoOUCC3F/dz/YF4RH8= X-Google-Smtp-Source: APXvYqzzFsIOt0p4oUHvoAdm5ye/Rj6xl6+/BfNsEvS3O+mTIKumUK0I4bNbyOsSUOcrUOfVZrEIliu6Z3Yh1+kzVqU= X-Received: by 2002:a05:6830:1292:: with SMTP id z18mr25499608otp.161.1552432790793; Tue, 12 Mar 2019 16:19:50 -0700 (PDT) MIME-Version: 1.0 References: <62AA196F-3ECB-466C-8C33-4796F38EBC09@apache.org> <8d45caf5-aa77-b484-a2b9-e1e76bb438b5@gmail.com> In-Reply-To: From: Adrian Walker Date: Tue, 12 Mar 2019 16:16:56 -0700 Message-ID: Subject: Re: [GenericRuleReasoner] inner workings To: users@jena.apache.org Cc: Marco Neumann Content-Type: multipart/alternative; boundary="00000000000008722d0583eded41" --00000000000008722d0583eded41 Content-Type: text/plain; charset="UTF-8" Marco, This might be of interest: www.executable-english.com/iblClient1.java HTH, -- Adrian On Tue, Mar 12, 2019 at 3:18 PM Marco Neumann wrote: > so what's your current recommendation for a superior third party rules > reasoner that works efficiently with the jena tooling? free & commercial > option welcome > > Marco > > > > On Mon 14. Jan 2019 at 19:16, Dave Reynolds > wrote: > > > Hi Barry, > > > > [Agreed that dev is probably the better place to discuss this.] > > > > The two engines in jena are indeed loosely styled on RETE and on tabled > > datalog. However, I wouldn't claim they were particularly complete or > > good implementations of either. So while looking at some of the source > > literature that inspired them might be helpful don't expect very much of > > what's covered in the literature to be present in the code. > > > > For RETE then the wikipedia article [1] is a good summary and source of > > starting references. I had a copy of the original Forgy paper [1](ref > > 1), among others,when I was doing the work. There has been a *lot* of > > work on improvements to RETE since the 80s and while there were times > > when we might have done a new forward engine using more modern > > techniques it never happened. > > > > For the backward engine the approach is a variant of SLG-WAM as used for > > XSB but highly highly simplified since we can't express general tuples > > or recursive data structures within jena's triples. A few google > > searches haven't turned up the exact paper that originally inspired the > > approach. The closest I've found are [2] and [3], which probably cover > > the same ground. > > > > Let me reinforce that the Jena engines are really simplified. They were > > enough to get the job done at the time (over a decade ago now) and have > > proved useful for some people since but I wouldn't want to defend any of > > the implementation choices. > > > > Dave > > > > [1] https://en.wikipedia.org/wiki/Rete_algorithm > > [2] > > > > > https://pdfs.semanticscholar.org/2078/96964ee85f983cd861a4f8c5dff0bfc9f03e.pdf > > [3] > > > > > https://pdfs.semanticscholar.org/6c6d/26e8fe1b755140ffcb57025b021a046b2a3b.pdf > > > > On 14/01/2019 16:33, ajs6f wrote: > > > I have no useful general information about the reasoning framework, but > > I am copying this over to dev@. Discussions of how to extend Jena > > definitely have a place there. > > > > > > ajs6f > > > > > >> On Jan 14, 2019, at 6:40 AM, Nouwt, B. (Barry) > > wrote: > > >> > > >> Hi all, I want to investigate the inner workings of the > > GenericRuleReasoner (with the purpose of extending it in the future). In > > Jena's documentation I read: > > >> > > >> "Jena includes a general purpose rule-based reasoner which is used to > > implement both the RDFS and OWL reasoners but is also available for > general > > use. This reasoner supports rule-based inference over RDF graphs and > > provides forward chaining, backward chaining and a hybrid execution > model. > > To be more exact, there are two internal rule engines one forward > chaining > > RETE engine and one tabled datalog engine - they can be run separately or > > the forward engine can be used to prime the backward engine which in turn > > will be used to answer queries." > > >> source: https://jena.apache.org/documentation/inference/#rules > > >> > > >> Apart from Jena's documentation, Jena's mailing lists and its source > > code, are there any resources that can better help me grasp what is > > happening inside the generic rule reasoner? For example, the text above > > mentions the forward chaining RETE engine and the tabled datalog engine, > > are there any scientific papers that I might read to better understand > > their inner workings? > > >> > > >> Maybe this question is better suited for the dev@jena.apache.org > > ? > > >> > > >> Regards, Barry > > >> This message may contain information that is not intended for you. If > > you are not the addressee or if this message was sent to you by mistake, > > you are requested to inform the sender and delete the message. TNO > accepts > > no liability for the content of this e-mail, for the manner in which you > > use it and for damage of any kind resulting from the risks inherent to > the > > electronic transmission of messages. > > > > > > -- > > > --- > Marco Neumann > KONA > --00000000000008722d0583eded41--