datalog to sparql converter for inferencing? #5328
Replies: 4 comments 3 replies
-
Hey, that would be very interesting! I'm wondering how much of the underlying infrastructure could be reused. Maybe parse Datalog to SPARQL AST? If this is at all possible... Certainly Datalog would be nicer to use than RDFS in many scenarios. Apache Jena has a Datalog engine, but I've never used it: https://jena.apache.org/documentation/inference/#RULEbackward |
Beta Was this translation helpful? Give feedback.
-
I have read that one can implement datalog in owl-rl. And a lot of owl-rl
in Sparql+recursion. So significant reuse should be possible.
Jerven Bolleman
***@***.***
…On Fri, 9 May 2025, 18:24 Piotr Sowiński, ***@***.***> wrote:
Hey, that would be very interesting! I'm wondering how much of the
underlying infrastructure could be reused. Maybe parse Datalog to SPARQL
AST? If this is at all possible...
Certainly Datalog would be nicer to use than RDFS in many scenarios.
Apache Jena has a Datalog engine, but I've never used it:
https://jena.apache.org/documentation/inference/#RULEbackward
—
Reply to this email directly, view it on GitHub
<#5328 (comment)>,
or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAHQYFNOEZ2JKJYJMWAIZID25TJFLAVCNFSM6AAAAAB4ZDFYAGVHI2DSMVQWIX3LMV43URDJONRXK43TNFXW4Q3PNVWWK3TUHMYTGMBZGM4DKNQ>
.
You are receiving this because you are subscribed to this thread.Message
ID: ***@***.***
com>
|
Beta Was this translation helpful? Give feedback.
-
The SHACL Working Group is looking at rules. It's early days but it's starting from the ideas of the SHACL Advanced Features (Note) rules. |
Beta Was this translation helpful? Give feedback.
-
Anybody wanting to play with mathematical rules may have a look at: https://github.com/numerateweb/numerateweb-rdf4j |
Beta Was this translation helpful? Give feedback.
Uh oh!
There was an error while loading. Please reload this page.
-
Hey all, wanted to get a sense from the community the utility of being able to translate datalog to sparql for use in writing inferencing rules. I know RDFox has used datalog for their inferencing approach to pretty good success. Has there been any past discussions about some type of rules engine integration with rdf4j to tackle inferencing?
As an aside, mangle (https://github.com/google/mangle) may also be a decent replacement for datalog.
Beta Was this translation helpful? Give feedback.
All reactions