February 23, 2015 – Euler/X list of commands
optional arguments:
-h, --help
show this help message and exit
-v
verbose mode
-p PROJECTNAME
project name for artificial example generator, by
default foo
-i [INPUTFILE [INPUTFILE ...]]
input file
-r INPUTDIR
input directory, by default ./
-w WORKINGDIR
working directory, by default ./
-o OUTPUTDIR
output directory, by default ./
-e ENCODE
encoding, supports both dlv and gringo by default mnpw
Options: mn, use polynomial encoding, get mir only
mnpw, use polynomial encoding, get possible worlds
mnve, use polynomial encoding, get valid euler regions
mncb, use polynomial encoding, get possible worlds
with combined concepts vr, use binary encoding, get
mir only vrpw, use binary encoding, get possible
worlds vrve, use binary encoding, get valid euler
regions
-b DL
dl encoding spare parameter
--reasoner REASONER choose a reasoner between dlv and gringo, by deafult
using dlv
--repair REPAIR
choose a repairing approach in case of inconsistency:
topdown, fix and output possible worlds bottomup, fix
and output possible worlds HST, ouput all MIRs
--mirall
generate all the relations including intra-/intertaxonomies (by default, inter-taxonomy only)
--cc
consistency check only
--dc
disable coverage globally, or use "nc" to do it in
some parent-child relation
--dd
disable sibling disjointness globally, can be used
with vr encoding only
--pdd
disable sibling disjointness partially, need to show
pairs in inputs, can be used with vr encoding only
--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 occurrence for each of rcc5
--rcgo
reduced containment graphs with overlaps
--pwcluster
output the distance between possible worlds
--simpcluster
simplify the possible world cluster, by default switch
off
--hierarchy
hierarchical aggregate view, by default switch off
-N
no output
-g
artificial 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
artificial articulation rel, used with -g
-I
generate an inconsistent example, used with -g
--iv
input visualization
--simpall
simplify the pw aggregate view
--artRem
articulation remover
--xia
extract input articulations
--diaglat DIAGLAT diagnostic lattice for inconsistent example
--addID [ADDID [ADDID ...]]
input wizard, addID
--addIsa ADDISA
input wizard, addIsa
--p2c P2C
input wizard, p2c
--p2ct [P2CT [P2CT ...]]
input wizard, p2c -t
--addArt ADDART
input wizard, addArt
--c2csv C2CSV
input wizard, c2csv
--addArtT [ADDARTT [ADDARTT ...]]
input wizard, addArt -t
--addRank ADDRANK input wizard, addRank
--mirStats [MIRSTATS [MIRSTATS ...]]
input wizard, mirStats
--version
show program's version number and exit