org.dllearner.utilities.examples

Class AutomaticNegativeExampleFinderOWL

java.lang.Object

org.dllearner.utilities.examples.AutomaticNegativeExampleFinderOWL

public class AutomaticNegativeExampleFinderOWL
extends Object

Constructor Summary

Constructors

Constructor and Description
AutomaticNegativeExampleFinderOWL(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fullPositiveSet, AbstractReasonerComponent reasoningService) takes as input a full positive set to make sure no negatives are added as positives

Method Summary

Modifier and Type	Method and Description
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getNegativeExamples(int neglimit, boolean forceNegLimit) see getNegativeExamples(int neglimit, boolean stable )
SortedSet<org.semanticweb.owlapi.model.OWLIndividual>	getNegativeExamples(int neglimit, boolean stable, boolean forceNegLimit) aggregates all collected neg examples CAVE: it is necessary to call one of the make functions before calling this OTHERWISE it will choose random examples
void	makeNegativeExamplesFromAllOtherInstances() just takes all other instances from the ontology, except the ones in the fullPositiveSet (see Constructor)
void	makeNegativeExamplesFromDomain(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole) misleading method name, examples are all instances from the a-Part of the atomicRole(a,b) it has nothing to do with the actual Domain class
void	makeNegativeExamplesFromParallelClasses(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveSet) NOT IMPLEMENTED YET, DO NOT USE makes negEx from classes, the posEx belong to.
void	makeNegativeExamplesFromRange(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole) misleading method name, examples are all instances from the b-Part of the atomicRole(a,b) it has nothing to do with the actual Range class
void	makeNegativeExamplesFromRelatedInstances(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> instances, String objectNamespace) NOT IMPLEMENTED YET, DO NOT USE makes neg ex from related instances, that take part in a role R(pos,neg) filters all objects, that don't use the given namespace
void	makeNegativeExamplesFromSuperClasses(org.semanticweb.owlapi.model.OWLClass concept) if pos ex derive from one class, then neg ex are taken from a superclass
void	makeNegativeExamplesFromSuperClasses(org.semanticweb.owlapi.model.OWLClass concept, int depth) if pos ex derive from one class, then neg ex are taken from a superclass CURRENTLY SAME METHOD AS makeNegativeExamplesFromSuperClasses(OWLClass concept) but works quite often

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

AutomaticNegativeExampleFinderOWL

public AutomaticNegativeExampleFinderOWL(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> fullPositiveSet,
                                         AbstractReasonerComponent reasoningService)

takes as input a full positive set to make sure no negatives are added as positives

Parameters:

fullPositiveSet -

reasoningService -

Method Detail

getNegativeExamples

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getNegativeExamples(int neglimit,
                                                                                 boolean forceNegLimit)

see getNegativeExamples(int neglimit, boolean stable )

Parameters:

neglimit -

getNegativeExamples

public SortedSet<org.semanticweb.owlapi.model.OWLIndividual> getNegativeExamples(int neglimit,
                                                                                 boolean stable,
                                                                                 boolean forceNegLimit)

aggregates all collected neg examples CAVE: it is necessary to call one of the make functions before calling this OTHERWISE it will choose random examples

Parameters:

neglimit - size of negative Example set, 0 means all, which can be quite large

stable - decides whether neg Examples are randomly picked, default false, faster for developing, since the cache can be used

forceNegLimit - forces that exactly neglimit instances are returned by adding more instances

makeNegativeExamplesFromAllOtherInstances

public void makeNegativeExamplesFromAllOtherInstances()

just takes all other instances from the ontology, except the ones in the fullPositiveSet (see Constructor)

makeNegativeExamplesFromRelatedInstances

public void makeNegativeExamplesFromRelatedInstances(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> instances,
                                                     String objectNamespace)

NOT IMPLEMENTED YET, DO NOT USE makes neg ex from related instances, that take part in a role R(pos,neg) filters all objects, that don't use the given namespace

Parameters:

instances -

objectNamespace -

makeNegativeExamplesFromParallelClasses

public void makeNegativeExamplesFromParallelClasses(SortedSet<org.semanticweb.owlapi.model.OWLIndividual> positiveSet)

NOT IMPLEMENTED YET, DO NOT USE makes negEx from classes, the posEx belong to. Gets all Classes from PosEx, gets Instances from these Classes, returns all

Parameters:

positiveSet -

makeNegativeExamplesFromSuperClasses

public void makeNegativeExamplesFromSuperClasses(org.semanticweb.owlapi.model.OWLClass concept)

if pos ex derive from one class, then neg ex are taken from a superclass

Parameters:

concept -

makeNegativeExamplesFromSuperClasses

public void makeNegativeExamplesFromSuperClasses(org.semanticweb.owlapi.model.OWLClass concept,
                                                 int depth)

if pos ex derive from one class, then neg ex are taken from a superclass CURRENTLY SAME METHOD AS makeNegativeExamplesFromSuperClasses(OWLClass concept) but works quite often

Parameters:

concept -

depth - PARAMETER CURRENTLY NOT USED, ONLY DIRECT SUPERCLASSES

makeNegativeExamplesFromDomain

public void makeNegativeExamplesFromDomain(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)

misleading method name, examples are all instances from the a-Part of the atomicRole(a,b) it has nothing to do with the actual Domain class

Parameters:

atomicRole -

makeNegativeExamplesFromRange

public void makeNegativeExamplesFromRange(org.semanticweb.owlapi.model.OWLObjectProperty atomicRole)

misleading method name, examples are all instances from the b-Part of the atomicRole(a,b) it has nothing to do with the actual Range class

Parameters:

atomicRole -