Re: [DL-Learner discussion] Learning A Super Class

[Lorenz B. <spo...@st...>]

/**
 * Father Example
 *
 * possible solution:
 *   male AND EXISTS hasChild.TOP
 *
 * Copyright (C) 2007, Jens Lehmann
 */

// declare some prefixes to use as abbreviations
prefixes = [ ("ex","http://www.cra.com/ontologies/test.owl#") ]

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

// reasoner
reasoner.type = "fast instance checker"
reasoner.sources = { ks }

// learning problem
lp.type = "posNegStandard"
lp.positiveExamples = { "ex:iS4123", "ex:iS9123", "ex:iS1236", "ex:iS1238" }
lp.negativeExamples = { "ex:iS4125",
"ex:iS213",
"ex:iS132", 
"ex:iS678",
"ex:iS14253",
"ex:iS789",
"ex:iS237",
"ex:iS1245",
"ex:iS128",
"ex:iS236"
}

// create learning algorithm to run
alg.type = "ocel"