Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Vortrag von Alex Ivliev

Veranstaltungsort: APB 3027
Beginn: 20. Juni 2024 um 11:00
Ende: 20. Juni 2024 um 12:00
Forschungsgruppe: Wissensbasierte Systeme
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.

Weitere Infos unter: https://bbb.tu-dresden.de/rooms/n5w-ghp-qoq-kts/join