linkml / linkml-datalog Star 11 Code Issues Pull requests 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
rharish101 / PASS-Project Star 0 Code Issues Pull requests Mirror of the project repository for Program Analysis for System Security and Reliability at ETH Zürich for FS2021 taint-analysis solidity-contracts souffle-datalog-language Updated Aug 12, 2021 Python