de.unima.alcomox.ontology
Class EfficientReasoner

java.lang.Object
  de.unima.alcomox.ontology.AlcomoReasoner
      de.unima.alcomox.ontology.EfficientReasoner

public class EfficientReasoner
extends AlcomoReasoner

This class represents a reasoner for efficient pairwise but incomplete conflict detection. It is the main type of structural reasoning used within the alcomo systems to avoid the complexity of full reasoning.

Field Summary

static boolean

TEST_INTERVALTREE_MODE

Fields inherited from class de.unima.alcomox.ontology.AlcomoReasoner

extractionProblem, log, sourceOntology, targetOntology

Constructor Summary

EfficientReasoner(LocalOntology sourceOntology, LocalOntology targetOntology, ExtractionProblem extractionProblem)
Constructs an reasoner for efficient pairwise but incomplete conflict detection.

Method Summary

boolean	conflictsWithMapping(Correspondence candidate, Mapping mapping)
double	estimateConflictSensitivity(Correspondence c, int exactness) Estimates the conflict sensitivity by drawing a sample of randomly generated correspondences.
boolean	isConflictPair(Correspondence c1, Correspondence c2) Checks wether two correspondences are in conflict.
boolean	isConflictSet(Mapping mapping)

Methods inherited from class java.lang.Object

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

Field Detail

TEST_INTERVALTREE_MODE

public static boolean TEST_INTERVALTREE_MODE

Constructor Detail

EfficientReasoner

public EfficientReasoner(LocalOntology sourceOntology,
                         LocalOntology targetOntology,
                         ExtractionProblem extractionProblem)

Constructs an reasoner for efficient pairwise but incomplete conflict detection.

Parameters:

sourceOntology - Source ontology.

targetOntology - Target ontology.

extractionProblem - The extraction problem that this reasoner is used for.

Method Detail

conflictsWithMapping

public boolean conflictsWithMapping(Correspondence candidate,
                                    Mapping mapping)

isConflictSet

public boolean isConflictSet(Mapping mapping)

isConflictPair

public boolean isConflictPair(Correspondence c1,
                              Correspondence c2)

Checks wether two correspondences are in conflict. These check is incomplete. There might be pairs of correspondences that induce inconsistencies that is not detected by this method.

Parameters:

Some - correspondence.

Another - correspondence.

Returns:

True if both correspondences are in conflict, false if they are not n conflict or if the conflict cannot be detected.

estimateConflictSensitivity

public double estimateConflictSensitivity(Correspondence c,
                                          int exactness)
                                   throws CorrespondenceException

Estimates the conflict sensitivity by drawing a sample of randomly generated correspondences.

Parameters:

c - A correspondence for which conflict sensitivity has to be computed.

exactness - The size of the sample in number of randomly generated correspondences.

Returns:

A probabaility for c to in in a conflict with a randomly generated correspondence.

Throws:

CorrespondenceException