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)

The command line

• lattice.sh coverage.txt

The lattice visualization

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