https://github.com/linkml/linkml-datalog

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
https://github.com/linkml/linkml-datalog

constraints datalog linkml logic-programming rdf reasoning rule-language rules semantic-web semantics souffle-datalog-language validation

Last synced: 2 months ago
JSON representation

Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.

• Host: GitHub
• URL: https://github.com/linkml/linkml-datalog
• Owner: linkml
• Created: 2021-12-10T20:59:18.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-14T22:53:58.000Z (11 months ago)
• Last Synced: 2024-04-26T08:22:18.642Z (9 months ago)
• Topics: constraints, datalog, linkml, logic-programming, rdf, reasoning, rule-language, rules, semantic-web, semantics, souffle-datalog-language, validation
• Language: Python
• Homepage: https://linkml.io/linkml-datalog
• Size: 705 KB
• Stars: 11
• Watchers: 3
• Forks: 0
• Open Issues: 1
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# linkml-datalog

Validation and inference over LinkML instance data using souffle

Documentation:

 * [linkml.io/linkml-datalog/](https://linkml.io/linkml-datalog/)