Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Talk by Alex Ivliev

Location: APB 3027
Start: 20. June 2024 at 11:00 am
End: 20. June 2024 at 12:00 pm
Research group: Knowledge-Based Systems
Event series: Research Seminar Logic and AI
iCal

I give a short introduction to Nemo, a toolkit for rule-based reasoning and data processing that emphasises robustness and ease of use.

Nemo is a scalable and efficient main-memory reasoner that supports an expressive extension of Datalog with support for datatypes, existential rules, aggregates, and (stratified) negation. Built around this core is a versatile system of libraries and applications for interfacing with several data formats and programming languages, use as a web application, and IDE integration.

Join online: https://bbb.tu-dresden.de/rooms/n5w-ghp-qoq-kts/join

PDF