https://github.com/langston-barrett/rdf-star-souffle
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
https://github.com/langston-barrett/rdf-star-souffle
datalog owl owl-reasoner rdf rdf-star rdfs souffle souffle-datalog-language
Last synced: 15 days ago
JSON representation
A toolkit for reasoning about RDF-star in Soufflé, including an OWL reasoner
- Host: GitHub
- URL: https://github.com/langston-barrett/rdf-star-souffle
- Owner: langston-barrett
- License: mit
- Created: 2022-12-25T14:37:44.000Z (over 2 years ago)
- Default Branch: main
- Last Pushed: 2022-12-28T20:55:17.000Z (over 2 years ago)
- Last Synced: 2025-03-31T17:11:29.878Z (about 1 month ago)
- Topics: datalog, owl, owl-reasoner, rdf, rdf-star, rdfs, souffle, souffle-datalog-language
- Language: Rust
- Homepage:
- Size: 6.84 KB
- Stars: 5
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
README
# rdf-star-souffle
rdf-star-souffle is a toolkit for importing and reasoning about
[RDF-star][rdf-star] data in [Soufflé][souffle]. It consists of a few parts:
- A tool for ingesting N-Triples-star syntax and emitting Soufflé-compatible
CSV files (`rdf-star-facts`)
- Soufflé types and relations for ingesting RDF-star data
- A Soufflé implementation of an RDFS reasone
- A Soufflé implementation of an OWL reasoner
This project is a work-in-progress. The reasoners are not yet implemented.
[rdf-star]: https://www.w3.org/2021/12/rdf-star.html
[souffle]: https://souffle-lang.github.io/index.html