FuXi has e.g. N3RuleStore(Store). And N3 Formula; any reason not to de-mothball FuXi?
https://github.com/RDFLib/FuXi/blob/master/lib/Rete/RuleStore.py#L148 "Merging outstanding Pull Requests and gjhiggins' branch" #15 https://github.com/RDFLib/FuXi/issues/15 On Sun, Oct 10, 2021, 14:32 Drew Perttula <[email protected]> wrote: > > On 10/10/21 5:54 AM, Nicholas Car wrote: > > Hi all, > > > > I've just made a very tiny release of rdflib, 6.0.2, and also of > > OWL-RL, using the same version number. The rdflib release was to > > enable the OWL-RL release. > > > > I am slowly creeping OWL-RL towards a major update in which other OWL > > profiles may be implemented, the OWL-RL implementation will be checked > > for missed bits and perhaps the package will be renamed to something > > more generic like rdflib-reasoner. > > > > FYI I'm working on a general reasoner (n3 formulae, etc) for my home > automation projects. > > https://github.com/drewp/homeauto/blob/master/service/mqtt_to_rdf/inference_test.py > shows the kinds of tests it can pass so far. It's hardly releasable yet, > but I will be happy to share/contribute it. > > > -- > http://github.com/RDFLib > --- > You received this message because you are subscribed to the Google Groups > "rdflib-dev" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/rdflib-dev/37ed9863-620f-e98f-32a6-f2a884180f46%40bigasterisk.com > . > -- http://github.com/RDFLib --- You received this message because you are subscribed to the Google Groups "rdflib-dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/rdflib-dev/CACfEFw9fF3DUAGn-TeU0FtieQ9GBdKqqVFLb%3DtFHrgLrJqh_eg%40mail.gmail.com.
