de.unima.alcomox.ontology
Class CompleteReasoner

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

public class CompleteReasoner
extends AlcomoReasoner

This class represents a complete reasoner for conflict detection in mappings. It is complete for correspondences connecting classes with classes and object properties with object properties. For data properties what is meant by completeness is explained in some paper.

Field Summary

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

extractionProblem, log, sourceOntology, targetOntology

Constructor Summary

CompleteReasoner(LocalOntology sourceOntology, LocalOntology targetOntology, ExtractionProblem extractionProblem)
Constructs an reasoner for complete conflict detection.

Method Summary

void	attachValidatedMapping(Mapping mapping) Adds a validated mapping that will be used in reasoning in a fixed way.
Mapping	getConflictSet(Mapping mapping)
MergedOntology	getMergedOntology()
java.util.Set<org.semanticweb.owlapi.model.OWLClass>	getUnsatisfiableClasses(Mapping mapping) A complete method for computing the set of all unsatisfiable classes in the merged ontology..
boolean	isConflictSet(Mapping mapping) A complete method for checking if a set of correspondences induces a conflict.
void	resetValidatedMapping() Removes an (incrementally) attached validated mapping.
Correspondence	searchInvalidCorrespondence(Mapping mapping) Searches binary and returns a correspondence being part of a conflict.

Methods inherited from class java.lang.Object

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

Constructor Detail

CompleteReasoner

public CompleteReasoner(LocalOntology sourceOntology,
                        LocalOntology targetOntology,
                        ExtractionProblem extractionProblem)
                 throws AlcomoException

Constructs an reasoner for complete conflict detection.

Parameters:

sourceOntology - Source ontology.

targetOntology - Target ontology.

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

Throws:

AlcomoException

Method Detail

isConflictSet

public boolean isConflictSet(Mapping mapping)
                      throws AlcomoException

A complete method for checking if a set of correspondences induces a conflict.

Parameters:

mapping - The mapping that is checked for conflicts

Returns:

True if the mapping is induces a conflict.

Throws:

AlcomoException - Thrown if the merging if the ontologies fails.

getConflictSet

public Mapping getConflictSet(Mapping mapping)
                       throws OntologyException

Throws:

OntologyException

getUnsatisfiableClasses

public java.util.Set<org.semanticweb.owlapi.model.OWLClass> getUnsatisfiableClasses(Mapping mapping)
                                                                             throws AlcomoException

A complete method for computing the set of all unsatisfiable classes in the merged ontology..

Returns:

The set of all unsatisfiable concepts including those additionally introduced for reasoning about properties.

Throws:

AlcomoException

searchInvalidCorrespondence

public Correspondence searchInvalidCorrespondence(Mapping mapping)
                                           throws AlcomoException

Searches binary and returns a correspondence being part of a conflict. The following applies for this method (the order of the mapping is referred to as >). If c is removed from the mapping, the sub set {c' in m | c' < c} of the mapping contains no conflict.

Parameters:

mapping - The mapping where the correspondence is searched for.

Returns:

The correspondence cusing the conflict or null, if there exists no conflict in the mapping.

Throws:

AlcomoException

attachValidatedMapping

public void attachValidatedMapping(Mapping mapping)
                            throws OntologyException

Adds a validated mapping that will be used in reasoning in a fixed way. That means that it has an influence on the results, but is not considered as something that might contain defective correspondences. This method works incremental, which means that multiple calls will be incremental with respect to previous calls of this method.

Parameters:

mapping - The mapping that will be attached.

Throws:

OntologyException

resetValidatedMapping

public void resetValidatedMapping()
                           throws OntologyException

Removes an (incrementally) attached validated mapping.

Throws:

OntologyException

getMergedOntology

public MergedOntology getMergedOntology()
                                 throws AlcomoException

Throws:

AlcomoException