[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
Re: [rdf4j-dev] OWL Reasoning
|
The reasoner is able to detect data and schema changes.
Best regards,
Ken
Von: rdf4j-dev <rdf4j-dev-bounces@xxxxxxxxxxx> im Auftrag von Håvard Ottestad via rdf4j-dev <rdf4j-dev@xxxxxxxxxxx>
Gesendet: Sonntag, Februar 4, 2024 12:09:52 PM
An: Matthew Nguyen <nguyenm9@xxxxxxx>
Cc: Håvard Ottestad <hmottestad@xxxxxxxxx>; rdf4j developer discussions <rdf4j-dev@xxxxxxxxxxx>
Betreff: Re: [rdf4j-dev] OWL Reasoning
Hi Matthew,
Yeah, I also think it’s datalog.
TopQuadrant developed SPIN a number of years ago, which uses SPARQL queries for inferring new triples. This didn’t work very well since there was basically no way to detect which SPARQL queries needed to run when data was inserted or removed.
I think that that’s why RDFox went with Datalog. Probably a lot easier to make an incremental reasoner that supports both insertions and deletions.
There is also the SHACL inference rule language. Kinda tacked on at the end and not really part of the standard. Not sure if anybody is supporting it outside of TopQuadrant.
Håvard
On 4 Feb 2024, at 11:21, Matthew Nguyen <nguyenm9@xxxxxxx> wrote:
Thanks Håvard, I believe RDFox uses datalog for its rules language. Are we recommending anything similar or does straight SPARQL seem sufficient?
On Saturday, February 3, 2024 at 05:37:45 PM EST, Håvard Ottestad <hmottestad@xxxxxxxxx> wrote:
Hi Matthew,
I’m not aware of any work done to try to integrate RDF4J with a full blown OWL reasoner.
When I was a student I played with Pellet and HermiT. I also looked into OWL API, which is a Java library for interacting with those reasoners. Bridging OWL API and RDF4J is probably the easiest way to go.
I wouldn’t really recommend an OWL reasoner. We tried to use the query rewriting OWL reasoner of Stardog in a big project, but performance was so bad that we ended up scrapping everything except for RDFS. It also looks like the new kid on the block, RDFox, prefers rules to OWL. From what I can deduce they don’t actually support OWL directly but instead translate it to rules, which means that the most they can support is OWL 2 RL.
I’ve actually only ever heard of a single successful project using OWL. That is a project at Aibel to model piping on an oil platform.
Cheers,
Håvard
On 2 Feb 2024, at 14:53, Matthew Nguyen via rdf4j-dev <rdf4j-dev@xxxxxxxxxxx> wrote:
Hey folks, has there ever been any discussions/design to implement an OWL reasoner into RDF4J. I noticed Jena had one but they say it's incomplete. If so, what was the outcome? If not, what are the groups thoughts/recommendation on the subject? tx
