############# How to generate the ABox batches

java -cp t-crowd-cli-4.0.0-SNAPSHOT.jar it.gilia.tcrowd.cli.TCrowd RandomTBoxAbsABox -ltbox 10 -lc 5 -qm 3 -pt 5 -pr 5 -a 100500 -i 100 -n 2 -t 5 -it 2

where:

 - ltbox = size of the TBox (# of concept inclusions)
 - lc = length concept inclusions
 - n = number of concepts and roles
 - qm = max cardinality
 - pr = probability of generating ridig roles
 - pt = probability of generating local roles
 - a  = number of ABox assertions taken from the space
 - i = number of individuals
 - t = max time
 - #it = number of iterations for each ABox generated

#### Running examples according to Table 2 in the submitted paper

N = 2

java -cp t-crowd-cli-4.0.0-SNAPSHOT.jar it.gilia.tcrowd.cli.TCrowd RandomTBoxAbsABox -ltbox 10 -lc 5 -qm 3 -pt 5 -pr 5 -a 100500 -i 100 -n 2 -t 5 -it 5

N = 4

java -cp t-crowd-cli-4.0.0-SNAPSHOT.jar it.gilia.tcrowd.cli.TCrowd RandomTBoxAbsABox -ltbox 15 -lc 5 -qm 3 -pt 5 -pr 5 -a 205000 -i 100 -n 4 -t 5 -it 5

N = 6

java -cp t-crowd-cli-4.0.0-SNAPSHOT.jar it.gilia.tcrowd.cli.TCrowd RandomTBoxAbsABox -ltbox 20 -lc 5 -qm 3 -pt 5 -pr 5 -a 310000 -i 100 -n 6 -t 5 -it 5

N = 50

java -Xmx4096m -cp t-crowd-cli-4.0.0-SNAPSHOT.jar it.gilia.tcrowd.cli.TCrowd RandomTBoxAbsABox -ltbox 150 -lc 5 -qm 3 -pt 5 -pr 5 -a 3015000 -i 100 -n 50 -t 5 -it 5


############ How to run solvers on the abstraction generated

./ABSN.sh {folderN} {iterationfolder}

where:

 - folderN = path to folder for each N (2,4,6,50)
 - iterationfolder = path to a particular iteration in folderN

#### Running example

./ABSN.sh abstraction-code/N2/ abstraction-code/N2/1/1/