Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.github/workflows		.github/workflows
docs		docs
linkml_datalog		linkml_datalog
tests		tests
.gitignore		.gitignore
Makefile		Makefile
README.md		README.md
mkdocs.yml		mkdocs.yml
poetry.lock		poetry.lock
pyproject.toml		pyproject.toml

Repository files navigation

linkml-datalog

Validation and inference over LinkML instance data using souffle

Documentation:

linkml.io/linkml-datalog/

About

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

linkml.io/linkml-datalog

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

Custom properties

Report repository

Releases 7

Packages

Contributors

Languages