A tool for transforming SWRL rule bases in OWL ontologies to object-oriented SPIN rules in SWI-Prolog read more of SWRL2SPIN

A solver the HEX language which combines Logic Programming with Python-based plugins. read more of Hexlite

Datalog rewriter for defeasible multi-relational Contextualized Knowledge Repositories in OWL RL read more of CKRew - CKR datalog rewriter

Strabon is a spatiotemporal RDF store. read more of Strabon

S-LOR (Sensor-based Linked Open Rules) read more of Linked Open Reasoning

A web-based and mobile ready platform for visualizing time-evolving linked geospatial data. read more of Sextant

GeoTriples is a tool for transforming geospatial data from their original formats into RDF. read more of GeoTriples

A full implementation of the Institutional Analysis and Development framework. read more of ngames

The Force Behind Entity Resolution. Perform State Of The Art Entity Resolution With The Java Generic Data Integration Toolkit. read more of JedAI

Evaluates a partially given Sudoku Grid with respect to solvability and provides partial solutions or conflicts as feedback. read more of Sudoku Design Evaluator

REST web service simulating the Wumpus World intelligent agent environment popularised by Russell & Norvig's seminal textbook Artificial Intelligence: A Modern Approach. read more of Wumpus World Simulator

A dataset from Earth Observation, Machine Learning models and vineyard data, in the form of a Knowledge Graph. read more of AI4Agri Knowledge Graph