Home
4sr is a branch of 4store where backward chained reasoning is implemented. Currently a subset of RDFS is supported. This set includes: rdfs:subClassOf, rdfs:subPropertyOf, rdfs:domain and rdfs:range. 4sr is just a different 4store code branch. At the moment is not merged but there are conversations to include 4sr within 4store's main distribution line.
- Backward Chained reasoning, no overhead added at the import phase, integrated with the 4store's latest implementation of SPARQL Update.
- 4store commands (4s-query and 4s-httpd) accept parameters to specify the inference constructors to use per query and by default.
- Support for both single node and clusters configuration.
- Support for SPARQL queries with named graphs, entailed statements are considered part of an entailed virtual graph eGraph.
- 4sr uses exactly the same data indexes as 4store main distribution, therefore no need to rebuild knowledge bases if you are already a 4store user.
Some background on 4store is needed in order to use 4sr. 4sr is basically 4store with some internal modifications. There are almost no differences between how you install and use 4sr and how you do it with 4store's main distribution. Therefore, you should know how to install 4store, create a database, import some data and query it. Also, it is important to be familiar with how 4store SPARQL Server works.
More expressions from OWL are planned to be added in the near future. The semantics in the TODO list to be implemented soon are: owl:sameAs, owl:TransitiveProperty and owl:InverseProperty.
4sr is developed and maintained by Manuel Salvadores. Manuel also invests time on improving 4store mainline source code where he's listed as a contributor.
This work is sponsored by the EnAKting project, project in which Manuel Salvadores is a Senior Research Fellow. Manuel can be contacted at 4store's IRC channel (irc://irc.freenode.net/#4store).
