Skip to content

Overview of Euler/X toolkit commands

An overview of Euler/X toolkit commands, with examples of how and when to use. This post expands on the Euler/X introduction and demonstration video which show a linear pathway to producing a logically consistent multi-taxonomy alignment. Post in development.

Using Euler/X with Command Line

cd euler-project [shifts to tool]

hg pull [connects to remote repository]
hg update [updates local codebase]

cd [return to home/root directory]
cd example [shift to “example” folder]
cd abstract4 [shift to “abstract4” sub-folder]
cd../[directory name] [shifts to the named directory]

ls [list files in directory]

euler -i abstract4.txt -e mnpw [runs Euler program, mnpw version]

open abstract4_*.png [opens all PW output graphs]

command Q [exit the command line shell]


euler --help                             => Lists the available options.
euler -i example/abstract4.txt -e vr     => Computes the MIR using binary encoding.
euler -i example/abstract4.txt -e vrpw   => Computes all possible worlds using binary encoding.
euler -i example/abstract4.txt -e vrve   => Computes all valid Euler regions using binary encoding.
euler -i example/abstract4.txt -e mn     => Computes the MIR using polynomial encoding.
This is a good default option:
euler -i example/abstract4.txt -e mnpw   => Computes all possible worlds using polynomial encoding.
euler -i example/abstract4.txt -e mnve   => Computes all valid Euler regions using polynomial encoding.

More soon

NMF:~ NMF$ cd euler-project/
NMF:euler-project NMF$ euler --help
Usage: euler [options]
Options:
--version            show program's version number and exit
-h, --help           show this help message and exit
-v                   verbose mode
-p PROJECTNAME       project name
-i INPUTFILE         input file
-r INPUTDIR          input directory, by default ./
-o OUTPUTDIR         output directory, by default ./
-e ENCODE            encoding, e.g. mnpw, drpw, dlpw, etc.
-b DL                dl encoding spare parameter
--reasoner=REASONER  choose a reasoner
--repair=REPAIR      choose a repairing approach in case of inconsistency
--all                generate all the relations including intra-/inter-taxonomies (by default, inter-taxonomy only)
--cc                 consistency check only
--dc                 disable coverage
--ur                 turn on uncertainty reduction
--ho                 hide the concepts that are involved in overlapping, used with cb encoding
--ie                 inconsistency explanation
--ieo                white-box provenance
--countmir           count # of occurance for each of rcc5
--rcgo               Reduced containment graphs with overlaps
--pwcluster          output the distance between pairwise possible world
--simpcluster        simplify the possible world cluster
-N                   no output
-g                   artifitial example generator, cannot be used with -i option
-n NARY              N-nary, used with -g
-m NNODES            #nodes, used with -g
-d DEPTH             depth, used with -g
-t RELATION          artifitial articulaiton rel, used with -g
-I                   generate an inconsistent example, used with -g
--iv                 input visualization
--simpall            simplify the pw aggregate view
No comments yet

Leave a Reply

You may use basic HTML in your comments. Your email address will not be published.

Subscribe to this comment feed via RSS