Euler Reasoning Tool

General commands

Note: Run the new command line interface starts with euler2 while the old command line interface start with euler. To see all EulerX commands, please use

• euler -h
• euler2 -h

The basic commands (run taxonomy alignment problem) are

• euler -i INPUT.TXT [-e ENCODINGS] [--reasoner=REASONER] [OTHER_OPTIONS]
• euler2 align INPUT.TXT [-e ENCODINGS] [-r REASONER] [OTHER_OPTIONS]

Consistent example: abstract4

• Input visualization

• euler -i abstract4.txt --iv

• euler2 show abstract4.txt iv

• Get all possible worlds (individual pw view and summary view) and polynomial encoding:

• Using DLV:

  • euler -i abstract4.txt -e mnpw
  • euler2 align abstract4.txt -e mnpw

• Using Potassco:

  • euler -i abstract4.txt -e mnpw --reasoner=gringo
  • euler2 align abstract4.txt -e mnpw -r gringo

• Support combined concept:

• euler -i abstract4.txt -e mncb

• euler2 align abstract4.txt -e mncb

Inconsistent example: coverage

• Black-box inconsistency repair

• euler -i coverage.txt -e mnpw --repair=topdown

• euler -i coverage.txt -e mnpw --repair=HST, this will give you MIS

• euler2 align coverage.txt -e mnpw --fouineone, this will give you MIS, MCS, MUS, MAA

• Mixed black-box/white-box inconsistency repair, this will give you MIS

• euler -i coverage.txt -e mnpw --ie

• euler2 align coverage.txt -e mnpw --ie

Use-cases of examples

Input visualizations (Examples abstract4):

The input txt file:

taxonomy 1 Taxonomy1
(A B C D E)

taxonomy 2 Taxonomy2
(A B D F G)

articulation abs abstract
[1.A {is_included_in equals} 2.A]
[1.B equals 2.B]
[1.C {is_included_in overlaps} 2.F]
[1.D equals 2.D]
[1.E {equals overlaps} 2.G]

The input visualization:

The command line:

• euler -i abstract4.txt --iv
• euler2 show abstrac4.txt iv

Inconsistency analysis (Example coverage)

By performing a model-based diagnosis, we can find the minimal inconsistent subset (MICS), which shows which articulations are inconsistent, and maximal consistent subset (MCS), which directs us to solving the inconsistency. The command line

• lattice.sh coverage.txt

The lattice visualization
In the above figure, solid red octagons and solid green boxes, in order, denote MIS and MCS. or, in new command line interface

• euler2 align coverage.txt --fourinone

The four-in-one lattice visualization

The consistent example (Example abstract4)

Individual / summary-view possible worlds visualization The command line:

• euler -i abstract4.txt -e mnpw
• euler2 show pw after running alignment problem

The visualization of summary-view of “all worlds”

Possible worlds cluster The command line:

• euler -i abstract4.txt -e mnpw --pwcluster --simpcluster
• euler2 show sv showing summary view, after running alignment problem and showing possible worlds