knowsys/rulewerk knowsys/rulewerk

  • Stars
    star
    32
  • Rank 801,539 (Top 16 %)
  • Language
    Java
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated 6 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
knowsys/rulewerk
github

knowsys

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Java library based on the VLog rule engine

More Repositories

1

nemo

A fast in-memory rule engine
Rust
72
star
2

FormaleSysteme

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden
TeX
42
star
3

Course-Knowledge-Graphs

Test data and example source code for the Knowledge Graphs lecture 2023/24
HTML
30
star
4

TheoLog

Vorlesungsunterlagen "Theoretische Informatik und Logik", Fakultät Informatik, TU Dresden
TeX
20
star
5

Formale-Systeme-in-LEAN

LEAN4 formalization of the undergraduate lecture "Formale Systeme" at TU Dresden (WIP)
Lean
7
star
6

CertifyingDatalog

A certified checker for Datalog entailments, written in Lean
Lean
7
star
7

nemo-web

Web frontend for the Nemo rules engine
TypeScript
3
star
8

2022-ISWC-reliances

C++
2
star
9

nemo-examples

Benchmarks and examples for the Nemo rule reasoner
Python
2
star
10

rulewerk-language-suppport

A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).
TypeScript
1
star