Whelk on the Web

Whelk is an OWL EL+RL reasoner written in Scala. Whelk works best on the JVM, but here it is running directly in a browser, using Scala.js.

Ontology in OWL functional syntax (imports will not be followed):

Ontology parse error: No ontology provided

Reasoning results

Inferred subsumptions:

Inferred class assertions:

Inferred property assertions: