knowsys/Course-Knowledge-Graphs knowsys/Course-Knowledge-Graphs

  • Stars
    star
    30
  • Rank 839,658 (Top 17 %)
  • Language
    HTML
  • Created about 6 years ago
  • Updated 10 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
knowsys/Course-Knowledge-Graphs
github

knowsys

Reviews

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

Repository Details

Test data and example source code for the Knowledge Graphs lecture 2023/24

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

rulewerk

Java library based on the VLog rule engine
Java
32
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