Maximilian Marx

Redesign error messages

1

Rework the way error messages are displayed to the user. Errors should ideally be easy to identify, be concise, yet still understandable. In particular, we might want to simplify the...

Implement handling of prefixes in the rule parser

2

The prefix handling code in the rule parser is currently incomplete. While prefixes are taken into account on parsing, there is, e.g., currently no way to obtain the original IRIs...

Currently, the parser requires one large `String` of everything to parse. Switch to `nom`'s incremental parsing, which should mostly be changing a few imports and possible handling some `Incomplete` errors,...

We want to have some kind of module, which is essentially a self-contained program with its own EDB and IDB predicates, separate from the rest. Invoking the module provides a...