Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Nemo: Your Friendly and Versatile Rule Reasoning Toolkit

Vortrag von Alex Ivliev

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