RTEC: Run-Time Event Calculus

By Alexander Artikis RTEC is an open-source Event Calculus dialect optimised for data stream reasoning. It is written in Prolog and has been tested under YAP and SWI Prolog. GitHub repository: https://github.com/aartikis/RTEC Features Interval-based. Sliding window reasoning. Interval manipulation constructs…

In memoriam: Harold Boley

We sadly announce the passing of Harold Boley, a friendly colleague, AI researcher and initiator of RuleML meetings and  community. Our condolescences to his family, friends, and collaborators.     The Rule ML community has written a detailed and heartfelt…

TPLP Changes

On behalf of the TPLP Editor in Chief, Mirek Truszczynski. Effective January 1st, 2021, the following changes will take place on the areas of TPLP: The area of “Theory” will be renamed to “Theoretical Foundations” The area of “Inductive Logic…

DaRLing: a Datalog OWL 2 RL Rewriter

By Alessio Fiorentino, Marco Manna, and Jessica ZangariUniversity of Calabria, Rende, Italy ABSTRACT Ontology-mediated query answering (OMQA) is an emerging paradigm atthe basis of many semantic-centric applications. In this setting, a conjunctive query has to be evaluated against a knowledge…