Prototypes details

  • NoHR 2.0 - Reasoning with Rules and Ontologies
  • Query answering over knowledge bases integrating description logic ontologies and non-monotonic reasoning rules with support for OWL 2 EL and OWL 2 QL and non-monotonic rules
  • 27 Oct 2015
  • http://nohr.di.fct.unl.pt
  • Matthias Knorr, João Leite, Nuno Costa