Translates LinkML schemas into Datalog programs and executes them using Souffle, enabling advanced validation and inference over instance data. ALPHA.
rules
validation
rdf
semantics
semantic-web
constraints
datalog
logic-programming
rule-language
reasoning
souffle-datalog-language
linkml
-
Updated
Feb 14, 2024 - Python