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

["Håvard M. Ottestad" <hmottestad@xxxxxxxxx>]

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