Prototypes details

NoHR 3.0 - Reasoning with Rules and Ontologies

Query answering over knowledge bases integrating description logic ontologies and non-monotonic reasoning rules with support for all OWL 2 Profiles (and beyond)

Date: 04 Jul 2017

Url: http://nohr.di.fct.unl.pt

Authors: Matthias Knorr, João Leite, Carlos Lopes