// declare some prefixes to use as abbreviations
prefixes = [ ("ex","http://dl-learner.org/test/doubles#") ]

// knowledge source definition
ks.type = "OWL File"
ks.fileName = "doubles.owl"

// reasoner
reasoner.type = "closed world reasoner"
reasoner.sources = { ks }

// learning problem
lp.type = "posNegStandard"
lp.positiveExamples = { "ex:N1", "ex:N2", "ex:N3" }
lp.negativeExamples = { "ex:N100", "ex:N102", "ex:N104" }

// create learning algorithm to run
alg.type = "celoe"
alg.maxExecutionTimeInSeconds = 1

