Re: [rdf4j-dev] Faster RDFS forward chaining inferencer

[Peter Ansell <ansell.peter@xxxxxxxxx>]

I haven't looked deeply into the way those reasoner tests work so I am
not sure how much effort it would take but you should be able to
modify the tests to be designed around two sources and then accept a
single Repository for both for the existing implementation and set the
two up to be different for yours.

The RepositoryConnectionTest code does fairly basic Repository API
checks that don't presume any reasoning so you should be able to
directly reuse (most of) it unless I am missing something vital. They
are to check that you are implementing the Sail API in a way that is
compatible with the high level Repository API. If one of the tests
isn't able to complete for your implementation then we could
@Override+@Ignore it in your test but that shouldn't stop you reusing
most of the test suite for regression testing.

Cheers,

Peter

On 23 August 2016 at 02:59, Håvard M. Ottestad <hmottestad@xxxxxxxxx> wrote:
> Hi Peter,
>
> Thanks for getting back to me.
>
> I took a quick look at these and I’m wondering if you have any tests where
> the tbox and abox are split. The tests from InferencingTest and
> RDFSchemaRepositoryConnectionTest both mix the tbox and abox.
>
> FastRdfsForwardChainingSail creates a set of hashmaps to do lookups based on
> the tbox, so that the contents of the abox can be streamed through to create
> inferences. This is the main reason why it’s so fast.
>
> If you don’t have any tests where the tbox and abox are split, I’ll have to
> make new ones or possibly modify my reasoner.
>
> Håvard
>
> On Monday 22 August 2016 at 01:27, Peter Ansell wrote:
>
> Hi Håvard,
>
> It would be great to have some work done on the RDFS inferencer to improve
> it.
>
> Once you are happy with the basic state enough to open a pull request
> then let us know and we can advise which branch to target it to. At
> this stage it will likely be the master branch (2.1-SNAPSHOT) as this
> is a fairly large feature.
>
> Can you add an src/test/java/... folder to your repository and
> copy/modify the tests that we are running on the current RDFS
> inferencer to your repository:
>
> https://github.com/eclipse/rdf4j/blob/master/compliance/store/src/test/java/org/eclipse/rdf4j/sail/memory/MemInferencingTest.java
>
> https://github.com/eclipse/rdf4j/blob/master/compliance/store/src/test/java/org/eclipse/rdf4j/sail/nativerdf/NativeStoreInferencingTest.java
>
> https://github.com/eclipse/rdf4j/blob/master/compliance/store/src/test/java/org/eclipse/rdf4j/repository/sail/nativerdf/RDFSchemaNativeRepositoryConnectionTest.java
>
> https://github.com/eclipse/rdf4j/blob/master/compliance/store/src/test/java/org/eclipse/rdf4j/repository/sail/memory/RDFSchemaMemoryRepositoryConnectionTest.java
>
> https://github.com/eclipse/rdf4j/blob/master/compliance/store/src/test/java/org/eclipse/rdf4j/repository/sail/memory/SpinRDFSMemoryRepositoryConnectionTest.java
>
> You will need to add a test scope module to pom.xml for
> rdf4j-store-testsuite to pull the relevant abstract test classes in
> for those to compile.
>
> Cheers,
>
> Peter
>
> On 19 August 2016 at 19:54, Håvard Ottestad <hmottestad@xxxxxxxxx> wrote:
>
> Hi,
>
> I have been working on a faster (20-30x) RDFS inferencer sail that
> calculates all types and properties up front from a schema/ontology and then
> adds inferences as ABox statements are added.
>
> I would love an opinion on this and if it is worth including in the rdf4j
> project.
>
> https://github.com/hmottestad/FastRdfsForwardChainingSail
>
> Currently there is no support for updating the sail and refreshing the
> inferred triples.
>
> Regards,
> Håvard M. Ottestad
> _______________________________________________
> rdf4j-dev mailing list
> rdf4j-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from
> this list, visit
> https://dev.eclipse.org/mailman/listinfo/rdf4j-dev
>
> _______________________________________________
> rdf4j-dev mailing list
> rdf4j-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from
> this list, visit
> https://dev.eclipse.org/mailman/listinfo/rdf4j-dev
>
>
>
> _______________________________________________
> rdf4j-dev mailing list
> rdf4j-dev@xxxxxxxxxxx
> To change your delivery options, retrieve your password, or unsubscribe from
> this list, visit
> https://dev.eclipse.org/mailman/listinfo/rdf4j-dev
>