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: 3 days 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 (over 3 years ago)
• Default Branch: main
• Last Pushed: 2024-02-14T22:53:58.000Z (about 1 year ago)
• Last Synced: 2025-04-13T15:05:15.439Z (13 days 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: 13
• 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/)