Input

Paste here the JSON export of your UML diagram.

Select a JSON version or type of XML.

Insert any OWLlink XML to be appended. See OWLlink Web page or the OWLlink specification.

Snippets:

Select the type of reasoning service.

Check the reasoner to use.

Output

The reasoner output is parsed and processed to create a JSON. The interface use this JSON to display information about the satisfiable elements on the diagram.

The reasoner receives the following as input.

The following is the reasoner output.

This is the complete answer received for the server.

Input

Entailment Queries

KB Entities

KB Status

Querying classes

Class hierarchy

Object properties

Data properties

About individuals

Properties related to individuals

Related individuals and instances

Individuals related to literals

KB management

Tells

Reasoner invocation

Output

Satisfiable

Reasoner input

Reasoner output

Errors

Complete Answer