We present Nemo, a toolkit for rule-based reasoning and data processing that emphasises
robustness and ease of use. Nemo's core is a scalable and efficient main-memory reasoner …

We introduce the Riskman ontology & shapes for representing and analysing information
about risk management for medical devices. Risk management is concerned with taking …

Standpoint logic is a recently proposed modal logic framework that is well-suited for
multiperspective reasoning and ontology integration. For this reason, combinations of …

Standpoint linear temporal logic SLTL is a recent formalism able to model possibly
conflicting commitments made by distinct agents, taking into account aspects of temporal …

The KLM approach to defeasible reasoning introduces a weakened form of implication into
classical logic. This allows one to incorporate exceptions to general rules into a logical …

We present a tool for modelling and reasoning with knowledge from various diverse (and
possibly conflicting) viewpoints. The theoretical underpinnings are provided by enhancing …

Standpoint logics allow to represent multiple heterogeneous viewpoints in a unifying
framework based on modal logic. We propose to combine standpoint modalities with the …