fr.inrialpes.exmo.aroma.alignment
Class Implication

java.lang.Object
  fr.inrialpes.exmo.align.impl.BasicCell
      fr.inrialpes.exmo.aroma.alignment.MatchingRelation
          fr.inrialpes.exmo.aroma.alignment.Implication

All Implemented Interfaces:

Comparable<org.semanticweb.owl.align.Cell>, org.semanticweb.owl.align.Cell, org.semanticweb.owl.align.Visitable

public class Implication
extends MatchingRelation

Author:

jerome DAVID

Field Summary

Fields inherited from class fr.inrialpes.exmo.aroma.alignment.MatchingRelation

object1, object2

Fields inherited from class fr.inrialpes.exmo.align.impl.BasicCell

extensions, id, relation, semantics, strength

Constructor Summary

Implication(AEntity ent1, AEntity ent2, double value, boolean orientationLR)

Method Summary

AEntity	getDest()
AEntity	getSource()
boolean	hasBestAndGenerativeImplication(Set<? extends MatchingRelation> rels) verifies that this implication has no generative implication and best in the set
boolean	hasGenerativeImplication(Set<Implication> imp) verifies that this implication has no generative implication in the set
Implication	inverse()
boolean	isGeneratedBy(Implication imp) Is the implication generated by imp equivalent to imp.isGenerativeOf(this)
boolean	isGenerativeOf(MatchingRelation rel) Is the implication generative of the implication imp (given in parameter) -> A is generative of B if A.source >= B.source and A.target <= B.target
String	toString()

Methods inherited from class fr.inrialpes.exmo.aroma.alignment.MatchingRelation

equals, getObject1, getObject1AsURI, getObject2, getObject2AsURI, hashCode

Methods inherited from class fr.inrialpes.exmo.align.impl.BasicCell

accept, compareTo, compose, dump, equals, getExtension, getExtensions, getId, getObject1AsURI, getObject2AsURI, getRelation, getSemantics, getStrength, setExtension, setExtensions, setId, setObject1, setObject2, setRelation, setSemantics, setStrength

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Implication

public Implication(AEntity ent1,
                   AEntity ent2,
                   double value,
                   boolean orientationLR)
            throws org.semanticweb.owl.align.AlignmentException

Throws:

org.semanticweb.owl.align.AlignmentException

Method Detail

getSource

public AEntity getSource()

getDest

public AEntity getDest()

isGenerativeOf

public boolean isGenerativeOf(MatchingRelation rel)

Is the implication generative of the implication imp (given in parameter) -> A is generative of B if A.source >= B.source and A.target <= B.target

Specified by:

isGenerativeOf in class MatchingRelation

Parameters:

imp -

Returns:

true if generative of imp, false otherwise

hasBestAndGenerativeImplication

public boolean hasBestAndGenerativeImplication(Set<? extends MatchingRelation> rels)

verifies that this implication has no generative implication and best in the set

Parameters:

rels - a set of implications

Returns:

true if there no implication in imp is generative of this

hasGenerativeImplication

public boolean hasGenerativeImplication(Set<Implication> imp)

verifies that this implication has no generative implication in the set

Parameters:

imp - a set of implications

Returns:

true if there no implication in imp is generative of this

isGeneratedBy

public boolean isGeneratedBy(Implication imp)

Is the implication generated by imp equivalent to imp.isGenerativeOf(this)

Parameters:

imp -

Returns:

toString

public String toString()

Overrides:

toString in class Object

inverse

public Implication inverse()
                    throws org.semanticweb.owl.align.AlignmentException

Specified by:

inverse in interface org.semanticweb.owl.align.Cell

Overrides:

inverse in class fr.inrialpes.exmo.align.impl.BasicCell

Throws:

org.semanticweb.owl.align.AlignmentException