Online Demos

Currenlty we offer two online demos, catering to both Description Logic and Logic Programming reasoning.

• The WSML DL Reasoner demo which utilizes the PELLET reasoning engine in order to support reasoning over WSML-DL ontologies.
• The WSML Rule Reasoner demo which utilizes either the IRIS or MINS reasoning engine (user discretion) in order to support reasoning over WSML-Flight and WSML-Rule ontologies.