evonne

evonne is a tool for explaining logical consequences of OWL ontologies as well as debugging unwanted consequences.

Your Projects

Create a new project by uploading an ontology and specifying an inferrence, or select an existing project to continue where you left off.

Play Around

Select one of the available examples to get acquainted with the tool without previous setup.

1. Difference Equations - Infinite Solutions (1)

2. Difference Equations - Unsatisfiable (1)

3. Difference Equations - Infinite Solutions (2)

4. Difference Equations - Unsatisfiable (2)

5. Linear Equations - Infinite Solutions (1)

6. Linear Equations - No solution (1)

7. Linear Equations - Infinite Solutions (2)

8. Linear Equations - No solution (2)

[BENCHMARK]: Case 0

[BENCHMARK]: Case 1

[BENCHMARK]: Case 10

[BENCHMARK]: Case 11

[BENCHMARK]: Case 12

[BENCHMARK]: Case 13

[BENCHMARK]: Case 14

[BENCHMARK]: Case 15

[BENCHMARK]: Case 16

[BENCHMARK]: Case 17

[BENCHMARK]: Case 18

[BENCHMARK]: Case 19

[BENCHMARK]: Case 2

[BENCHMARK]: Case 20

[BENCHMARK]: Case 21

[BENCHMARK]: Case 22

[BENCHMARK]: Case 23

[BENCHMARK]: Case 24

[BENCHMARK]: Case 25

[BENCHMARK]: Case 26

[BENCHMARK]: Case 27

[BENCHMARK]: Case 28

[BENCHMARK]: Case 29

[BENCHMARK]: Case 3

[BENCHMARK]: Case 30

[BENCHMARK]: Case 31

[BENCHMARK]: Case 32

[BENCHMARK]: Case 33

[BENCHMARK]: Case 34

[BENCHMARK]: Case 35

[BENCHMARK]: Case 36

[BENCHMARK]: Case 37

[BENCHMARK]: Case 38

[BENCHMARK]: Case 39

[BENCHMARK]: Case 4

[BENCHMARK]: Case 40

[BENCHMARK]: Case 45

[BENCHMARK]: Case 5

[BENCHMARK]: Case 50

[BENCHMARK]: Case 51

[BENCHMARK]: Case 52

[BENCHMARK]: Case 53

[BENCHMARK]: Case 54

[BENCHMARK]: Case 55

[BENCHMARK]: Case 56

[BENCHMARK]: Case 57

[BENCHMARK]: Case 58

[BENCHMARK]: Case 59

[BENCHMARK]: Case 6

[BENCHMARK]: Case 60

[BENCHMARK]: Case 61

[BENCHMARK]: Case 62

[BENCHMARK]: Case 63

[BENCHMARK]: Case 64

[BENCHMARK]: Case 65

[BENCHMARK]: Case 66

[BENCHMARK]: Case 67

[BENCHMARK]: Case 68

[BENCHMARK]: Case 69

[BENCHMARK]: Case 7

[BENCHMARK]: Case 70

[BENCHMARK]: Case 71

[BENCHMARK]: Case 72

[BENCHMARK]: Case 73

[BENCHMARK]: Case 74

[BENCHMARK]: Case 75

[BENCHMARK]: Case 76

[BENCHMARK]: Case 77

[BENCHMARK]: Case 78

[BENCHMARK]: Case 79

[BENCHMARK]: Case 8

[BENCHMARK]: Case 80

[BENCHMARK]: Case 81

[BENCHMARK]: Case 82

[BENCHMARK]: Case 83

[BENCHMARK]: Case 84

[BENCHMARK]: Case 85

[BENCHMARK]: Case 86

[BENCHMARK]: Case 87

[BENCHMARK]: Case 88

[BENCHMARK]: Case 89

[BENCHMARK]: Case 9

[BENCHMARK]: Case 90

[BENCHMARK]: Case 91

[BENCHMARK]: Case 92

[BENCHMARK]: Case 93

[BENCHMARK]: Case 94

[BENCHMARK]: Case 95

[BENCHMARK]: Case 96

[BENCHMARK]: Case 97